Ca me paraît borderline et plus du domaine de la vérification mathématique, on se rapproche du test traditionnel. On arrive également à produire des tests de couverture de code automatiquement sans passer par un vérificateur formel.
Tu fais une différence entre formelle et mathématique ?
Sinon, pour l'augmentation de taux de couverture, il y a aussi des système utilisant de l'aléatoire, mais la plus part sont des systèmes formels.
Oué donc arrache toi pour ton application qui tourne sous Windows ou Ubuntu.
[^] # Re: Se passer des tests ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Tu fais une différence entre formelle et mathématique ?
Sinon, pour l'augmentation de taux de couverture, il y a aussi des système utilisant de l'aléatoire, mais la plus part sont des systèmes formels.
Oué donc arrache toi pour ton application qui tourne sous Windows ou Ubuntu.
Par system, je parlais de HW.
"La première sécurité est la liberté"