モデル検査を体験＆理解してもらうためのテキスト！

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