ペアワイズテストツール(PICTなど)が「制約(Constraints)」ファイルを必要とする理由はどれか。

特定のOSでは特定のブラウザが動かない等の制約がある場合、ツールにそれを教えないと無効なテストケースが生成されてしまう。