LDRA TBvision Static / LDRArules Analyse statique syntaxique de code
- 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.
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
- 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
- …
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 :
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
Mise en œuvre de la suite d’outils LDRA – Partie Statique
LDRA tool suite TBvision Dynamic / LDRAcover Analyse dynamique de code
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 tool suiteTBvision 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 ? ».
LDRA TBrun / LDRAunit Outil d’automatisation de tests unitaires et d’intégration
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 !
LDRA TBmanager® Outil de traçabilité des exigences et de suivi des tests logiciels
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®, …