2B-01
複数のユースケース記述に対するモデル検査を用いた要求検証プロセスの提案
○松原潤弥（デンソークリエイト），井原博之（デンソー），齋藤芳明（小松製作所）
　近年，自動車・産業用車両に求められる機能の高度化によって，要求間の関係が複雑化しておりレビューによる欠陥検出は限界に近づいている．
　レビューに替わる欠陥検出手法として形式的検証に関心が向けられており，要求に混入した欠陥をモデル検査で検出する試みがなされている．しかし，モデル検査を用いた実用的な要求検証プロセスは確立されていない．
　そこで本研究は，要求を表現したユースケース記述に対して，モデル検査で各ユースケース記述の欠陥除去・ユースケース記述間の欠陥除去と，ボトムアップ的に対象範囲を広げながら検証を繰り返して欠陥を検出する要求検証プロセスについて述べる．
footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会