Re: Se passer des tests ...

Retourner au contenu associé (journal : La preuve de programme : où en est-on ?)

[^] # Re: Se passer des tests ...

Posté par Nicolas Boulay (site web personnel) le 04 mars 2009 à 10:27. En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

Un outil formel pour le faire permettrait de te trouver le ou les vecteurs d'entrées correspondant à ton pire cas et mesurer ensuite le temps d'exécution. Tout cela pourrait être automatique.
"La première sécurité est la liberté"