MBT : Model Based Testing

Annexes

Glossaire

Framework : un framework est un composant héritant de classes mères pour fournir des fonctionnalités supplémentaires ou modifier le comportement d'une librairie suivant des besoins spécifiques.

MDD : Model Driven Development, qui correspond au développement d'une application à partir du modèle de celle-ci.

MDE : Model Driven Engeneering, une modélisation d'une application avec un haut niveau d'abstraction indépendamment de la plate-forme utilisée.

Méthode B : Il s'agit d'une méthode logique de développement logiciel qui permet de modéliser le comportement d'un programme dans le langage B puis d'aboutir à un modèle concret en C par exemple.

MTB : Model Based Testing, des tests dirigés par une modélisation de l'application

UML2 : Unified Modeling Language est un langage de modelisation graphique à base de pictogrammes. Il est utilisé dans divers domaines dont la conception logicielle.

ROI : Return Over Investment, retour sur investissement.

Sources

Afin de réaliser cet exposé et ce site Internet, je me suis inspiré de plusieurs travaux et articles disponibles sur l'Internet :

Sebastien Bardin, chercheur en Informatique au Laboratoire de Sureté Logicielle au Commissariat à l'Energie Atomique

Wikipedia, encyclopédie libre de l'Internet

D'une vidéo de présentation sur le Model Based Testing filmée lors des Google Tech Talks :

Model Based Testing: Black or White?

J'ai également utilisé des versions d'essais de logiciels de modélisation :

QTronic de la société Conformiq (Finlande)

Rhapsody de la société Telelogic (Suede)