制御構造が並列型の場合の制御パステスト

プログラムの制御構造を大きく２つに分けるとしたら、並列型と直列型に分けることができます。並列型は条件文が横方向に接続する構造を持ち、直列型は条件文が縦方向に接続する構造を持ちます。

今回は制御構造が並列型の場合の制御パステストについて取り上げます。
並列型の例として以下のソースリストを示します。

リスト１．並列型制御構造のソースリストの例

このソースリストをフローチャートで表したものを以下に示します。なお、制約表を用いて制御パステストの制約を記述する場合はフローチャートの作成は不要です。ソースリストからそのまま制約表に記述することができます。ここでは制御構造の特徴を表すためにフローチャートを用いています。

図１．並列型制御構造のフローチャートの例
このフローチャートを見ると、制御パステストの命令網羅、条件網羅（真と偽の両方を通る）および経路網羅のいずれの網羅基準を採用してもテストケース数は８個となります。
並列型制御構造では、必要とされるテストケース数は最大でも条件文の数＋１となります。

リスト１のソースリストをもとに作成したモデルと制約表の例を以下に示します。

図２．並列型制御構造のモデルと制約表の例

この制約表は、制約の数を圧縮してあります。「制約対象が次の制約条件となる」というルールで記入しますが、複数の制約を１つにまとめられる場合があります。

生成したテストケースの例を以下に示します。

表１．並列型制御構造のテストケースの例

この例では、最少テストケース生成を行なってもテストケース数は常に８個でした。但し、生成エンジンにJennyを指定し最少テストケース生成を300回行なうと７個となりました。これはあきらかに必要なテストケースが１個欠落しています。PICTでは300回行なっても常に８個でした。

どうもJennyはバグの可能性が付きまとうようで生成エンジンとしては使用を控えた方がよさそうです。