STAGE-PAM-11-2009
| Intitulé du stage | Étude comparative d’outils de validation de modèle + Définition & mise en application d’une procédure de validation de modèle |
| Objectifs |
|
| A qui s'adresse cette offre? | Ecole d’ingénieurs (Supelec, ENSEIRB...) ; deuxième cycle... |
| Période et Durée |
Obj.1 : projet professionnel Obj. 2 & 3 : stage 4 mois Démarrage dès septembre 2008 |
| Environnement | Modélisation |
| Identifiant du stage | STAGE-PAM-11-2009 |
| Description |
KEREVAL intègre au sein de ses activités de test la dimension automobile notamment via le test logiciel embarqué. Pendant la phase de développement d’un logiciel pour implémentation sur un calculateur automobile, la modélisation est utilisée afin de spécifier et de simuler le fonctionnement de cette algorithme. Avant développement du logiciel, il est nécessaire de vérifier et valider le modèle. Cette validation s’effectue via l’analyse d’un outil qui permet de générer des plans de test automatiquement et ainsi de vérifier le fonctionnement et la couverture d’un certain nombre d’exigence. Les plans de test ainsi générés peuvent être ensuite récupérés afin de tester le logiciel qui sera développé. Le but du stage est d’évaluer les différents outils du marché. Une procédure de validation et de génération de test sera alors mise en place et appliquée sur un modèle exemple. Il s’agit d’un vrai sujet de recherche amenant la connaissance de la modélisation et de la génération de test automatique et pouvant mettre en œuvre l’utilisation de technologies variées fonction de l’intérêt du stagiaire. Le stagiaire sera intégré au département automobile de KEREVAL. Fin de cycle, spécialité embarqué. Autonome, sens de l’écoute et de l’organisation, méthodique, esprit d'équipe. La maîtrise de l’anglais est nécessaire. |
| Contact |
KEREVAL 4 rue Hélène Boucher, Z.A Bellevue 35 235 THORIGNE FOUILLARD stage@kereval.com |