Pentru a detecta, localizaţi şi corecta defectele într-un program de calculator. Tehnici includ utilizarea de puncte de întrerupere, birou de verificare, gropile, inspecţie, reversibile executarea, singur-pas funcţionarea şi urme.