Module MT : Méthodes de test

Module MT : Méthodes de test

Equipe pédagogique :

Farid Ouabdesselam, Jean-Claude Fernandez

Volume :

24h.

Spécialité :

S&L

N.B. Ce module est commun aux parcours VSC et LBD.

Les techniques de test, quand elles présentent de bons fondements théoriques, constituent un complément indispensable aux méthodes de vérification (par la preuve ou par l'évaluation sur les modèles) dont la portée est limitée. Mais, pour utiliser à bon escient les techniques de test, il faut bien en comprendre les restrictions théoriques propres. Le premier objectif de ce module est d'expliquer la très grande variété des techniques de test existantes et les différents rôles du test en matière de validation. Dans un premier chapitre les différentes approches formelles pour le test sont justifiées, et différentes notions fondamentales (critère de sélection, critère d'arrêt et données de test significatives) sont explicitées. Le deuxième but du module est de montrer que l'existence d'un cadre formel présente l'avantage de permettre une large part d'automatisation du test. Deux approches sont présentées en détail et illustrées par des études de cas industrielles; les principes de réalisation des outils correspondants sont abordés.

• Problématique de la validation par le test et éléments de comparaison entre les techniques de test.
• Test de systèmes réactifs synchrones.
• Test de conformité des protocoles.
• Génération dynamique de séquences de test à partir de contraintes d'environnement spécifiées formellement.
• Génération de séquences de test fondée sur des techniques de vérification.
• Génération de séquences de test basée des techniques d'analyse statique.
• Guides de test : notion d'objectifs de test, test de propriétés de sûreté, guidages par scénarios.

Module MT : Méthodes de test