A technique for testing computer software by using a test method and test data to demonstrate the presence or absence of a set of specific faults. For example, to demonstrate that the software correctly handles a divide-by-zero fault, the test data would include zero.