Volumes horaires
- CM 18.0
- Projet -
- TD -
- Stage -
- TP -
- DS -
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.
Responsable(s)
Ioannis PARISSIS
Contenu(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é.
Cours de génie logiciel abordant notamment les cycles de développement : cela permet de situer correctement le test dans une activité de développement.
Bonnes connaissances en algorithmique et programmation : être capable d'analyser un programme, de l'exécuter symboliquement "à la main", fait partie des activités du testeur et est une compétence indispensable pour comprendre les techniques fondées sur l'analyse du code.
Langages et automates : une partie du cours porte sur de modèles et en particulier des machines d'états finis exploitées pour engendrer des tests de conformité.
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
Devoirs à rendre 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 : calculatrice
- matériel interdit, préciser : ordinateurs, téléphones
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) :
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 : calculatrice
- matériel interdit, préciser : ordinateurs, téléphones
Commentaires :
N1=E1*0,8 + CC*0,2
N2=E2
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Filière ISI - Semestre 9
Informations complémentaires
Code de l'enseignement : 5MMTSL6
Langue(s) d'enseignement : 
Le cours est rattaché aux structures d'enseignement suivantes :
- Equipe Programmation-logiciel
Vous pouvez retrouver ce cours dans la liste de tous les cours.
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.
Autres documents mis à disposition