情報処理学会 第80回全国大会講演要旨

MBT(model-based testing)において,状態遷移図はテスト対象ソフトウェアの期待される振舞いを定義し,テストケースを設計するためのモデルとして一般的に使用されている.本稿では,状態や遷移に付随する動作や条件なども含めて形式的に記述するために,VDM(Vienna development method)で使用される仕様記述言語を導入した状態遷移図を提案する.そして,この状態遷移図に基づいて体系的にテストケースを設計するためのテスト基準について検討する.