Certification RTCA/DO-178B avec la suite d'outil LDRA

Sélection d'outil

Lorsque vous choisissez un outil pour être conforme à la norme DO-178B, vous devez prendre en compte les critères suivants:

• Est-ce que cet outil permet d'analyser les exigences d'analyse de couverture structurelle, telles qu'elles sont décrites dans la section 6.4.4.2 de la norme?
• Cet outil est-il disponible pour une large gamme de langages de programmation ?
• Cet outil a-t-il déjà été utilisé de cette manière avec succès ?
• Le fournisseur vous aidera-t-il dans la qualification d'outil ?
• Le fournisseur est-il suffisamment flexible et généralisé pour répondre à vos exigences de modification ?
• Cet outil est-il facile à utiliser ?

La réponse de LDRA à toutes ces questions est OUI.

Assistance flexible

La norme DO-178B évolue en réponse à l'expérience acquise par la FAA lors de l'application de la norme à des applications dans le monde réel. LDRA possède les compétences et l'expertise nécessaires pour adapter la suite d'outil LDRA à ces exigences de modification et s'efforce de fournir une suite d'outil efficace qui vérifie la conformité à la norme aujourd'hui, mais aussi dans le futur.

Par exemple, la FAA exige actuellement des informations de couverture sur les combinaisons de constructions que seule la suite d'outil LDRA peut mesurer. De plus, il se peut que la norme DO-178B nécessite la couverture de la fonction XOR impliquée dans le langage C. LDRA s'engage déjà auprès de ses clients actuels à satisfaire cette exigence, si cela est le cas.

Exigences de l'analyse de couverture structurelle de la norme DO-178B

Vous trouverez ci-dessous un extrait pertinent de la norme DO-178B:

6.4.4.2 Analyse de couverture structurelle

L'objectif de cette analyse est de déterminer quelle structure de code n'a pas été exercée par les procédures de test basées sur les exigences. Il se peut que les scenarii des test basés sur les exigences n'aient pas exercé complètement la structure de code. Par conséquent, une analyse de couverture et une vérification supplémentaire sont nécessaires pour fournir une couverture structurelle. L'assistance inclut:

• L'analyse doit confirmer le degré de couverture structurelle approprié en fonction du niveau de logiciel.
• L'analyse de couverture structurelle doit normalement être exécutée sur le code source. Si une vérification de niveau A de la norme DO-178B est requise, l'analyse supplémentaire doit être effectuée sur le code objet afin de vérifier l'exactitude des séquences de code générées par le compilateur. suite d'outils LDRA permet d'exécuter ces deux analyses.
• L'analyse doit confirmer le couplage de données et le couplage de commande entre les composants du code.

Ces exigences sont résumées ci-dessous:

Remarque: Les éléments 5, 6, 7 et 8 ne sont pas requis pour la norme DO-178B de niveau D.

Mesures de couverture de la norme DO-178B de la suite d'outil LDRA

suite d'outils LDRA offre le critère de mesure de couverture, tel qu'il est défini par la norme DO-178B:

Mesure de la norme DO-178B niveau A:

• Couverture de condition/décision modifiée (MC/DC)
• Couverture de branche/décision (TER2)
• Couverture d'instruction (TER1)

Mesure de la norme DO-178B niveau B:

• Couverture de branche/décision (TER2)
• Couverture d'instruction (TER1)

Mesure de la norme DO-178B niveau C:

• Couverture d'instruction (TER1)

Autres mesures de couverture:

• Couverture LCSAJ (TER3)
• Couverture de condition de branchement (BCC)
• Couverture de condition de branchement combinée (BCCC)

La suite d'outils LDRA est actuellement le seul outil d'analyse qui permet de respecter la norme DO-178B de manière si complète.

Veuillez noter aussi qu'il n'existe actuellement aucun autre outil offrant les capacités d'analyse requises pour tester le code d'assembleur conformément à la norme DO-178B.

Cette suite d'outil est-elle facile à utiliser?

La facilité d'utilisation de la suite d'outil est un élément clé lorsqu'on l'intègre à des procédures de projet. suite d'outils LDRA a été spécifiquement améliorée afin de mesurer facilement la conformité aux différents niveaux de la norme DO-178B. Les rapports sont spécifiquement adaptés pour offrir aux utilisateurs des informations rapides et concises sur la norme DO-178B, ce qui permet d'accélérer la procédure de test. Les rapports peuvent être produits au format ASCII ou HTML. Ces deux formats sont faciles à incorporer dans un logiciel de traitement de texte ou un système DTP. Le format HTML présente l'avantage d'offrir des liens et la capacité de publier sur Internet ou sur un réseau Intranet.

Des résultats prouvés dans la certification RTCA/DO-178B

suite d'outils LDRA est utilisée par des entreprises dans le monde entier afin de se conformer à la norme RTCA/DO-178B et à d'autres normes avioniques. Parmi les clients qui utilisent actuellement la suite d'outil LDRA, on trouve:

Obtenir plus d'informations

Pour plus d'informations sur la certification DO-178B, veuillez remplir le fformulaire de réponse LDRA ou envoyer un e-mail à  Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir. .

Vous pourrez trouver des informations sur le mode d'achat de la norme DO-178B sur le site web de RTCA, à l'adresse: www.rtca.org.