Test des logiciels, sureté de fonctionnement et tolérance aux fautes - 5MMTLSFT

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é.

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 :
Durée :
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :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

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.