Qui n’a jamais pesté contre une application qui “plante” ou qui fait le contraire de ce qu’on lui demande ! Les méthodes formelles apportent une réponse à ce type de problème. De fait, elles connaissent déjà un succès croissant dans le monde des logiciels embarqués qui ne tolèrent aucun dysfonctionnement. Le programme sécurité des passagers du système de pilotage automatique de la ligne 14 du métro parisien a ainsi été développé à l’aide de la méthode B. Depuis ses premiers essais, en 1997, ses systèmes de sécurité ?” soit quatre-vingt-six mille lignes de code, dont la conformité vis-à-vis des spécifications d’origine a été prouvée ?” n’ont connu aucune défaillance. La preuve intervient à chaque étape du cycle de développement logiciel et en garantit l’uniformité. A tel point que les tests unitaires deviennent inutiles. Les méthodes formelles nécessitent cependant une plus grande rigueur dans l’élaboration des spécifications.
🔴 Pour ne manquer aucune actualité de 01net, suivez-nous sur Google Actualités et WhatsApp.
