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

拡張運用プロファイルは，ユーザがソフトウェアをどのように利用
するかを確率付き拡張有限状態機械として表現したモデルであり，
テストケースの生成に用いられる．一方，モデル駆動開発は，形式
的モデルとして記述された設計情報に基づいてソフトウェアを効果
的に開発する方法であり，近年注目されている．形式的モデルとし
て拡張有限状態機械が用いられることが多いことから，拡張運用プ
ロファイルに基づくテスト法はモデル駆動開発との親和性が高いと
考えられる．そこで本稿では，モデル駆動開発を支援するための拡
張運用プロファイルベースドテスト法の適用方法を検討する．