Construction rigoureuse des logiciels(1)
6 crédits Nicole LEVY EPN05 - Informatique Unité d'enseignement de type cours
Publié Du 01-09-2007 au 31-08-2019
Voir les UE GLG 206 et GLG 207
Public :
Informaticiens désireux d'acquérir une formation dans le domaine des Logiciels Sûrs. Étudiants visant le diplôme d'ingénieur Cnam spécialité Informatique pour les parcours IRSM et AISL.
Prérequis :
Bonne connaissance d'un langage de programmation. Il est conseillé d'avoir suivi ou de suivre en parallèle la valeur : Spécification et Modélisation Informatiques (SMI) (code NFP 108).
Dans de nombreuses applications comme les télécommunications, les transports terrestre et aérien, le nucléaire, les banques, les soins médicaux etc, un logiciel défectueux peut conduire à des défaillances aux conséquences irréversibles, voire dramatiques.
En dehors de ces domaines critiques, l'essor d'internet, la généralisation de l'utilisation de langages comme JAVA permettant la mobilité du code, accroît et généralise le besoin de sécurité et par là même la nécessité de la vérification. D'où la profusion actuelle de projets et d'outils tant industriels qu'universitaires autour de la validation et de la vérification de code.
De nombreuses entreprises travaillant sur ces sujets nous ont fait part de leurs difficultés à recruter des ingénieurs ayant une formation adaptée. C'est pour répondre aux besoins exprimés par ces entreprises, que nous avons mis en place, en collaboration avec elles, un enseignement dans ce domaine.
L'UE NFP209 fournit les techniques de description et d'analyse utilisées dans les méthodes visant à accroître la robustesse, la sûreté et la performance des langages et des logiciels. Cette UE consiste en un panorama de techniques et d'outils de validation de logiciels.
NFP209 fait aussi partie intégrante diplôme d'ingénieur du CNAM, spécialité Informatique pour les parcours IRSM et AISL.
Maitrise de la signification et du comportement des langages.
Capacité d'analyse et de raisonnement sur ces objets.
L'unité NFP209 apparaît dans 2 cursus.
Cette UE permet d'aborder plusieurs méthodes de vérification de logiciels et d'utiliser leurs outils correspondants. Elle comporte 4 parties :
Techniques et outils abordés dans les 4 parties de l'UE :
Spécification et vérification formelles de systèmes communicants à l'aide d'une algèbre de processus. Utilisation du langage LOTOS et de la plateforme CADP.
Titre | Auteur(s) |
---|---|
Pratique des tests logiciels, Dunod, 2014. | Jacques Printz, Jean-Francois Pradat-Peyre |
Model-based Testing: Where Does It Stand ?. CACM, Communications of the ACM, 58(2), 2015 | Robert V. Binder, Bruno Legeard, and Anne Kramer |
The B-Book: Assigning Programs to Meanings, Cambridge University Press, 2005. | J. R. Abrial |