文献

J-GLOBAL ID：201502204279283745   整理番号：15A1113544

Concolic試験と動的解析に基づいたセグメント化コード試験【Powered by NICT】

Segmented Code Testing Based on Concolic Testing and Dynamic Analysis

著者 (4件)： Liu Chunhong (Dep. of Computer Sci. and Technol., East China Normal Univ., Shanghai) ,  Xu Lihua (Dep. of Computer Sci. and Technol., East China Normal Univ., Shanghai) ,  Yan Ting (Dep. of Computer Sci. and Technol., East China Normal Univ., Shanghai) ,  Yang Zongyuan (Dep. of Computer Sci. and Technol., East China Normal Univ., Shanghai)
資料名： Jisuanji Gongcheng  (Jisuanji Gongcheng)
巻： 41  号： 2  ページ： 63-69,80  発行年： 2015年 
JST資料番号： C2532A  ISSN： 1000-3428  CODEN： JISGEV  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 利用できないソースコードを必要とする機能は,従来のconcolic試験における記号的実行で扱う適切にできない。この問題を解決するために,本論文では,セグメント化concolic試験法,試験プロセスを通して,需要,記号的実行,セグメント化された記号実行とコンクリート実行を織物を提案した。これら関数呼び出しは別のコードセグメントとして処理し,それらの対応するプログラム意味論を導出し,解析を試みた。提案した方法の有効性を実証するために,本論文ではsCREST,CRESTに基づくセグメント化concolic試験システム,五オープンソースシステムを用いた実験を実施した。実験結果はsegmente concolic試験は,従来の方法のそれよりもより多くの枝をカバーする試験データを生成することができることを示した。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 織物 ,  *動的解析 ,  コンクリート ,  *セグメンテーション
準シソーラス用語： 試験データ ,  試験方法 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： 試験 ,  動的解析 ,  セグメント化