PICTの実行時オプション

コマンドプロンプト上でPICTを実行する際、オプションを指定することができます。PICTの実行形式とオプション指定は図1のとおりです。

実行形式：
pict モデルファイル [オプション]

オプション:
/o:N 	 組み合わせるパラメータの数 (初期値: 2)
/d:C	 値の区切り記号 (初期値: ,)
/a:C	 エイリアスの区切り記号 (初期値: ¦)
/n:C	 無効値の前置記号 (初期値: ~)
/e:file  組み合わせ生成の元となるファイルの指定
/r[:N]   組み合わせ生成の初期条件を指定, N:生成条件初期値
/c	 英文字の大文字と小文字を区別する
/s	 組み合わせ生成情報を出力

オプションのうちのいくつかは、今後説明していきます。

モデルファイル

組み合わせテストを行ないたいパラメータとその値を記述したファイルをモデルファイルといいます。モデルファイルの最もシンプルな例をリスト1に示します。

A:  0, 1, 2
B:  0, 1, 2
C:  0, 1, 2

A、B、Cがパラメータです。0, 1, 2がパラメータの値です。パラメータ名にはスペースを含むことができます。同様に値が文字列の場合もスペースを含むことができます。

値の記述の途中に改行を入れることはできません。エラーとなります。

モデルセクション

モデルは1つ、あるいは多くとも3つの、以下に示すセクションから成ります。

パラメータ定義

サブモデル定義

制約条件定義

モデルセクションはこの順序で記述し、パラメータ定義は省略することができません。リスト1はパラメータ定義の例でもあります。

スペースには半角を使用します。全角のスペースはエラーとなります。各定義に日本語を使用することができます。組み合わせ生成結果も日本語で出力されます。

基本的なモデル

基本的なモデルファイルは、末尾が「:」で終わるパラメータと、「⁠, 」で区切られた値の並びとからなるモデル定義部のみで構成されます。

1桁目に「#」を置くことでコメントを記入することができます。

パラメータと値の記述は以下のように行います。

 パラメータ :  値1,値2,値3, ･･･

OSのバージョンとアプリケーションのドキュメントの互換性をテストするモデルの例をリスト2に示します。

# これは、テストケースを生成するためのサンプルです。

OSバージョン:     Windows Vista, Windows XP, Windows 2000
Wordバージョン:   Word 2007, Word 2003, Word 2000
Excelバージョン:  Excel 2007, Excel 2003, Excel 2000

カンマ（, ）はデフォルトの分離符ですが、/d オプションを使用することで異なったものを指定することができます。

組み合わせるパラメータ数の指定

PICTは、/o: オプションで組み合わせるパラメータの数を指定することができます。デフォルトは2となっています。

表1～3に、組み合わせるパラメータ数を1～3に変更した場合の組み合わせ生成結果を示します。

表からわかるように、組み合わせ数に1を指定した場合は、パラメータの値が列挙されるだけです。組み合わせ数に3を指定した場合は、3パラメータの組み合わせがすべて網羅されていることがわかると思います。それだけに、組み合わせ数も非常に多くなります。

サブモデル

サブモデルは、PICTの機能で最も特徴的なものの1つです。

すべてのパラメータがすべて同じ重要度を持つ、というケースはそれほど多くはありません。PICTでは、サブモデル定義を使用することで、特に重要と考えられる限定したパラメータについて、3パラメータ以上の網羅度を100％確保することができます。サブモデルはわかりにくい概念ですので、ていねいに説明します。

たとえば、リスト3に示す、A社ルータとB社ルータの接続テストを、速度とOSを変えながら実施する場合、パラメータの重要度を考慮するとリスト4のサブモデルになるでしょう。

A社ルータ: ルータA1, ルータA2, ルータA3
B社ルータ: ルータB1, ルータB2, ルータB3
速度:	 10M, 100M
A側OS:   Windows XP, Linux, Mac OS X
B側OS:   Windows XP, Linux, Mac OS X

このテストで重要と考えられるパラメータは、A社ルータ、B社ルータ、そして速度とします。この場合、リスト4のようにサブモデル定義で、これら3つのパラメータについて、3パラメータ間の組み合わせを網羅するよう指示しています。

{A社ルータ, B社ルータ, 速度} @ 3

リスト4のサブモデル定義を行うことで、A社ルータ、B社ルータ、速度の3つのパラメータすべての組み合わせが生成されます。生成された個々の組み合わせは、残りのパラメータであるA側OS、B側OSの各パラメータと2パラメータ間の組み合わせとして統合されます。

リスト4のサブモデル定義を使用した場合の組み合わせ数は54です。これに対して、サブモデル定義を使用しない、すべてのパラメータ総当りの場合の組み合わせ数は162となります。このように、適切な条件でサブモデル定義を用いると、組み合わせ数の爆発を抑えながら網羅率の高いテストを行うことができます。サブモデルは1つのモデルでいくつでも定義できます。

リスト3とリスト4のモデルで生成された組み合わせを表4に示します。この表を見ると、A社ルータ、B社ルータ、速度の3つのパラメータについて、すべての組み合わせが生成されていることがわかります。さらに、この個々の組み合わせは、残りのA側OS、B側OSの各パラメータとペアの組み合わせとなっていることがわかります。このことから、A社ルータ、B社ルータ、そして速度の3つのパラメータは、4パラメータ間のすべての値と組み合わされていることがわかります。

次回は、いよいよ制約条件について説明を行います。