Vérification et Validation du Logiciel (2026-2027)

Responsable : Stefania Dumbrava (stefania.dumbrava@ensiie.fr)

Ce module introduit les techniques de test et de preuve formelle qui permettent de vérifier et de valider de manière systématique les programmes et les systèmes informatiques. Après avoir situé la vérification et la validation dans le cycle de vie du logiciel, on étudie la sélection et l'automatisation des tests (tests fonctionnels, structurels et fondés sur les propriétés), puis la preuve de programmes par la logique de Hoare. Les apports fondamentaux sont mis en pratique sur des outils de test et de preuve de programmes.