Méthodes pratiques : tests, logs, exigences, vérifications croisées, preuves, reproduction d’erreurs, validation humaine et rapports d’audit.