Un model pentru testarea software-ului de calculator al cărui obiectiv este de a confirma prezenţa sau absenţa unui defect specific.