LDRA Software Technology

TBvision

TBvision facilite l’analyse des résultats liés à l’analyse et au test de code pour des systèmes complexes et critiques dans des secteurs tels que le militaire, l’automobile, les télécommunications et le médical.

A key feature of TBreq is its ability to capture requirements (high-level, derived and low-level) from any management tool and source, while providing an intuitive interface for traceability, test case generation and requirements verification.

All of these features combine to make TBreq the most effective solution for Requirements Coverage and Traceability on the market today.

L’objectif principal des tests d'unité est de sélectionner le plus petit élément de logiciel testable dans l'application, de l'isoler du reste du code et de déterminer s'il se comporte exactement comme prévu.

Chaque unité est testée séparément avant de l’intégrer dans les modules pour tester les interfaces entre les modules. Le test d’unité a fait la preuve de sa valeur du fait qu’un grand pourcentage de défauts a été identifié lors de son utilisation.

TBsafe offre aux développeurs, testeurs et gestionnaires de logiciels à haute intégrité un ensemble d'outils d'analyse pour tester rigoureusement leur code selon des normes exactes telles que D0-178B, Def Stan 00-55 et IEC 61508. La solution TBsafe est particulièrement adaptée pour obtenir la certification d'organismes externes.

TBevolve est un module complémentaire de LDRA Testbed qui identifie et effectue le suivi des modifications importantes du code source, et qui permet aux projets de contrôler avec précision l'impact de ces modifications sur leur processus de test. Cela consiste à prendre une copie de base du système de logiciel testé, puis à mettre en évidence l'impact des modifications de code consécutives afin que les effets puissent être contrôlés et testés avec un minimum d'efforts.

Le plugiciel TBsecure dans TBvision est fourni avec la norme de code sécurisée CERT C du Carnegie Mellon Software Engineering Institute (SEI). TBsecure identifie les vulnérabilités de sécurité et permet l’implémentation de la nouvelle Norme de codage sécurisé CERT C, version 1.0.