状態遷移表に基づくモデル検査の支援環境(モデル化・仕様記述)
スポンサーリンク
概要
- 論文の詳細を見る
モデル検査はソフトウェアの設計品質向上に有効な技術だが,モデル記述言語と時相論理を習得して検査モデルと制約条件を記述しなければならないことが,産業界への普及の妨げとなっている.そこで,状態遷移表と付加的な表から制約条件まで含む検査モデルを自動生成するモデル検査支援環境を作成し,複数の組込みソフトウェア開発プロジェクトへの適用によって評価した.
- 2008-11-20
モデル検査はソフトウェアの設計品質向上に有効な技術だが,モデル記述言語と時相論理を習得して検査モデルと制約条件を記述しなければならないことが,産業界への普及の妨げとなっている.そこで,状態遷移表と付加的な表から制約条件まで含む検査モデルを自動生成するモデル検査支援環境を作成し,複数の組込みソフトウェア開発プロジェクトへの適用によって評価した.