-
Alten
- Ingénieur V&V
Boulogne-Billancourt
2016 - 2017
Projet chez le client Krono Safe.
Ingénieur V&V sur la validation des exigences de bas niveau (LLR) sur le kernel (bsp0) du logiciel de Krono Safe.
Evaluation de l’outil de test:
- Définition des besoins en terme de test (automatisation, instrumentation, facilité pour configurer sur les différentes cibles...).
- Interaction avec le groupe VectorCast par vidéo-conférence, situé aux États-Unis, pour la configuration et l’utilisation du logiciel.
- Une semaine de formation sur l’outil VectorCast.
Création des test cases procédures/scripts dans le but de valider les LLR:
- Dryrun des procédures à partir de scripts créés par Kronosafe sur hôtes et sur cibles.
- Adaptation et automatisation des scripts sous VectorCast, sur hôtes, et sur cibles.
- Remonter des erreurs détectées aux équipes de développement à travers l’outil JIRA.
Relecture des spécifications HLR (High Level Requirement), SAD (Software Architecture and Design) et SDD (Software Design Description):
- Création de fiches de remarques.
- Vérification de la prise en compte des remarques.
Environnement :
Logiciel : JIRA, Stash, Eclipse for DS-5, VectorCast, winIDEA, Rectify
Méthodologie : Agile, DO178B DAL-C
Langage : C, Assembleur
Système : Windows 7
-
Alten
- Ingénieur V&V
Boulogne-Billancourt
2015 - 2016
Projet chez le client Zodiac (Plaisir).
Ingénieur V&V sur la validation de spécifications logicielles de haut niveau (HLR) à l’aide d’un banc système, pour l’avion E-Jet E2 de Embraer.
Création des cas de tests:
- Collaboration avec l'équipe en charge de la méthodologie afin de créer les Templates des test cases et procédures.
- Création des procédures/scripts en vue de les passer sur un banc système.
- Utilisation de TRACE32 pour les tests en boîte ouverte.
- Utilisation d'un logiciel Zodiac (ADS2), pour créer des scripts permettant de modifier les valeurs des entrées ARINC/CAN et de récupérer les sorties pour les tests en boîte fermée.
Dryrun des procédures et scripts:
- Passage des procédures sur un banc système.
Remonté des erreurs détectées à l’équipe de développement:
- Utilisation de Synergy pour la création de la base de test, et de
Change pour créer des Peer Review.
Encadrement d'une équipe de 3 personnes.
Environnement :
Logiciel : Change/Synergy, SlickEdit, Beyond Compare, Rectify, ADS2
Protocole : ARINC, CAN
Méthodologie : DO178B DAL-C, Cycle en V
Langage : C
Système : Windows 7
-
Alten
- Ingénieur V&V
Boulogne-Billancourt
2014 - 2014
Projet en engagement de résultats pour SAGEM (Eragny).
Ingénieur V&V sur la validation des exigences de hauts niveaux (HLR) du logiciel OPER, faisant partie du récepteur GPS générique pour le Rafale.
Relecture des HLR à l’égard des exigences système:
- Création des remarques sur tous les modules.
- Vérification de la prise en compte des remarques.
Réalisation des tests en face des HLR:
- Création des cas de test et des procédures associées.
- Utilisation des outils SCTL, RTRT, et SCADE.
- Dry-run sur hôte et cible.
Relecture croisée des tests.
Environnement:
Logiciel : RTRT, Change/Synergy, Scilab, Understand, Beyond Compare, Scade
Méthodologie : Cycle en V, DO-178B DAL-A
Langage : C
Système : Windows 7
-
Ausy
- Ingénieur V&V
Sèvres Cedex
2013 - 2013
Projet en engagement de résultats pour Thales Avionics (Vélizy).
Ingénieur V&V sur la validation d'un système d'exploitation « OS MACS2 » pour un calculateur IMA de l’Airbus A350.
Prise en charge de la partie des tests unitaires en assembleur:
- Transmission des connaissances sur l’utilisation de l’outil RTRT et de la stratégie des tests unitaires sur de la DO-178B DAL-A.
- Couverture fonctionnelle et structurelle (MCDC).
- Domaine de validité.
- Encadrement et partage des tâches sur un groupe de trois personnes.
- Relectures croisées.
- Création des matrices de traçabilité.
Environnement :
Logiciel : Clearcase, Clearquest, DOORS, RTRT
Méthodologie : Cycle en V, DO-178B DAL-A
Langage : C, assembleur
Système : Windows XP / Linux
-
Ausy
- Ingénieur V&V
Sèvres Cedex
2012 - 2013
Projet en engagement de résultats pour SAGEM (Massy Palaiseau).
Ingénieur V&V sur la validation d'un calculateur de bord d’un moteur d’avion Silvercrest.
Tests PSW (Platform Software):
- Ecriture de test cases et de procédures basées sur l’utilisation du logiciel TestStand afin de créer des séquences de test permettant de vérifier de façon automatique les différentes fonctionnalités du calculateur.
Tests BSW (Boot Software):
- Ecriture de test cases et de procédures basées sur l’utilisation de scripts TRACE32 permettant de tester le comportement du calculateur en phase de démarrage (lancement de services, configuration de l’interface, initialisation des registres et mémoire …).
Application de la norme DO-178B DAL-A:
- Utilisation de la méthodologie GT44 sur la partie ascendante du cycle en V : relecture technique, traçabilité, validation des méthodes de tests.
Rédaction des résultats de tests.
Environnement :
Logiciel : Trace32, Teststand, TortoiseSVN.
Langage : C, assembleur
Méthodologie : DO-178B DAL-A, GT44
Système : Windows 7
-
Ausy
- Ingénieur V&V
Sèvres Cedex
2011 - 2012
Projet en engagement de résultats pour Sagem (Eragny).
Ingénieur V&V sur la validation du système de navigation inertielle GADIRS (GPS Air Data & Inertial Reference System).
Certification SOI#2 / SOI#3
- Inspection Design, Code, Tests des spécifications Haut niveau (HLR) et des scripts de tests associés.
- Mise à jour du Software design document (SDD).
- Mise à jour des documents « Software Verification Cases » et « Detailed Test Procedures » (SVC / DTP).
- Mise à jour des scripts de tests (RTRT).
- Réalisation des tests par analyse.
- Analyse des résultats de tests.
- Création et modification de fiches d’anomalie (PR) sur la base Change.
- Implantation des tests cases sur DOORS et remonté des documents en configuration sous Synergy.
- Transmission de connaissances sur la stratégie des tests de haut niveau et sur l’outil RTRT aux nouveaux arrivants.
Certification SOI#4
- Prise en compte des remarques restantes (technique et qualité) sur les tests et sur les documents d’architecture.
- Passage des tests sur hôte et sur cible.
Environnement :
Logiciel : DOORS, Synergy & Change, RTRT, Understand, Scilab, Beyond Compare.
Langage : C
Méthodologie : DO-178B DAL-A
Système : Windows XP
-
Synopsys
- Stage - Ingénieur d'études et développement
Rungis Complexe
2010 - 2010
Étude des besoins de l’équipe QA.
Réalisation du planning de spécification, de réalisation et de tests.
Spécification des trois outils à développer :
- Étude de l’outil permettant d’instrumenter toutes les fonctions C du code, afin d’obtenir le nom de toutes les fonctions impactées pour chaque test de l’équipe QA.
- Étude de l’outil permettant d’obtenir pour chaque fonction, les tests qui sont impactés.
- Étude de l’outil permettant d’exploiter la base de données CVS, afin de connaitre les fonctions qui ont été modifiées dernièrement sur la release.
Réalisation des différents outils:
- Interaction avec les équipes de développement pour optimiser les gains de performance des outils face au flot de compilation.
Validation des différents outils:
- Validation de l’outil d’instrumentation.
- Validation de l’outil d’extraction et d’exploitation de la base de données.
Écriture de la documentation des outils.
Environnement :
Logiciel : Zebu compilation et simulation, Valgrind, Lex-Yacc C++
Langage : C/C++, Python
Matériel : Zebu (EVE)
-
Université Pierre Et Marie Curie
- Stage - Ingénieur d'études et développement
2009 - 2009
Phase de spécification:
- Étude des langages : VERILOG/VHDL structurel.
- Étude du modèle de données de stratus.
- Écriture de la BNF (Backus Normal Form) des deux langages.
Phase de réalisation:
- Analyseur lexical (VHDL et Verilog) en python.
- Analyseur syntaxique (VHDL et Verilog) en python.
Environnement :
Outil : PLY (Python Lex-Yacc)
Langage : Python, VHDL, Verilog, Stratus (LIP6)
