講演抄録/キーワード |
講演名 |
2021-10-19 13:55
テストケース自動生成の失敗予測 ○曾我 遼・鹿糠秀行(日立) SS2021-14 DC2021-19 |
抄録 |
(和) |
記号実行を用いたテストケース自動生成ツールは,あらゆるプログラムに対してテストケースを完全に誤りなく生成するのは困難である.また,テストケース生成の失敗は処理が完了するまで判明せず,全てのテストケースを最初から手動作成するよりも,自動生成した上で誤りを修正してテストケースを完成させるまでに時間がかかる.本論文では,機械学習と決定ルールベースのアプローチを使用して,自動生成処理の実行前にテストケース自動生成の失敗を予測する方法をする.本方法によって,予め自動生成が失敗すると予想されるプログラムを対象に,自動生成と並行してテストケースを手動で作成開始できるようになる.この結果,テストケースの完成に必要な合計時間を短縮するのに効果的であることをケーススタディで示す. |
(英) |
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 / / / / / |
文献情報 |
信学技報, vol. 121, no. 204, SS2021-14, pp. 7-12, 2021年10月. |
資料番号 |
SS2021-14 |
発行日 |
2021-10-12 (SS, DC) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
査読に ついて |
本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります. |
PDFダウンロード |
SS2021-14 DC2021-19 |
研究会情報 |
研究会 |
SS DC |
開催期間 |
2021-10-19 - 2021-10-19 |
開催地(和) |
オンライン開催 |
開催地(英) |
Online |
テーマ(和) |
ディペンダブルコンピューティング,ソフトウェアサイエンスおよび一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
SS |
会議コード |
2021-10-SS-DC |
本文の言語 |
日本語 |
タイトル(和) |
テストケース自動生成の失敗予測 |
サブタイトル(和) |
|
タイトル(英) |
Predict failure of test case generation |
サブタイトル(英) |
|
キーワード(1)(和/英) |
テストケース生成 / test case generation |
キーワード(2)(和/英) |
記号実行 / symbolic execution |
キーワード(3)(和/英) |
機械学習 / machine learning |
キーワード(4)(和/英) |
/ |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
曾我 遼 / Ryo Soga / ソガ リョウ |
第1著者 所属(和/英) |
日立製作所 (略称: 日立)
Hitachi, Ltd. (略称: Hitachi, Ltd.) |
第2著者 氏名(和/英/ヨミ) |
鹿糠 秀行 / Hideyuki Kanuka / ソガ リョウ |
第2著者 所属(和/英) |
日立製作所 (略称: 日立)
Hitachi, Ltd. (略称: Hitachi, Ltd.) |
第3著者 氏名(和/英/ヨミ) |
/ / |
第3著者 所属(和/英) |
(略称: )
(略称: ) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2021-10-19 13:55:00 |
発表時間 |
25分 |
申込先研究会 |
SS |
資料番号 |
SS2021-14, DC2021-19 |
巻番号(vol) |
vol.121 |
号番号(no) |
no.204(SS), no.205(DC) |
ページ範囲 |
pp.7-12 |
ページ数 |
6 |
発行日 |
2021-10-12 (SS, DC) |
|