Oué bah on en revient toujours à la base : en dehors des domaines où la sécurité est primordiale, en général personne se fait chier à atteindre le niveau de spécification formelle nécessaire à l'utilisation de ces méthodes de vérification.
On peut trouver des compromis, des lightweight formal method, par exemple on fait des modèles formel mais pas exhaustif et on s'en sert pour générer des jeux de test. Après on peut en rester là ou aller plus loin dans la preuve sur le modèle si il y a un intéret/budget.
Il y a pas mal de projet comme çà, c'est intéressant je pense.
[^] # Re: Se passer des tests ...
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 1.
On peut trouver des compromis, des lightweight formal method, par exemple on fait des modèles formel mais pas exhaustif et on s'en sert pour générer des jeux de test. Après on peut en rester là ou aller plus loin dans la preuve sur le modèle si il y a un intéret/budget.
Il y a pas mal de projet comme çà, c'est intéressant je pense.