Dans le cas de code non critique (ie. informatique de gestion), si le logiciel est capable de dire, au choix :
- Couverture des contrats insuffisante
- Code valide pour ses contrats
- Code invalide pour ses contrats
c'est déjà énorme.
Si en plus, il sort un contre exemple, alors là c'est génial.
J'imagine qu'en aéronautique, ou en hardware, on se doit de vérifier la preuve généré... Dans l'informatique de gestion on veut qq chose de plus rapide et plus fiable que l'écriture de tests unitaires à la mano...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Se passer des tests ...
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 3.
- Couverture des contrats insuffisante
- Code valide pour ses contrats
- Code invalide pour ses contrats
c'est déjà énorme.
Si en plus, il sort un contre exemple, alors là c'est génial.
J'imagine qu'en aéronautique, ou en hardware, on se doit de vérifier la preuve généré... Dans l'informatique de gestion on veut qq chose de plus rapide et plus fiable que l'écriture de tests unitaires à la mano...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker