内容説明
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。
目次
第1章 設計モデル検証とモデル検査
第2章 モデル検査概論
第3章 モデル検査ツールSPIN概要
第4章 SPINによるモデル検査
第5章 SPINによる設計モデルの検証プロセス
第6章 設計モデルの検証の実際
第7章 検証の実践：抽象化・効率化・デバッグ
付録A PROMELA/SPINリファレンスマニュアル
付録B 設計モデルの検証プロセス
付録C 簡易ステートマシン図のシンタックスとセマンティクス
付録D 簡易ステートマシン図とPROMELAの対応
-
- 電子書籍
- ミステリーが咲く 4巻 mono co…
-
- 電子書籍
- 戦国武将100列伝 ディスカヴァーeb…
-
- 電子書籍
- 鯛夢ホラーM短編集 1 魂消ばなし
-
- 電子書籍
- ヴァージンリッパー『フレイヤ連載』 9…
