NFP210 : Construction rigoureuse des logiciels(2) (6 ECTS)

Pré-requis

Pré requis : avoir suivi ou suivre conjointement
- Spécification et Modélisation Informatiques (SMI) (code NFP108) et
- Construction rigoureuse des Logiciels 21CRL1) (code NFP209)
Public concerné : Informaticiens désireux d' aquérir une pratique dans le domaine des Logiciels Surs. Etudiants visant le diplôme d'ingénieur Cnam option IQL ou le Master STIC MOCS parcours Logiciels Sûrs.

Objectifs

L'objectif de cet enseignement est d'aborder différents outils et techniques de validation de logiciel en faisant suite au contenu présenté dans la valeur "Construction rigoureuse des Logiciels 1"(CRL1) (code NFP209).

Projets

Examen + TP

Contenu

Techniques et outils abordés:
1. Outil d'analyse statique (Spark)
2. Model Checking
3. Techniques de validation par le test,
4. Sûreté de fonctionnement, exemples de normes de certification de logiciel.

Compétences visées

Culture de base dans un large panel de techniques de validation de logiciels.

Cette unité d'enseignement n'est dispensée dans aucun centre pour le moment.
N'hésitez pas à revenir consulter cette page régulièrement.