マイクロソフト製テストケース生成ツール PICT を同僚に教えてもらいました。そのツールと、それが実装しているテスト生成アルゴリズムを紹介しているペーパー Czerwonka, Pairwise testing in real world, 2006 を読んだので、PICT とそれが採用している生成アルゴリズムである t-wise strategy について簡単に紹介します。 t-wise testing strategy 例: モデル1 Constraint Seeding ランダムテスト(QuickCheck)との比較 感想 t-wise testing strategy 問題設定としては…