ユースケースとUSDMにセミフォーマル手法を適用した要求検証
| イベント名 | 派生開発カンファレンス2011 |
|---|---|
| 時間 | 16:20-17:05 |
| 発表者 | (株)エクスモーション 藤倉 俊幸 |
| 概要 | 要求の検証において、VDMやZの様なフォーマルな手法ではなく、日本語を混在させたセミフォーマルな手法は26262等でも推奨されている現実的なアプローチである。 今回の発表では、その一例として、ユースケース記述とUSDMから命題を抽出するセミフォーマルな手法を使って要求検証をおこなう方法を紹介する。抽出した命題からは、検証用のモデルを自動生成することができ、検証には、LTSAやNuSMV等のモデル検査ツールを使用する。発表では、ある例題に適用して検出した不具合やシステムテスト用シナリオ生成の事例を紹介する。 |
