Research on improving coverage of machine learning based software testing

基于机器学习的软件测试提高覆盖率研究

• 批准号: 22K11979
• 负责人: 高田 眞吾
• 金额: $ 2.41万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11979/
• 关键词: ソフトウェアテスト; 機械学習; Android; モバイルアプリケーション

本研究では，機械学習を利用したテスト支援環境におけるカバレッジの向上を目的としている．2022年度はまず，現在のテスト支援環境の限界の調査を行った．これを通して，いくつか問題点が明らかになり，解決策を検討し，提案・評価を行った．まず，特定の画面を対象にテストするとき，その画面に到達するために長いパスを必要とする場合，なかなか到達できない問題があった．これに対しては，決定性有限オートマトンを用いて探索パスを記録することにより，状態の再現を可能とし，すでに到達したことのある状態に直接移動することを可能にする手法を提案した．12個のモバイルアプリケーションに対して評価した結果，三つのアプリケーションについてはカバレッジの向上が見られた．向上が見られなかったアプリケーションに対して分析した結果，(1) アプリケーションが小さく状態数が少なかったため効果を得られなかった，(2) アプリケーションの遷移がテスト中に変化する，などがわかった．現在，引き続き結果を分析中である．上記と並行して別の観点から問題の解決を図った．本環境のテスト手法では，基本的に画面を単位として状態を定義しているが，UI部品の位置を細かく指定すると簡単に状態数が爆発する．また，状態間の遷移に対する報酬が固定されているため，同じ遷移が選ばれるようになる問題がある．最後に，学習の収束しにくさという問題もある．これらの問題を解決するために，(1) 離散値に限定した状態の定義，(2) 動的な報酬関数，(3) 遷移履歴の使用による定期的な再学習の3点を提案した．評価の結果，以前よりカバレッジが約20%向上した．

In this study, で る, machine learning を utilizes the <s:1> たテスト support environment におけるカバレッジ におけるカバレッジ to aim for を, と, て and る る る. In 2022, まず まず, now <s:1> テスト supports environmental <s:1> boundary <e:1> investigation を line った. こ れ を tong し て, い く つ か problem point が Ming ら か に な り, solving strategy を 検 for し, proposal, review 価 を line っ た. ま ず, specific の を like に seaborne テ ス ト す る と き, そ の picture arrive に す る た め に long い パ ス を necessary と す る occasions, な か な か reach で き な い problem が あ っ た. こ れ に し seaborne て は, deterministic finite オ ー ト マ ト ン を with い て explore パ ス を record す る こ と に よ り, state の reappearance may を と し, す で に reach し た こ と の あ る state に direct mobile す る こ と を may に す る technique proposed を し た. 12 の モ バ イ ル ア プ リ ケ ー シ ョ ン に し seaborne て review 価 し た results, three つ の ア プ リ ケ ー シ ョ ン に つ い て は カ バ レ ッ ジ の が see upward ら れ た. See upward が ら れ な か っ た ア プ リ ケ ー シ ョ ン に し seaborne て analysis し た results, (1) ア プ リ ケ ー シ ョ ン が small さ く state number less が な か っ た た め fruit comes unseen を ら れ な か っ た, (2) ア プ リ ケ ー シ ョ ン の migration が テ ス ト に in - the す る, な ど が わ か っ た. Now, cite the results of 続 続 続 を in the を analysis である. The above records と, parallel て, separate 観, 観, ら, problem-solving を, figure った. This environmental の テ ス ト gimmick で は, basic に picture を 単 a と し を definition て し て い る が, UI components の position を fine か く specified す る と Jane 単 に state number が detonation 発 す る. ま た, between states に の migration polices す る が fixed remuneration さ れ て い る た め, with じ migration が choose ば れ る よ う に な る problem が あ る. Finally, に, learn the に bundle of にくさと う う problems ある ある. こ れ ら の を solve す る た め に, (1) the discrete numerical に qualified し た state の definition, (2) the number of な masato remuneration, (3) the fulfillment of the migration phase and use の に よ る regular な relearning の 3 を proposal し た. To evaluate the 価 価 results, the previous よ 価 カバレッジが was about 20% higher than the た.