<testing> Software testing using test data designed to demonstrate the absence of a set of pre-specified faults; typically, frequently occurring faults.
For example, to demonstrate that the software handles or avoids divide by zero correctly, the test data would include zero.