Chaque instruction exécutable comportant un défaut a dû être testée au moins une fois

Chaque résultat de décision dans le code a dû être évalué à la fois comme vrai et comme faux

 L’ensemble de tests n’a déclenché aucune défaillance dans le code testé

Toutes les exigences relatives au code testé sont satisfaites