Pour détecter, localiser et corriger les failles dans un programme informatique. Techniques incluent l'utilisation des points d'arrêt, bureau de vérification, décharges, exécution réversible, opération pas à pas et l'inspection traces.