Software testing using test data designed to demonstrate the absence of a set of pre-specified faultstypically, frequently occurring faults.For example, to demonstrate that the software handles or avoids {divide by zero} correctly, the test data would include zero.(1996-05-15)