2023 年度研究成果報告書

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

研究課題

PDF

研究課題/領域番号	17K00103
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
研究分野	ソフトウェア
研究機関	香川大学
研究代表者	高木智彦香川大学, 創造工学部, 准教授 (70509124)
研究期間 (年度)	2017-04-01 – 2024-03-31
キーワード	ソフトウェアテスト / ソフトウェアモデリング
研究成果の概要	本研究では、VDM（Vienna Development Method）で用いられるモデリング言語を状態遷移モデルに導入した。これを拡張状態遷移モデルと呼ぶ。拡張状態遷移モデルとして、EFSM（Extended Finite State Machine）やEPNAT（Extended Place/transition Net with Attributed Tokens）、拡張画面遷移図を提案した。これらを用いてソフトウェアの振る舞いモデルを作成する手法や、その振る舞いモデルをVDM仕様に変換する手法、テスト充分性を評価する基準、VDM仕様に基づいてテストケースを設計する手順などを構築した。
自由記述の分野	ソフトウェア工学
研究成果の学術的意義や社会的意義	MBT（Model-Based Testing）において状態遷移モデルに基づいてテストケースを設計する場合、状態遷移モデルの表現力はソフトウェアテストの有効性に影響を与える。そこで、本研究ではVDM（Vienna Development Method）で用いられるモデリング言語を状態遷移モデルに導入し、拡張した。MBTとVDMの融合を試みる点に学術的な新規性がある。拡張状態遷移モデルに基づいて生成されるVDM仕様を用いてテストケースを設計し、ソフトウェアの状態空間を効果的にテストすることによって、ソフトウェアの信頼性確保に寄与できると考えられる。