Provided is a system and method comprising a test suite generation
mechanism for testing a domain (e.g., software program) via "black-box"
testing. Parameters are defined, appropriate values for each are chosen,
and via the system and method a suite of test cases are automatically
generated that covers all N-way parameter combinations (e.g., pairs when
N=2) while respecting any specified domain constraints. After receiving a
model comprising the parameters and respective values to test, along with
constraints in a form of logical predicates, the system and method
produces the test cases. Based on the constraints, an algorithm removes
invalid combinations in a first stage, and prevents any other invalid
combinations from being used in a second stage during the test case
generation process. A full set of statistically valuable test cases are
thus efficiently and automatically generated, significantly improving
testing while significantly reducing the resources needed to test.