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


TBrun_LDRA
  • 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 !

L’interface graphique intuitive de TBrun/LDRAunit ne nécessite aucun apprentissage de langage de script, ni le codage d’un harnais de test : vous définissez les valeurs d’entrées et de sorties, l’outil s’occupe du reste !

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).
Pour effectuer des tests d’intégration, il suffit de désactiver les bouchons en un clic et de relancer les tests, cette fois-ci en appelant les véritables fonctions !

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 ;
En outre, l’option TBeXtreme permet de générer automatiquement des cas de tests (tests de robustesse, tests aux limites, …) en un seul clic !

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 !
Avantages de LDRA TBrun / LDRAunit pour les tests unitaires et d’intégration :
  • 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

Formation outils LDRA partie dynamique

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 statique syntaxique de code LDRA TBvision Static / LDRArules

LDRA_static

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.


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 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 +