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

[19-20]-Fiabilité Logicielle Saint-Jérôme

Méthodologie de tests de programmes et introduction aux méthodes formelles

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

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

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

[19-20]-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.