文献

J-GLOBAL ID：202202221585284912   整理番号：22A0777886

TDCT:関数関連性の計算による拡張ユニットを用いたターゲット駆動コンコリック試験【JST・京大機械翻訳】

TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance

著者 (6件)： Fan Meng (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China) ,  Fan Meng (School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China) ,  Wang Wenzhi (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China) ,  Wang Wenzhi (School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China) ,  Yu Aimin (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China) ,  Meng Dan (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13157  ページ： 196-213  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： コンコールユニット試験は,プログラムの小さい機能で包括的分析を実行することができる。しかし,以下の欠点のため,それは全体プログラムをテストするために広く,効果的に適用できない。1つは,コンテキスト依存情報を欠いているための多くの偽陽性を含むことである。もう1つは,ユニット入力によって全体のプログラムの入力を自動的に生成することが難しいことである。研究者は,上記の問題を解決するために異なる方法を提案して,しかし,それはまた,ある程度不正確または性能問題を引き起こした。本論文では,コンソールユニット試験および隠蔽試験を組み合わせた課題に適合するために,ターゲット駆動型共用試験(TDCT)と呼ばれる方法を提案した。TDCTは,拡張ユニットを構築するために,インター手続き制御フローグラフ(ICFG)に基づく微細粒法であり,それは,可能な限り,目標機能の包括的で正確なコンテキストを得ることができた。ユニット入力による全プログラムの入力を自動的に生成するために,隠蔽実行におけるカスタムターゲット駆動探索戦略を提示した。それは,無関係な経路の探索を捨てることによってシステム性能オーバヘッドを減少するだけではなく,さらに,潜在的バグの信頼度を確証した。TDCTのプロトタイプシステムを実装し,それを4つの実世界Cプログラムに適用した。実験は,TDCTが目標バグの83.87%を見つけることができて,それは偽警報比率が1:5.2であるために,高精度を持つことを示した。TDCTは,バグを効果的かつ正確に検出でき,単位入力により全プログラムの入力を自動的に生成できることを示した。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 警報 ,  信頼度 ,  精度 ,  入力 ,  コンソール ,  文脈 ,  *ソフトウェア障害 ,  フローグラフ ,  オクルージョン ,  プロトタイプ
準シソーラス用語： 誤検出 ,  テスト生成 ,  オーバヘッド ,  高精度 ,  システム性能 ,  ユニット試験 , 【Automatic Indexing@JST】

著者キーワード (4件)： ユニット試験 ,  コンコリック試験 ,  自動テスト生成 ,  探索戦略

分類 (5件)： 熱交換器,冷却器  (PA03020G) ,  計算機システム開発  (JD02010R) ,  その他の電子回路  (NC05090X) ,  電子航法一般  (ND14010O) ,  電装品  (QG03070C)

タイトルに関連する用語 (6件)： 関数 ,  関連性 ,  計算 ,  拡張 ,  ターゲット ,  試験