モデル検査　上級編「実践のための三つの技法」

モデル検査を深く理解してもらうためのテキスト！
社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストの面で開発の現状に追いつけない状況が出てきている。
そのテスト手法に代わるものとして注目されているのがモデル検査である。従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査は、無限に近い組合せに対しても正しさを保障できる手法であり、その技術習得がソフトウェア技術者の必須要素として注目されている。
本書は独立行政法人産業技術総合研究所が主催した「モデル検査研修コース上級編」のテキストを一般向けに加筆修正し、単行本化した1冊です。

目次

第１章　導入
第２章　状態遷移系の合成
第３章　抽象化―状態数を減らす
第４章　ＣＴＬ（計算木論理）
付録Ａ　仕様記述言語Ｐｒｏｍｅｌａ
付録Ｂ　ＮｕＳＭＶの仕様記述言語
付録Ｃ　演習環境について

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。