Observatoire de Paris Institut national de recherche scientifique français Univerité Pierre et Marie Curie Université Paris Diderot - Paris 7

Accueil > Emplois, stages

Emplois, stages

Offre de stage

Générateur de tests unitaires pour le logiciel de vol de PLATO

Description La mission PLATO de l'Agence Spatiale Européenne (ESA) est une mission pour la recherche d'exoplanètes et l'étude sismique de leurs étoiles-hôtes, faisant suite aux missions CoRoT, Kepler et Tess (http://www.lesia.obspm.fr/PLATO.html).
Le Service Informatique Instrumentale du LESIA (SII) a la responsabilité du développement du logiciel de vol des calculateurs de PLATO (N-DPU).
Le logiciel vol des calculateurs N-DPU de PLATO est développé en C++ pour le processeur LEON3-FT GR712RC. Le framework CUnit est utilisé pour la réalisation des tests unitaires. GCOV et le plugin Cobertura de Jenkins fournissent les rapports de couverture des tests.
L'objectif du stage est de développer un générateur de tests unitaires pour certains des modules du logiciel de vol pour lesquels l'automatisation est possible.
Certains tests unitaires sont déjà générés automatiquement. Il s'agit d'étendre l'outil existant afin qu'il couvre un plus grand nombre de cas d'utilisation.
Le générateur de tests unitaires produira du code C faisant appel aux fonctions du framework Cunit. Il sera développé en utilisant d'une part la technologie XSL et d'autre part le langage Python.

Les principales tâches du stage seront :
1. Développer en Python et avec XSLT le générateur de tests unitaires.
2. Générer les tests unitaires et les exécuter sur le simulateur de processeur LEON3-FT.
3. Vérifier le résultats des tests unitaires et les taux de couverture.
4. Intégrer le générateur dans la chaîne de production du logiciel de vol.
5. Documenter les outils produits.
Compétences - Principe des tests unitaires.
- Python (très bonne connaissance).
- Langage C.
- XML et la technologie XSLT.
Niveau M1
Nom du contact Philippe Plasson
Email philippe.plasson@obspm.fr
Téléphone +33145077978
Durée 2 à 4 mois
Période

Retour à la liste

Déposer une demande de stage post-bac

Attention : jusqu’à l’automne 2020, nous ne pouvons prendre QUE des stages INTÉGRALEMENT EN TÉLÉTRAVAIL.

Avant de déposer une candidature, merci de vérifier que vous êtes correctement équipé pour le télétravail (ordinateur, bonne connexion Internet, espace de travail à domicile) et que votre formation accepte ce type de stage.

Vous pouvez déposer votre candidature pour un stage post-bac, en remplissant ce formulaire.

Les demandes de stages de collège et lycée ne sont pas acceptées dans ce formulaire.

Déposer une demande de stage de collège ou lycée

Vous pouvez déposer votre candidature pour un stage de collège ou lycée, en remplissant ce formulaire.