ソフトウェアテストの勉強室

状態遷移モデルを使ったソフトウェアテストを勉強するためのテキストとしてボーリス・バイザーの「ソフトウェアテスト技法」「実戦的プログラムテスト入門」などを読んでみた。手順の最初に出てくるのが、仕様書からの状態とイベントの洗い出し作業。そもそも状態遷移図や状態遷移表を作ることって設計工程のツールなので、上流工程でのこういった作業が作りこみを減らすことにつながる。

で、ソフトウェアテスト技法のほうで状態の数を探るところ（第11章　4.2）があるのだけれど、具体例としてエンジンを題材にして、

ギア　　　（R、N、1速、2速、3速、4速）　＝　6要素
進行方向　（全身、後退、停止）　＝　3要素
エンジン　（動作中、停止）　＝　2要素
トランスミッション　（正常、異常）　＝　2要素
エンジン　（正常、異常）　＝　2要素

合計　＝　144要素

という記述がある。ここでいっている不可能な状態への考察って、禁則の考え方じゃないのかしら？だとすると、HAYST法を使って状態を絞り込むことができるのかな。ただ、本質的には同じことだけどHAYST法（＝直交表）の特徴である、「どの条件も同じ程度出現する」というのはいらないので、pairwise法のほうが状態数が少なくなるのかな。