Troisièmement, pour rejoindre ce qui est dit plus bas, si tu veux une preuve de la fiabilité de ton programme il faut utiliser des méthodes formelles.[...]Je suis plutôt partisant de l'ajout de formalisme simple dans les programmes, comme par exemple le propose Eiffel avec ses pre/postcondition et invariant
Je ne suis pas (du tout) convaincu que l'ajout d'invariant et de post/preconditions constitu une preuve formelle. Elle est encore bien dépendante de ton banc de test. Ce n'est donc pas une preuve, au plus un outil de test avancé.
[^] # Re: Pas si simple...
Posté par LeMagicien Garcimore . En réponse au journal couverture de code. Évalué à 2.
Je ne suis pas (du tout) convaincu que l'ajout d'invariant et de post/preconditions constitu une preuve formelle. Elle est encore bien dépendante de ton banc de test. Ce n'est donc pas une preuve, au plus un outil de test avancé.