Description de la mission :

Au sein de l'équipe Vérification & Validation de la Business Unit (BU) Instrumentation et Contrôle-Commande (I&C), le sujet de stage s'inscrit dans un projet plus large visant à concevoir un modèle puis un outil d'aide à l'automatisation des tâches de tests (conception, vérification), à partir des spécifications du système, en s'appuyant sur des modèles d'intelligence artificielle et du génie logiciel. Dans l'idéal, le stage se poursuivra sur une thèse CIFRE.

Les objectifs de ce stage sont les suivants :
Comprendre et formaliser, à travers les cas concrets de l'étude, les différentes étapes d'ingénierie système depuis l'analyse des exigences clients, l'élaboration des spécifications systèmes de haut niveau et plus détaillées et jusqu'à l'écriture des procédures de tests détaillées et l'exécution puis l'analyse des tests.
Amorcer la formalisation d'une approche basée sur l'intelligence artificielle qui sera mise en oeuvre dans le cadre de la thèse.

Implémentation (stage) : une étape de vérification manuelle consiste à analyser les rapports de tests de validation fournis à la fin d'une campagne (fichiers pdf), et à catégoriser les erreurs obtenues :
o Détection des zones du rapport contenant des différences entre l'oracle et la simulation / l'exécution sur baie de tests.
o Pour ces erreurs, décider si ce sont des vraies ou des fausses erreurs (faux positifs). Dans ce cas, l'algorithme classifie le faux positif par un codage. Etudier la possibilité d'inclure de l'apprentissage dans cet algorithme, à partir de cas déjà traités.
Cette partie pratique consiste bien en l'implémentation de ces deux étapes distinctes de la vérification, faites aujourd'hui manuellement. Les données permettant de classifier automatiquement les erreurs en vrais ou faux positifs sont présentes dans d'autres documents.

La partie complémentaire, qui pourra être initiée pendant le stage, consistera à :
Identifier les données pertinentes à extraire des documents pour générer les procédures de test;
Sur un cas d'étude simple, écrire les procédures de test à partir des spécifications fournies;
Identifier les limites de la procédure manuelle et identifier les techniques d'intelligence artificielle et de génie logiciel permettant une génération fiable et efficace des procédures de test.

Le stage sera basé à Grenoble au sein d'un établissement soumis à enquête administrative.

Vous êtes en école d'ingénieurs ou équivalent universitaire avec une spécialisation dans le domaine de l'intelligence artificielle ou du génie logiciel avec une appétence pour l'IA.
Vous êtes autonome, curieux(se), pourvu(e) d'une très bonne capacité d'analyse, orienté(e) résultat et disposez d'un bon relationnel.
Votre Anglais est courant à l'oral comme à l'écrit
Vous envisagez de poursuivre vos études dans le cadre d'une thèse.