Combinatorial testing in continuous development

2018 Fiscal Year Research-status Report

• Project/Area Number: 17K12668
• Research Institution: National Institute of Advanced Industrial Science and Technology
• Principal Investigator: 北村 崇師 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (70530484)
• Project Period (FY): 2017-04-01 – 2020-03-31
• Keywords: ソフトウェア工学 / ソフトウェアテスト / システム信頼性

Outline of Annual Research Achievements

派生・継続開発向けの組み合わせテスト技法の研究について、大きく3つの方向性で進捗を得た。1つ目は、組み合わせテスト技法におけるモデルの自動作成・作成支援技術についてである。標準的で古典的な組み合わせテスト技法のユースケースでは、ユーザ（開発者）がテスト設計のもとになる「テストモデル」を書く必要がある。しかし、多くの場合、こうしたテストモデルの作成のコストは非常に高く、それが組み合わせテスト技法の普及への障害となっている。（以下、これをテストモデル問題と呼ぶ。）今回の研究では、このテストモデル問題に取り組むため、継続開発の特徴を使い、前開発のデータから、モデルを自動作成する技法を考案した。2つ目も、上記の「テストモデル問題」についてであるが、今回は継続開発の特徴を使い、テストモデルを作成せずに、組み合わせテスト手法の使用を可能とする技法を考案した。具体体的には、継続開発を想定し、過去の開発のログデータを用意し、そこから組み合わせテストケースを抽出する手法である。抽出の基準は、組み合わせテスト技法の中で有名な、t-way テスト網羅基準を用いた。最後に3つ目については、こうした継続開発における組み合わせテスト技法の研究開発のためのプラットフォームを開発した。開発言語にはScalaを用意し、共通部分の整理や、評価のためのデータの用意など、継続・派生開発の組み合わせテスト技法の開発に便利な機能をまとめた。これにより、今後の開発が容易になる。

Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

継続・派生開発における組み合わせテスト技法の特徴を分析し、そのための2つの技法の基本的な考え方、および、そのための実装の一部を行った。

Strategy for Future Research Activity

現在までの進捗で得られた継続・派生開発のための組み合わせテスト技法について、実装・実験を行う。

Causes of Carryover

昨年度情報収集のための国際会議への参加を計画していたが、次年度となったため。