Combinatorial testing in continuous development

2017 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

継続開発向けのt-way法の開発について、まず、本技術の土台となるt-wayテスト生成器を実装した。本生成器の実装は、t-way法のテストモデル（パラメータと命題論理で表される制約式）を与えると、強度tのテスト集合を生成することができる。継続開発向けの t-way 法の基本枠組みとして、本生成器を用いることになる。本生成器はScalaにて実装し、高速な制約処理のため外部ツールであるZ3と連携する形で実装している。また、継続開発向けのt-way 法として、既存手法であるSegall らが提案している手法の分析を行うことで、手法の評価方法についての知見を深めることができた。今後は、作成したt-way生成器の土台を基に、継続開発向けのt-wayテスト法の実装を行う予定である。具体的には、既存技術の実装、及び、提案技術の実装を作成したt-way生成器上に実装し、提案技術の優位性を確認する予定である。

Current Status of Research Progress

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

Reason

継続開発向けのt-way法の開発について、まず、本技術の土台となるt-wayテスト生成器を実装することができた。既存ツールはオープンソースで利用できるものがないため、柔軟な変更が不可能であり、本生成器の実装ができたことは本研究の着実な進展であると言える。さらに、本実装はScalaで実装されており、柔軟な拡張が可能であるため、今後の研究を効率的に進めることができる。また、継続開発のt-way テストとして、Segall らが提案している手法の分析を行うことで、提案手法の評価方法についての知見が深まった。これにより、最終的な成果物の効果の計測についてもある程度方針を固めることが可能になった。一方で、t-wayテスト生成器の実装において、既存ツールほどの効率が達成できなかったため、それについての要因分析に時間を要したため、研究の進捗について多少の遅れが生じた。

Strategy for Future Research Activity

作成したt-way生成器の土台を基に、継続開発向けのt-wayテスト法の実装を行う予定である。具体的には、既存技術の実装、及び、提案技術の実装を作成したt-way生成器上に実装し、提案技術の優位性を示す予定である。

Causes of Carryover

国際会議での成果発表を予定していたため、そのための旅費を計上していた。しかし、成果発表は次年度に延長になったため、そのための予算を次年度使用とした。