テストの本質を探る ――30年の歴史を持つ 「ソフトウェア工学」の知恵に学ぶ
伊藤昌夫
4)遷移テスト
遷移テストは,状態遷移図を用いて,到達できない状態や,そこからほかに遷移しない状態などを見つける方法です.例を見てみましょう.先ほどのVHDLコードの場合,変数は状態を有しているとみなすことができ,図6のような状態遷移を考えることができます.
この例では,到達できない状態も,遷移が存在しない状態もありません.したがって,正常と言えます(もちろん,ここでは人間が確認しているのだが...).しかし,一般には,もっと複雑な状態遷移が存在します.この場合,状態遷移図から状態遷移表に変換して空欄を見つけることで,上記に示したようなエラーを発見する方法などが用いられています.
f06_01.gif
〔図6〕図4に示したサンプル・コードの状態遷移図
図4のサンプル・コードでは,Iの状態によって処理が変わっている.すなわち,最大値('15')と非最大値('0'〜'14')の状態を考える.ちなみに,状態遷移図の[]で囲まれている部分はガード条件を表している.また,状態遷移はイベント/アクションという形で表現することができる.例えば「/I<=0」の部分は,「最大値の場合,イベントによらずiに'0'を設定する」というアクションを実行することを表現している.