PICT はテスト ケースとテスト構成を生成します。PICT を使用すると、手動で生成したテストよりも効果的なテストを、実際のテスト ケース設計にかかる時間のほんの一部で生成できます。
PICT はコマンド ライン ツールとして実行されます。テストするインターフェイス (または構成セット、またはデータ) のパラメータを詳細に記述したモデル ファイルを準備します。PICT は、パラメータの包括的な組み合わせカバレッジを取得するために使用する必要があるテスト ケースを表す、コンパクトなパラメータ値選択肢のセットを生成します。
たとえば、パーティションとボリュームの作成用のテスト スイートを作成する場合、ドメインは、タイプ、サイズ、ファイル システム、フォーマット方法、クラスター サイズ、および圧縮というパラメータで記述できます。各パラメータには、可能な値の数が限られており、それぞれの値はその性質 (たとえば、圧縮はオンまたはオフのみ) または同等のパーティション分割 (サイズなど) によって決まります。
これらの値の組み合わせは何千通りもあります。妥当な時間内にそれらすべてをテストするのは困難です。その代わりに、すべての可能な値のペアをテストすることにします。たとえば、{Single, FAT} は 1 つのペアで、{10, Slow} は別のペアです。1 つのテスト ケースで多くのペアをカバーできます。調査によると、すべてのペアをテストすることは、徹底的なテストの効果的な代替手段であり、コストも大幅に削減されます。これにより、非常に優れたカバレッジが得られ、テスト ケースの数も管理可能なままになります。