2021 年度実施状況報告書

拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法

研究課題

研究課題/領域番号	17K00103
研究機関	香川大学
研究代表者	高木智彦香川大学, 創造工学部, 准教授 (70509124)
研究期間 (年度)	2017-04-01 – 2023-03-31
キーワード	ソフトウェア工学
研究実績の概要	主な研究成果は以下の2つである。（１）拡張状態遷移モデルの一種として、本研究ではEPNAT（Extended Place/transition Net with Attributed Tokens）を提案している。EPNATによる仕様に基づいて設計や実装、テストなどが行なわれるため、その品質を確保することは重要である。そこで、EPNATによる仕様を対話形式で実行し、結果を可視化することでレビューを支援する手法を構築した。そして、その実行過程の一部をテストケースとして記録しておき、仕様更新時などにおける回帰テストに利用する手法を構築した。これらの手法を支援するツールを試作し、有効性の議論を行なった。テストケースは、仕様に基づいて作成されたプログラムに対しても適用可能である。（２）拡張状態遷移モデルの一種であるEFSM（Extended Finite State Machine）による仕様に基づいて、体系的にテストケースを生成するための網羅基準、およびその網羅基準における測定対象を導出する手法を提案した。提案した網羅基準は、従来のNスイッチ網羅基準とループ回数を制限した全パス網羅基準を組み合わせたものであり、状態遷移だけでなく、状態遷移に付随する処理にも着目している点が特徴である。例題の仕様から測定対象を生成する評価用ツールを試作し、有効性の議論を行なった。さらに、提案した網羅基準を満たすテストケース、すなわちすべての測定対象を含むテストケースを生成するためのアルゴリズムについて検討した。
現在までの達成度 (区分)	現在までの達成度 (区分) 2: おおむね順調に進展している理由（１） EPNATによる仕様のレビュー支援と回帰テスト支援の手法、および（２） EFSMによる仕様のテスト網羅基準とその測定対象の導出手法を開発し、それらの成果を国際会議や国際論文誌で発表することができたため。
今後の研究の推進方策	EPNATやEFSMなどによる仕様に基づいて、テスト充分性を評価するための新たな基準を検討する。そして、その基準を満たすテストケースを生成するためのアルゴリズムおよび試作ツールを開発し、有効性を評価する。
次年度使用額が生じた理由	学会がオンラインでの開催となり旅費が不要だったこと、学会参加費が例年より低い金額だったこと、研究成果の一部を次年度に発表することにしたことなどの理由により、次年度使用額が生じた。次年度においては、研究成果を発表するための学会参加費や論文掲載料などに使用する予定である。