産業技術総合研究所
2008 年 30 巻 3 号 p. 235-242
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
システムの信頼性を高めることを目的とする手法に形式手法がある.モデル検査は形式手法の一つであり,検証対象を網羅的に検査し,システムの振舞いを調べる.モデル検査を利用した検証は,近年注目され普及しつつある.本稿では,モデル検査技術を概観し,ソフトウェア開発にモデル検査を適用する方法を解説する.開発プロセスの上流工程から下流工程までの各工程にモデル検査は適用可能である.併せて最近の事例を紹介する.
すでにアカウントをお持ちの場合 サインインはこちら