| 講演名 | 2014-03-06 記号実行を用いた等価ミュータントの検出手法 上芝 貴也, 王 イ涛, 芳賀 博英, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソフトウエアのテストセットの品質を評価する手法であるミューテーション解析において,正確な評価の妨げになる等価ミュータントを検出する手法を提案する.ミュータント解析では,任意の入力に対して,オリジナルのプログラムと全く同じ出力を生成する等価ミュータントが生成されることがある.この等価ミュータントはテストセットの品質評価に悪影響を及ぼす.本報告では,記号実行を用いて等価ミュータントの検出を試みる.記号実行では,任意の入力に対して,プログラムを記号的に実行し,実行結果とその結果を得るための制約条件の組が得られる.この組が一致するものを等価ミュータントと判定することによって,等価ミュータントを検出する.従来提案されていた等価ミュータントの検出手法に比べて,本論文で提案する手法が優れていることを,8個のテストプログラムを用いて実証した.また等価ミュータントの判定がしにくいプログラムの特性についても報告する. |
| 抄録(英) | This paper proposes a method for automatically detecting equivalent mutants using symbolic execution. In mutation analysis, mutant programs are generated by embedding bugs in the original program intentionally. However, equivalent mutants whose execution results are exactly the same as original program may be produced. Equivalent mutants disturb the accurate evaluation of test set quality. Therefore, it is necessary to remove them. The proposed system is for Java programming language. First, both of original and mutant programs are executed symbolically, and the outputs for arbitrary inputs are generated. Then, if the output of the mutant is equivalent to that of the original, the system determines that the mutant is an equivalent mutant. |
| キーワード(和) | ミューテーション解析 / 等価ミュータント / 記号実行 / テストセット評価 / JavaML |
| キーワード(英) | Mutation Analyis / Equivalent Mutant / Symbolic Execution / Test set assessment / JavaML |
| 資料番号 | KBSE2013-88 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2014/2/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 記号実行を用いた等価ミュータントの検出手法 |
| サブタイトル（和） | |
| タイトル（英） | Equivalent Mutants Detection Method Using Symbolic Execution |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ミューテーション解析 / Mutation Analyis |
| キーワード(2)（和/英） | 等価ミュータント / Equivalent Mutant |
| キーワード(3)（和/英） | 記号実行 / Symbolic Execution |
| キーワード(4)（和/英） | テストセット評価 / Test set assessment |
| キーワード(5)（和/英） | JavaML / JavaML |
| 第 1 著者 氏名（和/英） | 上芝 貴也 / Takaya UESHIBA |
| 第 1 著者 所属（和/英） | 同志社大学大学院理工学研究科情報工学専攻 Graduate School of Science and Engineering, Doshisha University |
| 第 2 著者 氏名（和/英） | 王 イ涛 / Weitao WANG |
| 第 2 著者 所属（和/英） | 同志社大学大学院理工学研究科情報工学専攻 Graduate School of Science and Engineering, Doshisha University |
| 第 3 著者 氏名（和/英） | 芳賀 博英 / Hirohide HAGA |
| 第 3 著者 所属（和/英） | 同志社大学大学院理工学研究科情報工学専攻 Graduate School of Science and Engineering, Doshisha University |
| 発表年月日 | 2014-03-06 |
| 資料番号 | KBSE2013-88 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 475 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |