info5r04 - Modélisation et test du logiciel
-
Nombre de crédits
- 5
- Pré-requis
-
- Parcours
- spécialité recherche informatique de la mention informatique du
master
-
Objectifs
- Ce cours a pour objectif de faire découvrir aux étudiants la
construction de modèles du logiciel à base de composants et les
techniques de tests associées.
- Organisation
-
- Volume de travail personnel étudiant estimé
-
- Contrôle et validation des connaissances
- Description du contenu
- Ce cours comprend 3 volets. Le premier concerne la construction de
modèles logiciels par les techniques de méta-modélisation, ainsi que
la définition des modèles abstraits de composant et d'assemblage. Le
second volet explore les techniques de transformation des modèles
abstraits vers des plates-formes d'exécution à composants telles que
CCM, EJB, .Net ou encore JAC. Le dernier volet présente des
techniques de modélisation formelle du comportement et de génération
de tests.
- Responsable(s)
- Isabelle Ryl, Raphaël Marvie, Olivier
Caron, Laurence Duchien
fichier source pour édition/modification