Informatique Fiabilité et sécurité informatique (FSI)

[20-21]-M1info - Sécurité des Applications

[20-21]-Qualité

[20-21]-Sécurité des Applications 2

[20-21]-M- Sécurité Internet Réseaux (Emmanuel Godard)

Méthodologie et outils pour la sécurisation des SI

[20-21]-Analyse-de-programmes (Denis Lugiez)

Méthodes d'analyses de programmes.

[20-21]-S2-Fiabilité Logicielle - (Denis Lugiez)

Introduction aux méthodes permettant d'assurer la fiabilité du code.

-Cycle de vie du logiciel.

-Spécifications informelles et formelles.

-Tests: établissement de cahier de tests, constructions de suite de tests, automatisation du test.

Types de tests: unitaire, intégration, fonctionnel. Boite blanche boite noire.

-Méthodes formelles: modélisations de systèmes et propriétés, validation formelle.