TBsafe®

Présentation générale

Le test logiciel de code à haute intégrité nécessite une plus grande analyse du code source et un plus grand degré de couverture pour prouver la conformité aux organismes de certification. Pour cela, on peut utiliser l'option de test supplémentaire de la suite d'outil LDRA - TBsafe.

Résumé des caractéristiques de TBsafe

Analyse de flux d'informations

Ce module est à la fois un outil de documentation très efficace et un excellent détecteur de défaillances. Cependant, pour détecter des défaillances, l'utilisateur doit savoir quelles doivent être les dépendances. De plus, les modifications de ces dépendances suite à la maintenance peuvent faire ressortir des altérations incorrectes. Pour plus d'informations cliquez ici.

Analyse sémantique exacte

Lorsqu'elle est utilisée conjointement avec l'analyse de couverture dynamique, les assertions sont vérifiées avec un ensemble de chemins extrêmement étendu. Elle peut également servir de système de production de diagnostics. Pour plus d'informations cliquez ici.

Couverture MC/DC

Grâce à cette couverture supplémentaire, essentielle pour la certification DO-178B de niveau B, vous pourrez cibler les éventuelles erreurs et avoir une plus grande confiance dans le code lors du test des conditions. Pour plus d'informations cliquez ici.

Sous-ensembles sûrs

Les sous-ensembles sûrs pour les applications à haute intégrité ont été conçus car l'utilisation de certaines fonctions standards d'un langage de programmation peut être dangereuse, ex. l'attribution de mémoire dynamique à une cible qui dispose d'une attribution de mémoire fixe risque d'épuiser la mémoire disponible. LDRA Testbed utilise un système de vérification pour signaliser l'utilisation de fonctions de langages inappropriées. Pour plus d'informations sur la vérification des normes de programmation cliquez ici.

Couverture dynamique du flux de données

La couverture dynamique du flux de données produit une liste de référence des variables qui documente leur emplacement dans le(s) fichier(s) source(s) ou le système testé et leur type. Ensuite, le module mappe les informations de couverture sur chaque entrée de variable de la table pour les ensembles de données actuels et combinés. Pour plus d'informations cliquez ici.

Obtenir plus d'informations

Pour plus d'informations sur TBsafe et sa disponibilité, 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. .