Ouvrir le menu Fermer le menu

LDRA Suite d'outils

  • Secteurs d'activité : Avionique , Autres Industries , Nucléaire , Médical , Ferroviaire , Automobile , Spatial
  • Langages : Ada , Java , C++ , C
  • Fournisseur : LDRA

LDRA développe des outils logiciels permettant aux développeurs de tester, valider et vérifier leurs applications en leur assurant d’atteindre leurs objectifs de sûreté fonctionnelle et de cybersécurité imposés par les normes.

Lire la suite Masquer
Depuis plus de 40 ans, LDRA développe des outils logiciels permettant aux développeurs de tester, valider et vérifier leurs applications en leur assurant d’atteindre leurs objectifs de sûreté fonctionnelle et de cybersécurité imposés par les normes. Basée sur une architecture ouverte et extensible, la plateforme LDRA assure la traçabilité des exigences, les objectifs normatifs, l’analyse statique du code et la conformité vis-à-vis des standards de codage ainsi que la qualimétrie, l’analyse dynamique et les tests unitaires avec couverture du code ainsi que les tests niveau système, et ce, sur pratiquement n'importe quelle architecture microcontrôleur ou microprocesseur.
LDRA-Suite d'outils shema_ISIT
La suite de LDRA est la plate-forme phare de LDRA qui fournit des solutions ouvertes et extensibles pour intégrer la qualité dans les logiciels, des exigences jusqu'au déploiement. La suite d'outils offre un continuum de fonctionnalités, notamment la traçabilité des exigences, la gestion des tests, la conformité aux normes de codage, l'examen de la qualité du code, l'analyse de la couverture du code, l'analyse des flux de données et des flux de contrôle, les tests unitaires/d'intégration/cibles, ainsi que la certification et le support réglementaire.

Qu'est-ce que la suite d'outils LDRA ?

La suite d'outils LDRA permet aux équipes de développement de logiciels critiques pour la sûreté et la sécurité d'obtenir une certification ou une approbation conformément à des normes rigoureuses dans :
  • Aérospatiale et défense (DO-178B/C, DO-254, DO-278, Def Stan 00-56)
  • Automobile (ISO 26262, ISO/SAE 21434, SPICE automobile)
  • Industrie et énergie (CEI 61508, CEI 62443-4-1, CEI 60880, ISO 13849)
  • Médical (CEI 62304)
  • Transport ferroviaire (EN 50128)

Les composants de base de la suite d'outils sont disponibles dans plusieurs configurations qui s'alignent sur les besoins courants de développement de logiciels. Un ensemble complet de fonctionnalités complémentaires est disponible pour adapter la solution à tout projet.

Quels sont les principaux composants de la suite d'outils LDRA ?

Les principaux composants de la suite d'outils LDRA sont : LDRA Testbed, TBvision, TBrun et TBmanager.

LDRA Testbed et TBvision fournissent le moteur d'analyse statique et dynamique de base, ainsi qu'un moteur de visualisation pour comprendre et naviguer facilement dans la conformité aux normes, les mesures de qualité et les analyses de couverture de code. TBrun fournit une gestion des cas de test et une exécution automatisée pour les tests unitaires et d'intégration. TBmanager automatise la traçabilité entre les objectifs des normes, les exigences, les documents de conception, le code source, les tests et les artefacts associés dans le flux de travail de vérification du projet.

Quels composants complémentaires sont disponibles dans la suite d'outils LDRA ?

Les composants complémentaires pour la suite d'outils LDRA incluent : TBmisraTBhisTBsecureTBsafeTBextremeTBobjectboxTBexcludeTBpublish, la couverture dynamique des flux de données (DDFC), le package de conformité (FCP) Future Airborne Capability Environment (FACE ), configurations de chaîne d'outils (TCC), packages de licence cible (TLP), packages d'intégration TBmanager (TIP) et packages de support de qualification d'outil (TQSP) .


La suite d'outils LDRA est-elle qualifiée ?

LDRA maintient la certification ISO 9001 depuis plus de 25 ans et concernant leurs outils, la suite LDRA est approuvée par SGS-TÜV Saar et TÜV SUD pour les normes de sécurité fonctionnelle suivantes :
  • CEI 61508:2010 Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité
  • ISO 26262:2011 Véhicules routiers – Sécurité fonctionnelle
  • CEI 62304:2015-06 Logiciel de dispositif médical - Processus du cycle de vie du logiciel
  • EN 50128:2011 Applications ferroviaires - Systèmes de communication, de signalisation et de traitement - Logiciels pour systèmes de contrôle et de protection ferroviaires
De plus, des packs de qualification (TQSP) sont disponibles afin de qualifier les différentes composantes de la suite TestBed en regard aux exigences de normes de sécurité fonctionnelle telles que DO-178C qui ne permettent pas l'utilisation de certificats d'organismes de certification mais demandent une qualification des outils.

Quelles langues et plates-formes sont prises en charge par la suite d'outils LDRA ?

Une liste complète des langages et plates-formes pris en charge par la suite d'outils LDRA : n'hésitez pas à nous la demander !

Produits associés

TBmanager_LDRA

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®, …

TBrun_LDRA

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_static

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.

TBvision Dynamic/LDRAcover

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 ? ».

Formation outils LDRA Version complète

Formation outils LDRA - Version complète

Mise en œuvre de la suite d’outils LDRA – Parties : Dynamique et Statique