> Formation > Cursus ingénieur
Présentation des méthodes de test pour assurer la sûreté de fonctionnement des logiciels.
Contact Roland GROZTest
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:
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):
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):
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.