Volumes horaires
- CM 19.5
- Projet 0
- TD 0
- Stage 0
- TP 0
- DS 0
Crédits ECTS
Crédits ECTS 1.5
Objectif(s)
Présentation des méthodes de test pour assurer la sûreté de fonctionnement des logiciels.
Contact Roland GROZContenu(s)
Test
Vérification et validation
Les tests au cours du cycle de vie.
Test structurel des logiciels.
Test à partir des spécifications: partitionnement, combinatoire.
Méthodes de test basées sur des modèles, en particulier automates.
Analyse des notions de couverture, test mutationnel.
Eclairage sur des domaines de test importants:
*test de performance et test de charge
*test d'interface
*test de sécurité.
Prérequis
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Épreuve écrite. L'évaluation des travaux pratiques demandés en cours de semestre pourront être inclus dans la note finale.
Salle spécifique : Non
Durée : 1h30
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents autorisés
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
*matériel autorisé, préciser :
*matériel interdit, préciser :
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) :
Salle spécifique :
Durée :
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
*matériel autorisé, préciser :
*matériel interdit, préciser :
Commentaires
N1=E1
N2=E2
Bibliographie
Aditya P. Mathur:Foundations of Spftware Testing, Pearson 2008.
J-F. Pradat-Peyre, J. Printz: Pratique des tests logiciels, Dunod 2009.
Myers, G.J. : The Art of Software Testing. Wiley 1979; réédité 2004.