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%向上した．

This research is based on the purpose of using machine learning to support the environment. In 2022, we will conduct a survey on the limits of the current support environment.これを通して, いくつかproblem point が明らかになり, solution decision を検 Discussion し, proposal・commentation 価を行った.まず, a specific picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a picture, a pictureに长いパスをNecessary and とする occasion, なかなかarrive できないproblem があった.これに対しては, decisive limited オートマトンを Use いて to explore パスを record することにより, state of reproductionをpossible とし, すでにarrived したことのあるstate にdirect movement することをpossible にするtechnique をproposal した. 12 のモバイルアプリケーションに対してreview価した results, threeつのアプリケーションについてはカバレッジの上が见られた. Upward analysis of the results of the analysis, (1)アプリケーションが小さくstatus numberが小なかったためeffectをgetsられなかった, (2)アプリケーションの动がテスト中に変化する,などがわかった. Now, the results of the introduction are being analyzed. The parallelism mentioned above is not the same as the solution to the problem. This environment's technique is simple, the basic screen is simple, the status is defined, and the position of UI parts is specified, the status is simple, and the status is simple.また, the transfer between states is fixed, the reward is fixed, and the same migration is selected, the problem is solved. In the end, the problem of learning the ending of learning is もある. The problem is solved by solving the problem, (1) the definition of the state of the discrete value limit, (2) the reward level of the movement, (3) the migration path using the regular re-learning and the 3-point proposal. According to the results of the evaluation, the previous performance of the company was about 20% higher.