Actuellement en troisième année du cycle ingénieur à Polytech Angers dans la filière Qualité Innovation Fiabilité, option QUASSI (Qualité et Sûreté de fonctionnement des Systèmes Informatiques).
Sujet : Analyse statique de code embarqués dans les calculateurs automobiles (Contrôle intérieur type : "climate control", "switches", "drive monitoring system",..)
Missions :
Analyse statique de type " Qualimétrie" de projets sur McCabe en vérifiant les hypothèses d'optimisation des stratégies de test et également en identifiant et implémentant des améliorations/corrections.
Support au déploiement de l'outil Klocwork pour l'analyse statique de code de type "Qualimétrie" (Comparaison des calculs de la complexité cyclomatique McCabe/Klocwork, Calcul des métriques dérivées, impact de l'utilisation de l'outil sur les critères de complexité).