モデル検査　初級編「基礎から実践まで４日で学べる」

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

目次

モデル検査とは
例題「システムα」―モデル検査の基礎
例題「ランプ点灯？」
例題「Ｍｉｎｉ　Ｌｉｆｅ　Ｇａｍｅ」窓辺の花
例題「ウサギちゃんとオオカミくん」
例題「並行システムと排他制御」
ＬＴＬ式の概要
例題「３進カウンタ」
例題「階段ぴょんぴょん」
例題「プログラム（Ｃ言語）の試験」実践練習
演習「自動販売機」
仕様記述言語Ｐｒｏｍｅｌａ
ＮｕＳＭＶの仕様記述言語
命題論理式の真偽
演習環境について

本の帯に関して

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

版・表紙について

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