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

Méthodes d'analyses de programmes.

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.