文章基本信息
- 标题：組み込みソフトウェア開発におけるモデル検査の適用事例
- 本地全文：下载
- 作者：水口 大知 ; 渡邊 宏
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2005
- 卷号：22
- 期号：1
- 页码：1_77-1_90
- DOI：10.11309/jssst.22.1_77
- 出版社：Japan Society for Software Science and Technology
- 摘要：
システム開発における効率的な不具合発見の方法として，モデル検査(model checking)が注目を集めている．本稿では組み込みソフトウェア開発におけるモデル検査の適用事例を紹介し，そこで得られた知見を報告する．そして設計段階での仕様書に対するモデル検査の適用の有効性を示すとともに，問題点や課題を考察する．
