Mohamed SERHIER

• Analyse statique du code de type "Qualimétrie" et Benchmark des outils.
• Outils et langages : McCabe, QAC, Klocwork, Misra C, HIS, C.

• Analyse statique de type « Qualimétrie » des projets.
• Vérification des hypothèses d’optimisation des stratégies de test.
• Bench d'outils d'analyse statique de code (Qualimétrie, Rule checker, Run Time Error).
• Support pour l’intégration de l'outil Klocwork
• Comparaison des calculs de la complexité cyclomatique, couverture des règles MISRA C 2004 et 2012, HIS Source Code Metrics et Run Time Error