Catalogue des contrats et des stages Armées - Jeunesse ... - IHEDN

Stage D.G.ARéférence CAJ/DGA/2637Adresse géographique :Adresse militaire :Sujet : STAGE AVEC CONVENTION PRIORITE 2DGA Maîtrise de l'information site de Bruz la roche marguerite 35170 - BRUZDGAMaîtrise de l'information BP 7 35998 RENNES ARMEESSujet de Stage :Etude et conception d’outils de test et vérification logicielle pour l’instrumentation d’un processus de développement d’applications dirigé par lesmodèles.Contexte :Le contexte est l’analyse d’applications distribuées CORBA depuis les modèles de composants de l’application jusqu’à son code source C++. Les testsà développer sont destinés à l’analyse des niveaux de conformité et de performance de l’architecture logicielle des applications par rapport à desspécifications standardisées (ex : middleware CORBA, non-CORBA, OS POSIX)Travaux :L’objectif de ce stage est d’enrichir une plateforme de test logiciel basée sur l’environnement ouvert Eclipse. Le stagiaire sera amené à concevoir etdéveloppé des tests de vérification pour les différentes représentations de l’application, modèles, codes sources, instrumentant ainsi le processus dedéveloppement.- Une étude de l’application existante et du processus de développement et les outils associés (modeleur, compilateur) permettra de prendreconnaissance avec le domaine applicatif.- Etablir des règles de vérification métier par rapport aux standards définis pour le développement des applications.- Implémentations des règles de vérifications (par exemple en utilisant le langage OCL) dans la plateforme de test basée sur Eclipse.- Mise en œuvre de la plateforme de test sur l’application existante.Compétences techniques requises :Programmation orientée objet, langages C++, XML, XMI, environnement Eclipse. Modélisation UML, langage OCL, Domaine du test logicielLa connaissance de CORBA serait un plus.Page 273