Oui ! Je crois que tu montres bien la complémentarité entre les assertions incluses dans une fonction (pre/post-conditions et invariants) et les tests untitaires de cette fonction.
Les tests unitaires sont simplement des itérateurs pour tester le maximum de valeurs possibles pour les parametres. A chaque itération il y a appel de la fonction avec de nouveaux parametres, et ce sont alors les assertions incluses dans cette fonction qui font l'essentiel du travail de test.
[^] # tests unitaires itératifs pour déclencher des ruptures de contrat
Posté par free2.org . En réponse à la dépêche Démarche qualité et Logiciel Libre. Évalué à 2.
Les tests unitaires sont simplement des itérateurs pour tester le maximum de valeurs possibles pour les parametres. A chaque itération il y a appel de la fonction avec de nouveaux parametres, et ce sont alors les assertions incluses dans cette fonction qui font l'essentiel du travail de test.