Para detectar, localizar e corrigir defeitos em um programa de computador. Técnicas incluem o uso de pontos de interrupção, mesa verificando, lixeiras, inspeção, execução reversível, etapa única operação e traços.