Il y a pas mal de recherche sur des solutions pour trouver de façon automatique l'imprécision du code, qui tendent à se substituer aux classiques "tests + modifications", à cause de l'augmentation toujours plus grande de la taille et de la complexité des programmes.
[^] # Re: plop again
Posté par khivapia . En réponse au journal Comment les programmeurs écrivent du code flottant ?. Évalué à 3.
Ou même un avion de ligne... ça serait mal vu ;-)
Il y a pas mal de recherche sur des solutions pour trouver de façon automatique l'imprécision du code, qui tendent à se substituer aux classiques "tests + modifications", à cause de l'augmentation toujours plus grande de la taille et de la complexité des programmes.
Voir par exemple http://webdali.univ-perp.fr/~mmartel/Matthieu_Martels_Home_P(...) pour un résumé des techniques actuelles : étude formelle de la précision tout au long du programme, transformation sémantique des formules pour améliorer leur précision.