近代科学社

書籍検索
ジャンル選択

情報

トップエスイー実践講座 第3巻

SPINによる設計モデル検証モデル検査の実践ソフトウェア検証

監修 萩谷 昌己
著者 吉岡 信和
著者 青木 利晃

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

電子書籍¥3,600 小売希望価格(税別)

紙の書籍¥3,600定価(税別)

基本情報

発売日 2008年9月26日
ページ数 256 ページ ※印刷物
サイズ B5 変形
ISBN 9784764903548
ジャンル 情報
タグ ソフトウェア工学

主要目次

第1章 設計モデル検証とモデル検査
第2章 モデル検査概論
第3章 モデル検査ツールSPIN概要
第4章 SPINによるモデル検査
第5章 SPINによる設計モデルの検証プロセス
第6章 設計モデルの検証の実際
第7章 検証の実践:抽象化・効率化・デバッグ

付録A PROMELA/SPINリファレンスマニュアル
付録B 設計モデルの検証プロセス
付録C 簡易ステートマシン図のシンタックスとセマンティクス
付録D 簡易ステートマシン図とPROMELAの対応

目次をさらに表示する