文献

J-GLOBAL ID：201802265439235015   整理番号：18A0441028

動的記号実行における戦略誘導テストケース秩序【Powered by NICT】

Strategy-guided test-case order in dynamic symbolic execution

著者 (4件)： Ye Jiaxi (College of Electronic Science, National University of Defense Technology, Changsha, China) ,  Zhang Bin (College of Electronic Science, National University of Defense Technology, Changsha, China) ,  Feng Chao (College of Electronic Science, National University of Defense Technology, Changsha, China) ,  Tang Chaojing (College of Electronic Science, National University of Defense Technology, Changsha, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ASID  ページ： 191-195  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 動的記号実行(DSE)は,記号的実行,ソフトウェアのテストのためのパス高感度な方法であるの変化である。最近,試験における経路被覆率を改善するために,DSEに依存して,多くの新技術,多くの新しいツール出現した。しかし大規模プログラムに直面した場合,DSEを種として良好な入力を選ぶことができないならば,それは微量の入力の類似性のために冗長実行をしなければならない課題が存在する。DSEの性能を改善するための直感的なアイデアは,いくつかの基準によるこれらの入力を発注,経路制約収集のための記号的エンジンに渡される,ことである。本論文では,六つの戦略を提示し,いくつかの実験を設計し,秩序化試験例である限られた資源における経路被覆率を改善するために有用なことを実証することを目的とした。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 高感度 ,  ソフトウェア ,  冗長性 ,  *被覆率 ,  類似性
準シソーラス用語： *テストケース , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 記号 ,  戦略 ,  誘導 ,  テストケース