2019 Fiscal Year Research-status Report
Combinatorial testing in continuous development
| Project/Area Number |
17K12668
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
北村 崇師 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (70530484)
|
|---|
| Project Period (FY) |
2017-04-01 – 2021-03-31
|
| Keywords | ソフトウェア工学 / ソフトウェアテスト / システム信頼性 / 組合せ問題 |
|---|
| Outline of Annual Research Achievements |
昨年度から引き続き、研究課題である「派生・継続開発向けの組み合わせテスト技法」の３つの部分課題で成果を得た。最初の2つは「テストモデル設計問題」についてである。「テストモデル設計問題」とは、標準的で古典的な組み合わせテスト技法のユースケースにおいて、ユーザ（開発者）が「テストモデル」を設計をすることを想定していることに起因する問題である。多くの場合、こうしたテストモデル設計は人手で行われ、そのためコストは非常に高い。そしてそれが組み合わせテスト技法の普及への障害となっている。この問題に対する１つ目のアプローチは、継続開発の特徴を使い、前開発のログデータから、テストモデルを自動設計する技術の開発するものである。既存研究の調査の結果、上記問題について2011年にケプラー大学の Haslinger らによる同様の取り組みがあることが判明した。本研究では、Haslinger らのアルゴリズムを改良し、より高速なアルゴリズムを開発した。2つ目のアプローチは、継続開発の特徴を使い、テストモデルを設計せずに、組み合わせテスト手法の使用を可能とする技法を考案することである。具体的には、継続開発を想定し、過去の開発ログデータを用意し、そこから組み合わせテストケースを抽出する手法である。同様の手法は2013年に Nokia Beell 研究所のSegallらによって開発されていることが判明した。本研究では、そのアルゴリズムを実装するデータ構造を工夫することで、3倍程度の高速なアルゴリズムを考案した。3つ目の部分課題としては、「派生・継続開発向けの組み合わせテスト技法」のツールプラットフォームの開発である。より高速で安全なRust言語を用いて、プラットフォームを構築した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
上記の「研究実績の概要」で述べた、本研究「派生・継続開発向けの組み合わせテスト技法」の２つのアプローチにおいて、それぞれ概ね順調に進展した。一方で、より良いアルゴリズムの設計、実験に少し時間を要した。
|
| Strategy for Future Research Activity |
これまでに得られた研究成果をさらに深堀を行う。また、成果発表として、外部での研究発表を行う。
|
| Causes of Carryover |
次年度での使用計画があるため。
|
