Génération automatique de tests pour la vérification de transformation de modèle

Contexte

Le candidat mènera des travaux de R&D dans le cadre du projet européen OPEES, en interaction constante avec des chercheurs, dans le domaine de l'ingénierie des modèles. Le but général du projet OPEES étant "to build a community able to ensure long-term availability of innovative engineering technologies in the domain of software-intensive embedded systems".

Objectifs

Le travail consistera à industrialiser et à développer une chaine de génération automatique de tests pour la vérification de transformations de modèles. L’objectif est d’une part d’intégrer à la plateforme Eclipse l’outil Cartier (https://www.irisa.fr/triskell/softwares-fr/protos/cartier/) développé dans l’équipe Triskell, et d’autre part d’étendre ses possibilités par la prise en compte d’objectifs de test comportementaux issus d’un comportement spécifié en Kermeta (http://www.kermeta.org/) pour guider la génération de modèles pertinents.

Le candidat participera aux activités de conception, et aura en charge le développement des logiciels, leur intégration, leur test et leur documentation, ainsi que la gestion et le suivi du projet OPESS du point de vue de Triskell.

Compétences requises

• Connaissances en Ingénierie Dirigée par les Modèles (IDM) et bonne pratique des outils de la plateforme Eclipse supportant l’IDM (e.g., Kermeta, GMF, Topcased, EMF Text).
• Compétences en génie logiciel, en programmation orientée objet (e.g. Java) et dans la mise en œuvre de patrons de conception.
• Compétences en techniques de vérification et dans le test (la connaissance d’Alloy serait un plus).
• Détenir un Doctorat en Informatique (une spécialité en Génie Logiciel serait un plus).
• Avoir un bon niveau en anglais et des qualités relationnelles.

Environnement de travail

• Laboratoire et équipe d’accueil:
• IRISA-INRIA Rennes, EPI Triskell (Campus de Beaulieu, Université de Rennes 1, France)

• Responsable scientifique:
• Jean-Marc Jézéquel (jezequel@irisa.fr)

• Encadrants:
• Benoît Baudry (benoit.baudry@inria.fr)
• Benoît Combemale (benoit.combemale@irisa.fr)