Analyse dynamique de code LDRA TBvision Dynamic / LDRAcover


TBvision Dynamic/LDRAcover
  • 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 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 ? ».

Mesure de la couverture de code à l’exécution

Grâce à LDRA TBvision Dynamic / LDRAcover, vous pouvez mesurer la couverture structurelle tout en utilisant vos propres cas de test, notamment dans le cadre de tests fonctionnels.

Au travers du module TLP (Target Licence Package), LDRA TBvision Dynamic / LDRAcover peut lancer une mesure de la couverture structurelle de tests directement sur l’environnement cible.

LDRA 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

Que ce soit dans le cadre d’un projet nécessitant la conformité à une norme d’Assurance Qualité / Sûreté de Fonctionnement logiciel (DO-178, IEC 61508, ISO 26262, EN 50128, …), où la mesure de la couverture structurelle est très souvent exigée, ou dans un contexte de cybersécurité (application à moyenne ou forte criticité, respect des standards ISO 15408 / Common Criterias, IEC 62443 / ISAsecure, …), LDRA TBvision Dynamic / LDRAcover vous permettra d’afficher les résultats de métriques de couverture de code suivants :
  •  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

Au travers de l’outil LDRA Testbed Assembler, la suite LDRA est l’unique solution du marché permettant de mesurer la couverture d’un code source assembleur, ainsi que de comparer la couverture d’un code source C/C++/Ada avec le code assembleur correspondant, tel qu’exigé par la norme avionique DO-178 B/C DAL A.

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 TBvision Dynamic / LDRAcover permet la génération de rapports HTML consultables de l’extérieur de l’application ; l’API TBglh permet de créer ses propres rapports personnalisés. De plus, les résultats peuvent aussi être affichés au travers de callgraphs (graphes d’appels entre modules, classes, fonctions), de flowgraphs (graphes de flux de données, représentant le contenu et les chemins d’une fonction), ou même directement dans le code source.

LDRA 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

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 +

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 +