Démontrer plutôt que déclarer
Associer la preuve au critère attendu, à une date et à un périmètre. Un document décrit une intention, tandis qu’un résultat de test ou une observation peut montrer une application effective. La force de la conclusion doit rester proportionnée à ce qui a été vérifié.
Ne pas promettre une cohérence immédiate lorsque l’architecture est asynchrone. Expliquer les délais et états visibles pour l’utilisateur.
Un modèle des états et invariants, des procédures de reprise et des contrôles de rapprochement.
Application à votre contexte
Préservez le contexte de la preuve : objet, périmètre, date et conditions d'obtention. Ne généralisez pas une observation réussie à des situations qui n'ont pas été examinées.
Un test utile exerce un comportement attendu et dispose d'un résultat observable. Complétez les tests unitaires par des vérifications d'intégration et des parcours métier. Le taux de couverture du code ne démontre, à lui seul, ni la qualité des assertions ni l'absence de défauts.