Informatique Fiabilité et sécurité informatique (FSI)
Méthodologie de tests de programmes et introduction aux méthodes formelles

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

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.