Contrats, tests et assurance qualité

Ce cours s’intéresse à la validation et à la vérification de logiciels, à l’analyse de leur qualité et à l’écriture et l’utilisation de spécifications formelles de logiciels. Il est architecturé autour des points suivants :

 • Principes de validation et vérification
 • Étude et mise en oeuvre de différents types de tests (unitaire, intégration, API, interface)
 • Property-based testing, fuzzy testing
 • Spécifications et contrats logiciels, métriques de qualité logicielle, SBOM
 • Génération de test à partir de modèles

• Savoir mettre en place une campagne de tests à différents niveaux, de la fonction à l’application.
• Savoir utiliser un framework de test.
• Savoir rédiger et vérifier une spécification logicielle.

Modalités : Mixte : CC + CT
SESSION 1 :
Contrôle Continu
• Type : Écrit, QCM, Oral
• Durée : 2h00
• Précisions : Une durée indicative de 2h00, susceptible d’être ajustée en fonction des contraintes pédagogiques, matérielles ou logistiques, dans le respect des M3C applicables.

Contrôle Terminal
• Type : Écrit
• Durée : 2h00
• Précisions : Une durée indicative de 2h00, susceptible d’être ajustée en fonction des contraintes pédagogiques, matérielles ou logistiques, dans le respect des M3C applicables.

Régime Dérogatoire
• Type : Écrit
• Durée : 2h00
• Précisions : Une durée indicative de 2h00, susceptible d’être ajustée en fonction des contraintes pédagogiques, matérielles ou logistiques, dans le respect des M3C applicables.

SESSION 2 :
• Type : Écrit
• Durée : 2h00
• Précisions : Une durée indicative de 2h00, susceptible d’être ajustée en fonction des contraintes pédagogiques, matérielles ou logistiques, dans le respect des M3C applicables.

Utilisation de l'intelligence artificielle :
L’utilisation des équipements électroniques et de l’Intelligence Artificielle sont interdits lors des évaluations.

Introduction au génie logiciel, programmation orientée-objet en Java, aspects techniques de la gestion de projet et principes de qualité des architectures logicielles (SOLID, DRY, patrons de conception), tels que vus dans les EC Programmation orientée-objet aux semestres S4 et S5, DevOps au S5, Conception et Modélisation Objet au S5, Introduction au génie logiciel au S5.