 |
|
|
まずはモデル検査を体験しよう！
ソフトウェアの検証法で、今、最も注目されているのがモデル検査です。
「コンピュータの間違いをコンピュータで探す」というこの技術を、本書では付属のＣＤ-ＲＯＭを使って、誰でも簡単に体験することができます。 |
| |
|
 |
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. |
|
