Volumes horaires
- CM 18.0
- Projet 0
- TD 0
- Stage 0
- TP 0
- DS 0
Crédits ECTS
Crédits ECTS 2.0
Objectif(s)
Présentation des méthodes de test pour assurer la sûreté de fonctionnement des logiciels.
Contact Olivier AYCARD, Ioannis PARISSIS, Simon FERNANDEZContenu(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) :
Devoirs et travaux pratiques.
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Épreuve écrite.
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 : ordinateurs, téléphones
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : Épreuve écrite.
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 : ordinateurs, téléphones
Commentaires :
N1 = CC*0,2 + E1*0,8
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.