Smarter test cases.
Fewer runs. Full coverage.
Generate optimized all-pairs test cases using covering arrays. Two generation engines, rich constraints, and built-in verification — in a desktop app and command-line interface.
On standard pairwise benchmarks, SIPO matches or exceeds the best known results on the majority of scenarios — including setting a new best.
Interested in early access? Contact us to join the beta program.
ProTest covers the full covering array workflow — from test case generation to post-optimization to verification.
Choose between PICT (Microsoft's pairwise engine) and SIPO (simulated annealing, typically 10–30% fewer test cases depending on the scenario). Force specific test cases into results with seeding (complete or partial), then apply NCK post-optimization to further reduce the test count while maintaining coverage.
Rich constraint language with IF/THEN/ELSE rules, comparisons, wildcards, and set membership. Group parameters into sub-models for independent coverage at different interaction strengths.
Confirm coverage completeness, constraint satisfaction, and seed inclusion before you run a single test. Available as a full-featured WPF desktop application and command-line interface, with native .cahtt (JSON) project files and .pict import/export.
ProTest v2.0 is currently in beta. If you're interested in participating in the beta program and getting early access, we'd love to hear from you.
Request Beta Access