 |
|
まずはモデル検査を体験しよう!
ソフトウェアの検証法で、今、最も注目されているのがモデル検査です。
「コンピュータの間違いをコンピュータで探す」というこの技術を、本書では付属のCD-ROMを使って、誰でも簡単に体験することができます。 |
|
|
 |
2006年6月8日 |
 |
 |
本体2,000円+税 |
 |
 |
192頁 |
 |
 |
B5 |
 |
ISBN4-86043-119-7 |
|
 |
著者
産業技術総合研究所 システム検証研究センター |
|
|
第1日 |
 |
 |
モデル検査とは |
|
 |
 |
例題「ランプ点灯」 |
|
 |
例題「システムα」 モデル検査の基礎 |
|
 |
|
|
|
第2日 |
 |
 |
例題「Mini Life Game」窓辺の花 |
|
 |
 |
例題:並行システムと排他制御 |
|
 |
例題「ウサギちゃんとオオカミくん」 |
|
 |
|
|
|
第3日 |
 |
 |
LTL式の概要 |
|
 |
 |
例題「階段ぴょんぴょん」 |
|
 |
例題「3進カウンタ」 |
|
 |
|
|
|
第4日 |
 |
 |
例題「プログラム(C言語)の試験」実践練習 |
|
 |
 |
演習「自動販売機」 |
|
|
|
 |
Copyright (C) 2006 NTS Inc. All right reserved. |
|