LDRA tool suite TBvision Dynamic / LDRAcover Analyse dynamique de code
- Langages : Ada , C++ , C , Java , Assembleur
- Secteurs d'activité : Avionique , Spatial , Automobile , Ferroviaire , Autres Industries , Nucléaire , Médical
- Fournisseur : LDRA
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 ? ».
Mesure de la couverture de code à l’exécution
Au travers du module TLP (Target Licence Package), LDRA tool suite TBvision Dynamic / LDRAcover peut lancer une mesure de la couverture structurelle de tests directement sur l’environnement cible.
LDRA tool suite TBvision Dynamic / LDRAcover dispose aussi d’intégration avec des outils de Model Based Design (MathWorks® Simulink®, Ansys® Scade®, IBM® Rhapsody®), permettant de lancer les mêmes tests que ceux effectués sur un modèle, mais cette fois-ci directement sur le code généré, et d’en mesurer la couverture de code.
Métriques de couverture structurelle
- Appels de fonctions/ Function Call (SIL 1).
- Couverture Instructions/ Statement Coverage (SIL2, DAL C, …).
- Couverture des branches/ Branch Coverage (SIL3, DAL B, …).
- MC/DC (SIL4, DAL A, …), au travers de l’option TBsafe.
- Couverture LCSAJ.
- Dynamic Data Flow Coverage, au travers de l’option DDFC.
Mesure de couverture de code assembleur
LDRA Testbed Assembler fonctionne sur une large gamme de plates-formes cibles, depuis les puissants microprocesseurs 64 bits jusqu'aux microcontrôleurs à 8 ou 16 bits fortement contraints.
Autres fonctionnalités
LDRA tool suite TBvision Dynamic / LDRAcover intègre un mode ligne de commandes, permettant l’automatisation des analyses statiques.
Au travers de l’option Dynamic Data Flow Coverage, LDRA TBvision Dynamic / LDRAcover mesure les variables réellement utilisées (déclarations, instanciations, références, …) lors de l’exécution d’un test haut ou bas niveau.
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 Dynamic 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 mesure de la couverture de code source ou assembleur.
LDRA TBvision Dynamic / LDRAcover est compatible avec les environnements Windows 10/8/7/Vista/XP et Linux (RHEL/CentOS, Ubuntu, SUSE/openSUSE).
Produits associés
Formation outils LDRA - Partie dynamique
Mise en œuvre de la suite d’outils LDRA – partie dynamique
LDRA TBvision Static / LDRArules Analyse statique syntaxique de code
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.
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®, …