LDRA TBrun / LDRAunit Outil d’automatisation de tests unitaires et d’intégration
- Langages : Ada , C , C++ , Java
- Secteurs d'activité : Avionique , Spatial , Automobile , Ferroviaire , Nucléaire , Autres Industries , Médical
- Fournisseur : 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 !
Les tests unitaires générés avec TBrun/LDRAunit peuvent être exécutés sur PC (Windows, Linux, Unix) ainsi que sur carte cible au travers du module TLP (Target Licence Package) : LDRA fournit à ses clients une liaison plug-and-play entre LDRA TBrun/LDRAunit et l’environnement cible (CPU, compilateur, débogueur, OS hôte).
De plus, TBrun / LDRAunit intègre nativement les modes boite noire / boite blanche, permettant de se focaliser sur la vérification du comportement de la fonction, ou mesurer dans le même temps la couverture de code des tests ! Les métriques de couverture de code suivantes sont supportées :
- Points d’entrées / sorties de fonctions (SIL 1, …) ;
- Instruction / statement (SIL2, DAL C, …) ;
- Branches (SIL 3, DAL B, …) ;
- MC/DC (SIL 4, DAL A, …) au travers de l’option TBsafe ;
- LCSAJ ;
Enfin, pour générer plus simplement les cas de tests unitaires ou d’intégration compatibles avec l’environnement LDRA, ISIT propose l’éditeur Excel / TCF : les cas de tests sont spécifiés dans un gabarit Excel fourni, puis convertis en fichier TCF compatible TBrun / LDRAunit ou inversement !
- Génération automatique du harnais de test unitaire ou d’intégration et des bouchons, éliminant tout besoin de développement de script manuel, et pouvant s’exécuter dans l'environnement hôte ou sur carte cible ;
- Traçabilité automatique entre le cas de test unitaire / d’intégration et l’exigence couverte au travers de LDRA TBmanager®
- Export des cas de test en fichier TCF, contenant toutes les informations requises pour réexécuter les cas de test (tests de non-régression), et pouvant être transformés en fichiers Microsoft Excel au travers de l’Editeur Excel / TCF ISIT ;
- Génération de rapports de tests, de régression et de couverture de code exportables au format HTML ;
- Accès à l’ensemble des facilités graphiques de la suite LDRA, permettant la visualisation des cas de tests et de la couverture de code par différents biais : rapports de tests, affichage du code source avec des couleurs, graphes d’appels (callgraphs) et de flux de données (flowgraphs), …
- Comparaison entre la couverture de code source et la couverture de code assembleur, garantissant la conformité aux niveaux les plus critiques des normes de sûreté de fonctionnement logiciel (ISO 26262 ASIL 4, DO-178B / C DAL A, …) ;
- Gestion configurable des exceptions sans modification du code source, facilitant la maximisation de la couverture de code même lorsque générer l’exception serait impossible.
LDRA TBrun / LDRAunit 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 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 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®, …