A test case design technique in which the test case suite comprises all combinations of input values and preconditions for component variables.