前回は、テスト設計の一つのアプローチである「組み合わせテスト」の支援ツールについて紹介しました。今回は、テスト設計の別のアプローチとして、モデル化した設計情報からテストケースを作ることを支援するツールを紹介します。本稿ではこのアプローチを総称して「モデルベースドテスト(Model Based Testing)」と呼ぶことにします。 要件や設計をモデル化しテストケース作成 モデルベースドテストとは、その名の通りモデルを基にテストをするという考え方です。ここではテストケースの作成までを対象としますが、テストコードやテストスクリプトを作り、それらを使ってテスト実行を自動化するところまでを含めてモデルベースドテストという場合もあります。 モデルベースドテストでは、テスト対象となるシステムの要件や設計などをモデル化し、そのモデルからテストケースを作成します(図1)。