Testing which covers all combinations of input values and preconditions for an element of the software under test.