| 講演名 | 2020-01-14 欠陥限局に適したテストスイートに関する考察 九間 哲士(阪大), 肥後 芳樹(阪大), ?本 真佑(阪大), 楠本 真二(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソフトウェア開発においてデバッグに要するコストを削減することを目的として，欠陥限局に関する研究が盛んに行われている．欠陥限局とは，プログラム中に存在する欠陥箇所を推測する技術である．既存手法として，プログラムとそのテストスイートを入力とし，各テストケースの成否と実行経路の情報を用いて欠陥限局を行う手法が提案されている．この手法には，入力として与えられるテストスイートによって欠陥限局の精度が大きく左右されるという特徴がある．テストスイートから得られる実行経路の情報が十分でない場合，欠陥限局の精度は低くなる．そこで本研究では，欠陥限局の精度を向上させるため，既存のテストスイートの経路網羅を高めるテストケースを生成する手法を提案する．提案手法は，欠陥を含むプログラムに対するテストケースを生成し，その中から既存のテストスイートの経路網羅を高めるテストケースのみを選択する．経路網羅とは，プログラムの全ての実行経路のうち，テストで実行された実行経路の割合である．経路網羅では，実行経路を文の実行順序や実行回数を考慮する文の列として考えるため，ループを含むプログラムでは実行経路の総数が無数になる．そのため，本研究では実行経路を文の列ではなく，文の実行順序や実行回数を考慮しない文の集合として考えることで実行経路の総数を有限に捉える．評価実験として，提案手法で生成したテストケースを既存のテストスイートに追加して欠陥限局を行った．その結果，70.6%の欠陥箇所において，既存のテストケースのみを用いる場合よりも提案手法により生成したテストケースを追加した方が限局の精度が向上した． |
| 抄録(英) | |
| キーワード(和) | 欠陥限局 / 経路網羅 / テスト生成 |
| キーワード(英) | |
| 資料番号 | MSS2019-44,SS2019-28 |
| 発行日 | 2020-01-07 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2020/1/14(から2日開催) |
| 開催地（和） | 広島市立大学 サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
| 委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| 副委員長氏名（和） | 小林 隆志(東工大) / 尾崎 敦夫(阪工大) |
| 副委員長氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Atsuo Ozaki(Osaka Inst. of Tech.) |
| 幹事氏名（和） | 肥後 芳樹(阪大) / 島 和之(広島市大) / 金澤 尚史(阪大) / 小林 孝一(北大) |
| 幹事氏名（英） | Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takahumi Kanazawa(Osaka Univ.) / Koichi Kobayashi(Hokkaido Univ.) |
| 幹事補佐氏名（和） | 林 晋平(東工大) / 林 直樹(阪大) |
| 幹事補佐氏名（英） | Shinpei Hayashi(Tokyo Inst. of Tech.) / Naoki Hayashi(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN-ONLY |
| タイトル（和） | 欠陥限局に適したテストスイートに関する考察 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 欠陥限局 |
| キーワード(2)（和/英） | 経路網羅 |
| キーワード(3)（和/英） | テスト生成 |
| 第 1 著者 氏名（和/英） | 九間 哲士 / Tetsushi Kuma |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 肥後 芳樹 / Yoshiki Higo |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 3 著者 氏名（和/英） | ?本 真佑 / Shinsuke Matsumoto |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 4 著者 氏名（和/英） | 楠本 真二 / Shinji Kusumoto |
| 第 4 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2020-01-14 |
| 資料番号 | MSS2019-44,SS2019-28 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | MSS-361,SS-362 |
| ページ範囲 | pp.19-24(MSS), pp.19-24(SS), |
| ページ数 | 6 |
| 発行日 | 2020-01-07 (MSS, SS) |