Accueil

Vérifier ce qu'il rend

1. 01Un vert ne prouve rien tant qu'il n'a pas été prouvé lui-même7 min

   Un contrôle qui n'a jamais été mis en défaut par un cas qu'il doit réellement trouver n'a rien prouvé, au sens strict où prouver exige qu'une commande précise ait tourné et que sa sortie ait été lue : un détecteur cassé rend zéro problème, et cela se lit exactement comme un succès.

2. 02Testez le vérificateur avant de croire son verdict7 min

   Un contrôle qui rend un chiffre plausible n'en rend pas forcément un juste, et l'écart ne s'annonce presque jamais. Testez donc le script avant de croire son verdict : donnez-lui une entrée fabriquée qu'il doit signaler et une entrée propre qu'il ne doit pas signaler, couvrant les particularités de votre terrain.

3. 03Le remède contre l'invention peut inventer lui aussi7 min

   Un dispositif de vérification est un livrable comme un autre, produit par le même type de mécanisme que ce qu'il contrôle. Relancer le même contrôle ne le rend pas indépendant, car un bug déterministe se répète à l'identique : seule une méthode réellement différente, qui peut échouer autrement, a valeur de preuve.

4. 04Où vous regardez détermine ce que vous trouvez4 min

   Une vérification pointée sur le dernier changement dit où l'on a regardé, jamais où sont réellement les défauts : sans avoir examiné le reste avec le même soin, aucune conclusion sur la dangerosité comparée du code récent et du code ancien ne tient.

5. 05Une vérification très rigoureuse peut quand même ne rien voir4 min

   Une vérification, même très disciplinée, ne juge que ce qui existe déjà : un écran jamais construit ou une fonction jamais écrite n'apparaissent nulle part dans son périmètre. Ce qui comble ce trou est une question différente, posée hors du code relu, comme un parcours d'utilisateur complet confié à un usage réel.

6. 06Prouvé, ou simplement pas encore réfuté5 min

   Prouvé signifie que vous avez exécuté une commande précise et que vous pouvez citer sa sortie. Pas encore réfuté signifie seulement que rien n'a attrapé de problème jusqu'à présent, une affirmation bien plus faible. Un aperçu vert ou une absence d'erreur en console ne prouvent donc pas qu'aucun défaut n'existe.

7. 07Un contrôle de forme ne voit jamais une valeur fausse8 min

   Un contrôle automatisé vérifie presque toujours la forme et très rarement la vérité : un fichier valide, un encodage correct ou un mot clé présent peuvent coexister avec un chiffre faux. Valider une capture de la page qui génère le document ne prouve pas non plus ce que la personne ouvre réellement.

8. 08Rouvrir chaque source avant de la croire8 min

   Un agent de recherche rapporte ce qu'un index montre, pas ce qu'une page en direct contient aujourd'hui, et présente un lien mort avec la même assurance qu'un lien vivant : toute source destinée à soutenir une conclusion se rouvre avant d'être citée.

9. 09Compter toute la population, et nommer la mesure pour ce qu'elle capte7 min

   Mesurer sur les quelques cas remarqués par hasard plutôt que sur toute la population rend une conclusion pleine d'assurance et pourtant fausse, et cette même conclusion reste fausse si le nom qu'on donne au résultat dit autre chose que ce que l'instrument a réellement capté.

10. 10Trois agents d'accord, une seule source8 min

    Des agents qui rendent la même conclusion en citant la même page ne confirment rien : l'équipe tient une seule source, citée plusieurs fois. Un accord vaut ce que valent les sources distinctes qui le portent, et une adresse différente ou une copie sous un autre domaine n'est pas encore une source indépendante.

11. 11Ce qu'un contrôle exempte disparaît de sa sortie8 min

    Ce qu'un contrôle exempte disparaît de sa sortie : le périmètre est décidé une fois, puis plus personne ne le relit. Un verdict conforme porte sur le dossier moins la partie exemptée, qui peut grossir sans bruit. Donnez à cette partie son propre seuil, qui pèse sur le verdict ; afficher son poids ne suffit pas.