複数のユースケース記述に対するモデル検査を用いた要求検証プロセスの提案

摘要

近年，車両制御システムに求められる機能の高度化によって要求が複雑化している．しかしながら，要求の複雑化により，レビューによる欠陥検出は限界に近付いている．レビューに替わる欠陥検出手法として，要求を表現したユースケース記述を状態遷移モデル化し，モデル検査で検証する試みがなされている[1][2]．しかし，車両制御システム開発の要求検証において，モデル検査を用いた実用的な要求検証プロセスが確立されているとは言い難いのが現状である．