画面遷移モデルに基づくシナリオ作成支援手法の検討

摘要

要求仕様の妥当性確認を十分に行い，Model-Based Testing（MBT）手法に見られるように要求仕様から有効なテストケースを得るために，具体値を伴う正確なシナリオを効率的に作成することは重要である．本論文では，既存研究の画面遷移モデルを要求仕様と捉えて，当該モデルに沿って具体値を伴うシナリオを効率的かつ正確に記述支援するための手法およびツールを検討し，試作したツールをシナリオ記述実験に適用して評価する．