Analyse statique syntaxique de code LDRA TBvision Static / LDRArules


LDRA_static
  • Secteurs d'activité : Autres Industries , Médical , Ferroviaire , Automobile , Spatial , Nucléaire , Avionique
  • Langages : Ada , Java , C++ , C
  • Fournisseur : LDRA

L'analyse statique de LDRA TBvision Static (intégré à la LDRA tool suite®) et de LDRArules (outil stand-alone) permet de s'assurer qu'un ensemble de règles de codage et de normes de programmation uniformes est appliqué, que le code source C/C++/Java/Ada est correctement structuré, et enfin que  la qualité du logiciel est suffisante, au travers de mesures de la clarté, maintenabilité, testabilité, complexité du code source… LDRA TBvision Static  / LDRArules permettent donc de garantir un meilleur niveau de qualité du code sans impacter le temps de développement.

Standards de règles de codage

LDRA TBvision Static / LDRArules intègrent un nombre important de règles de codage (près de 800 en langage C), et permet de contrôler la conformité du code à des standards industriels reconnus de règles de codage tels que :
  • MISRA C:1998
  • MISRA C:2004
  • MISRA C:2012
  • MISRA C:2012 AMD 1
  • MISRA C++ :2008
  • MISRA AC
  • CERT C/Java
  • CWE
  • JSF++
  • HI-C++
  • Def Stan 00-55
  • JPL
  • NETRINO
  • HIS
  • SEC-C
  • DERA
LDRA TBvision Static / LDRArules vérifient les règles MISRA (option TBmisra), ainsi que les standards de cybersécurité CERT/CWE (option TBsecure).

Il est également possible de créer son propre standard de règles de codage, que ce soit de toute pièce ou en adaptant un standard existant, ainsi que de créer ses propres règles de codage et de nommage au travers d’une API fournie !

Pour faciliter l’apprentissage des règles de codage, chaque règle dispose d’une aide contextuelle contenant une explication de son intérêt ainsi qu’un exemple de code source conforme ou non-conforme !

La société LDRA participe activement aux consortiums MISRA et CERT, et a largement contribué à l’élaboration des standards MISRA C/C++ et CERT C, faisant ainsi de LDRA TBvision Static / LDRArules les outils de référence dans leur vérification !

Enfin, dans le cadre de développement de logiciels à haute criticité devant suivre les plus hauts niveaux des normes DO-178 B/C, IEC 61508, ISO 26262, EN 50128, …, LDRA TBvision Static dispose d’un pack de qualification (nécessaire lorsque un ou plusieurs processus de test sont éliminés, réduits ou automatisés par l'utilisation d'un outil logiciel sans que sa sortie ne soit vérifiée) sur la vérification des règles de codage.

Métriques de qualité logiciel

LDRA TBvision Static / LDRArules affichent les résultats de plus de 30 métriques de qualité logicielle, par fichiers ainsi que par fonctions, notamment la Complexité Cyclomatique / McCabe / V(G), les métriques d’Halstead, le nombre de lignes de code / de commentaires, le nombre d’imbrications de boucles, les Knots, la densité de chemins, …

Dans le but de faciliter leur interprétation, les résultats sont synthétisés en trois métriques essentielles :
  • Clarté : Est-il simple de comprendre la structure et le cheminement du code source, à comprendre ce qu’il est censé accomplir ? 
  • Maintenabilité : Arrivera-t-on facilement à ajouter une nouvelle fonctionnalité dans quelques mois / années ? 
  • Testabilité : Quel sera l'effort de test à fournir pour tester la fonction / le module / le système, et donc le temps nécessaire ?

Autres fonctionnalités

  • LDRA TBvision Static / LDRArules permettent l’affichage de callgraphs (graphes d’appels entre modules, classes, fonctions) et de flowgraphs (graphes de flux de données, représentant le contenu et les chemins d’une fonction), qui peuvent être couplés avec la vérification des règles de codage et des métriques qualité.
  • LDRA TBvision Static / LDRArules permettent la génération de rapports HTML consultables de l’extérieur de l’application, et l’API TBglh permet de créer ses propres rapports personnalisés.
  • LDRA TBvision Static / LDRArules intègrent un mode ligne de commandes, permettant l’automatisation des analyses statiques.
  • LDRA TBvision Static / LDRArules disposent de plugins Eclipse, Visual Studio et MPLAB X (visualisation des résultats et lancement des analyses directement dans les IDE) et d’intégration SVN, GIT, Jenkins, …
  • LDRA TBvision Static / LDRArules sont compatibles avec les environnements Windows  10/8/7/Vista/XP et Linux (RHEL/CentOS, Ubuntu, SUSE/openSUSE).

Produits associés

Formation outils LDRA Partie statique

Formation outils LDRA Partie statique

La vérification et la validation d'un logiciel représentent une des phases la plus importante du cycle de développement d’un logiciel. Définir une stratégie de revue de code, de test et de validation est la garantie d’une amélioration de la qualité des logiciels.


En savoir +

Analyse dynamique de code LDRA TBvision Dynamic / LDRAcover

TBvision Dynamic/LDRAcover

L'analyse dynamique proposée par LDRA TBvision Dynamic (intégré à la LDRA tool suite®) et  LDRAcover (outil stand-alone) a pour but d’évaluer l’efficacité des tests logiciels sur des codes sources C/C++/Java/Ada, au travers d’une mesure de la couverture structurelle.

LDRA TBvision Dynamic / LDRAcover permettent donc répondre à la question : « Quelles parties de mon code source ont été réellement testées, ou couvertes par mes tests ? ».


En savoir +

Outil d’automatisation de tests unitaires et d’intégration LDRA TBrun / LDRAunit

TBrun_LDRA

L’outil LDRA TBrun intégré à la suite d’outils LDRA, ainsi que l’outil stand-alone LDRAunit, bénéficient de l’analyse statique LDRA (analyse des appels de fonctions et du flux de données) permettant d’extraire les informations pertinentes à la création automatique de harnais de tests. Pour chaque test unitaire, TBrun/LDRAunit se charge d’indiquer les variables d’entrées, de sorties, les variables globales et pointeurs utilisés, et les fonctions à bouchonner ; ainsi, les testeurs n’ont plus qu’à indiquer les valeurs d’entrées souhaitées et de sorties attendues !


En savoir +

Outil de traçabilité des exigences et de suivi des tests logiciels LDRA TBmanager®

TBmanager_LDRA

TBmanager® est un module permettant de piloter l’ensemble de la suite LDRA, d’effectuer un suivi des tâches de tests et d’assurer la traçabilité des exigences par leur lecture depuis des documents Word®, Excel®, PDF®, Doors®, Polarion®, ReqIF®, …


En savoir +