logo-vector

Squoring Technologies est une société du groupe Vector

Misra

MISRA : est-ce que ce projet est conforme ?

Il existe plusieurs outils de vérification MISRA, chacun produisant des résultats dans un format spécifique.
Pour fournir une évaluation de conformité MISRA standard, Squore propose une fonctionnalité générique, qui fait partie du modèle d’évaluation Software Analytics.

Le processus de pilotage mis en place par Squore est divisé en trois étapes :

  • Agréger les données du projet
  • Effectuer l’évaluation
  • Fournir des fonctions de pilotage

 

Vérification de la conformité MISRA avec Squore

1- Squore récupère les résultats de vérification de MISRA à partir de divers outils

À ce jour, nous disposons de plugins standards pour intégrer les rapports générés par des outils tels que Klocwork, PC-Lint, QA-C, Polyspace, …
Cette technologie de plug-in est extensible, ce qui signifie que les résultats de nouveaux outils peuvent être agrégés dans Squore si nécessaire.

 

2- Chaque composant du projet est évalué en fonction de sa conformité au jeu de règles MISRA

Squore est livré avec un modèle d’évaluation générique appelé « Software Analytics ».
Ce modèle est capable de vérifier la conformité MISRA pour les versions suivantes :

  • MISRA 2004 : 146 règles dans le jeu de règles
  • MISRA 2008 : 228 règles dans le jeu de règles
  • MISRA 2012 : 159 règles dans le jeu de règles

 

Le contenu du jeu de règles peut être adapté à tout projet évalué avec Squore.
Cela signifie que vous pouvez adapter Squore à un sous-ensemble de règles MISRA.
La conformité (et l’évaluation) seront basées sur cette configuration.

Par exemple, la capture d’écran suivante montre comment deux règles spécifiques (R_10_1_1 et R_10_2_1) ont été exclues du jeu de règles, ce qui signifie qu’elles ne seront pas utilisées dans le calcul de la conformité.

MISRA règles spécifiques

 

 

3- Une fois l’évaluation réalisée, il est possible de naviguer dans le tableau de bord du projet, et les fonctions de pilotage liées à MISRA apparaissent

Suivi des résultats de MISRA

La fonction de traçabilité nous permet de relier chaque constatation à l’élément de code source sur lequel il a été trouvé.
Dans cet exemple, les résultats de MISRA trouvés par Polyspace sont affichés. Vous pouvez voir que la règle « R 19.8 » a été trouvée dans le fichier « dimm.c » à la ligne 459.

MISRA Findings

 

Suivi des métriques MISRA

Le modèle de notation calcule le nombre de violations des règles MISRA, ventilées par gravité.
Le taux de conformité dépend de la définition du jeu de règles et des règles enfreintes.
Notez que ces métriques sont calculées.

Règle MISRA

 

Dérogation aux violations de règles

Les violations de règles peuvent parfois être des faux positifs ou être justifiées par les équipes de développement.
Avec Squore, il est possible de gérer des dérogations :
– spécifiées en tant qu’input dans Squore
– spécifiées dans le code source sous forme de commentaires avec des patterns spécifiques
– justifiées de manière interactive par l’utilisateur via l’interface utilisateur de Squore

Dans la capture d’écran suivante, la règle R2.3 a été dérogée. Elle sera ignorée dans le calcul de conformité, même si elle sera toujours visible.

Règle MISRA

 

Rapports automatisés

Les éléments présentés dans l’interface de Squore (métriques, constatations/points-clés, dérogations, plan d’action, graphiques, etc.) peuvent être exportés dans un rapport (Word, Powerpoint, PDF).
Ce rapport configurable peut être généré en quelques secondes à chaque fois qu’une nouvelle version des données du projet est disponible.

Dans cet exemple de rapport Powerpoint généré, la conformité aux règles est l’un des axes de surveillance.

Procyon Project Overview

 

Le rapport peut également contenir la liste des relaxations, où chaque violation dérogée est répertoriée, avec la justification correspondante.

Findings Relaxation

 

Laisser un commentaire

Current day month ye@r *