Invalider une preuve de test lorsqu'une modification ultérieure change ce qui avait été vérifié

Objectif

Empêcher un agent de codage de continuer à faire valoir un résultat réussi après que des modifications ont changé le code, la configuration, les fixtures ou les dépendances que ce résultat couvrait réellement.

Prérequis

Utiliser un enregistrement de validation compact contenant la révision vérifiée ou les empreintes de fichiers, la commande, l'identité de l'environnement, le résultat, et les artefacts générés pertinents. L'enregistrement peut être temporaire ; ne pas conserver de secrets ni l'intégralité des données de test.

Étapes

1. Avant une vérification, identifier ses entrées au niveau requis pour la décision. Inclure la configuration et les fichiers générés lorsqu'ils affectent l'exécution ; consigner uniquement le nom du fichier source modifié ne suffit pas pour une affirmation reproductible.

2. Associer le résultat obtenu à ces entrées. Distinguer une vérification qui a démarré de celle qui s'est terminée, et conserver le résultat réel plutôt que l'état de réussite attendu.

3. Après chaque modification ultérieure, déterminer quelles preuves dépendent des entrées modifiées. Marquer immédiatement comme périmés les résultats concernés, y compris ceux d'un autre agent ayant tourné sur un checkout partagé antérieur.

4. Relancer le plus petit ensemble de vérifications permettant de lever l'incertitude résultante, en respectant les exigences du projet. Un changement portant uniquement sur la documentation peut laisser une preuve d'exécution applicable, mais consigner le raisonnement lorsque la frontière n'est pas claire.

5. Avant de signaler l'achèvement, comparer l'artefact soumis à l'artefact validé. Exercer ce suivi en effectuant une modification délibérée du code source après une vérification réussie, et vérifier que le rapport final refuse de traiter l'ancien résultat comme actuel.

Résultat attendu

Chaque vérification réussie revendiquée identifie l'artefact qu'elle a couvert. Les personnes chargées de la relecture peuvent distinguer une validation actuelle, une preuve antérieure encore pertinente, et des résultats périmés nécessitant une nouvelle exécution.

Limites et base de vérification

Il s'agit d'une discipline de gestion des preuves proposée, sans revendication d'efficacité mesurée. La cartographie des dépendances peut être incomplète, si bien que l'incertitude peut justifier des vérifications plus larges. Un résultat réussi actuel ne prouve toujours que les comportements exercés par cette vérification.