O tehnică pentru testarea software-ului de calculator prin utilizarea unei metode de testare şi datele de încercare pentru a demonstra prezenţa sau absenţa unui set de defecte specifice. De exemplu, pentru a demonstra faptul că software-ul gestionează corect un defect divide-de-zero, datele de testare ar include zero.