| 講演名 | 2021-10-19 テストケース自動生成の失敗予測 曾我 遼(日立), 鹿糠 秀行(日立), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 記号実行を用いたテストケース自動生成ツールは，あらゆるプログラムに対してテストケースを完全に誤りなく生成するのは困難である．また，テストケース生成の失敗は処理が完了するまで判明せず，全てのテストケースを最初から手動作成するよりも，自動生成した上で誤りを修正してテストケースを完成させるまでに時間がかかる．本論文では，機械学習と決定ルールベースのアプローチを使用して，自動生成処理の実行前にテストケース自動生成の失敗を予測する方法をする．本方法によって，予め自動生成が失敗すると予想されるプログラムを対象に，自動生成と並行してテストケースを手動で作成開始できるようになる．この結果，テストケースの完成に必要な合計時間を短縮するのに効果的であることをケーススタディで示す． |
| 抄録(英) | The automation tools for improving productivity of software development are abandoned at times due to lower-than-expected performance. The automatic test-case-generation tool we are developing, which is based on symbol execution, fails in test-case generation for certain programs. These failures cannot be addressed until the tool has finished running. Hence, although our tool can reduce the number of manual test-case-generation, but it takes longer to generate test cases than to manually generate all test cases from scratch. We propose a method of predicting the failure of symbolic-execution-based automatic test-case generation using machine learning and decision-rule-based approaches before running the tool. The proposed method allows us to proactively address automatic test-case generation failures and start manual test-case generation in parallel. Through a case study, we verified that the proposed method is effective in reducing the total time required to generate test cases. |
| キーワード(和) | テストケース生成 / 記号実行 / 機械学習 |
| キーワード(英) | test case generation / symbolic execution / machine learning |
| 資料番号 | SS2021-14,DC2021-19 |
| 発行日 | 2021-10-12 (SS, DC) |
| 研究会情報 | |
| 研究会 | SS / DC |
|---|---|
| 開催期間 | 2021/10/19(から1日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | ディペンダブルコンピューティング，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 委員長氏名（和） | 小林 隆志(東工大) / 高橋 寛(愛媛大) |
| 委員長氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Hiroshi Takahashi(Ehime Univ.) |
| 副委員長氏名（和） | 岡野 浩三(信州大) / 土屋 達弘(阪大) |
| 副委員長氏名（英） | Kozo Okano(Shinshu Univ.) / Tatsuhiro Tsuchiya(Osaka Univ.) |
| 幹事氏名（和） | 島 和之(広島市大) / 林 晋平(東工大) / 新井 雅之(日大) / 難波 一輝(千葉大) |
| 幹事氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) / Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) |
| 幹事補佐氏名（和） | 小形 真平(信州大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Dependable Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | テストケース自動生成の失敗予測 |
| サブタイトル（和） | |
| タイトル（英） | Predict failure of test case generation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | テストケース生成 / test case generation |
| キーワード(2)（和/英） | 記号実行 / symbolic execution |
| キーワード(3)（和/英） | 機械学習 / machine learning |
| 第 1 著者 氏名（和/英） | 曾我 遼 / Ryo Soga |
| 第 1 著者 所属（和/英） | 日立製作所(略称：日立) Hitachi, Ltd.(略称：Hitachi, Ltd.) |
| 第 2 著者 氏名（和/英） | 鹿糠 秀行 / Hideyuki Kanuka |
| 第 2 著者 所属（和/英） | 日立製作所(略称：日立) Hitachi, Ltd.(略称：Hitachi, Ltd.) |
| 発表年月日 | 2021-10-19 |
| 資料番号 | SS2021-14,DC2021-19 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | SS-204,DC-205 |
| ページ範囲 | pp.7-12(SS), pp.7-12(DC), |
| ページ数 | 6 |
| 発行日 | 2021-10-12 (SS, DC) |