Outil d'analyse et de certification du code LDRA Testbed

LDRAL'analyse statique de LDRA TestBed permet de s'assurer, dans le cadre d'un projet, qu'un ensemble de normes de programmation uniformes est appliqué, que le logiciel est correctement structuré et que la complexité et les autres attributs sont contrôlés en fonction d'un modèle de qualité configurable.

Code Review

La suite d'outils LDRA Testbed permet de vérifier de façon automatisée le respect des différents standards et règles de codage sur un simple fichier source ou sur un système complet. Que ces standards de programmation soient spécifiques à un utilisateur ou bien qu'il s'agisse de standards industriels, le module Code Review contrôle la conformité à ces règles et rapporte de façon documentée les violations et avertissements qu'il aura détecté lors de son analyse. Des liens hypertexte sur les lignes de code défaillantes sont insérés directement dans le rapport, ce qui clarifie et facilite la correction des ereurs, améliorant ainsi la productivité.

Caractéristiques :

Analyse syntaxique du code

Le module Code Review intègre un parseur (outil d'analyse syntaxique) qui opère directement sur le code source. Ainsi, le modèle de parseur développé par LDRA permet les fonctionnalités d'analyses complètes, telles que la détection du code "mort" ou encore du code inaccessible.

Conformité aux standards

La suite d'outils LDRA Testbed permet de contrôler la conformité du code à des standards industriels reconnus, tels que :

  • DO-178B
  • MISRA-C++:2008
  • MISRA-C:98
  • MISRA-C:2004
  • HIS
  • CERT-C
  • Def Stan 00-55
  • JSF++ AV
  • IEC 61508
  • High Integrity C++

Il est également possible d'utiliser un ensemble de règles de codage fournies par LDRA, de l'adapter et de le configurer selon ses propres besoins.

Visualisation du code

La possibilité de visualiser tous les niveaux d'un système est une aide particulièrement efficace, le module Code Review de la suite d'outils LDRA Testbed permet de visualiser ces différents niveaux, à savoir : les instructions, les blocs, les procédures, l'application et enfin le système. Les graphes ci-dessous permettent d'améliorer considérablement la lisibilité et donc la maintenance du code.

Graphe d'appel statique : propose une vue hiérarchique de l'application et des entités du système.
Graphe de flux : propose une vue graphique des données à travers les entités du système.

CallGraph Flowgraph

Rapport d'analyse Code Review

Les résultats de l'analyse du module Code Review sont disponibles sous format ASCII ou HTML. Le rapport offre une visualistion complète des violations des règles de codage ainsi que des avertissements, et permet d'accéder rapidement aux lignes du code source incriminées.
Code Review Report

Points fort du module Code Review :

 

  • Automatise la relecture manuelle du code, traditionnellement longue et fastidieuse, donc coûteuse.
  • Graphe de visualisation de la structure du code.
  • Contrôle la fiabilité, la sécurité et l'opérabilité du code.
  • Génération automatiqe des rapports et audits.
  • Processus efficace et reproductible.
  • Résultat : L’analyse du code automatise le processus de développement et apporte un gain de temps et de ressources.