LDRA a lancé TBreq V2.0 à l’occasion de Embedded World 2008. TBreq V2.0 incorpore de nouvelles fonctionnalités et améliorations pour l’automatisation du développement logiciel embarqué et le suivi des activités.
Vous souhaitez examiner la causalité des défaillances logicielles au lieu de leurs effets ? Vous souhaitez réparer les erreurs type «run-time» avant qu’elles ne deviennent de véritables problèmes ? Avez-vous considéré le programme LDRA Zero Defect Software Development ?
Suite à la publication de la suite d’exemples MISRA-C:2004, LDRA a apporté des améliorations à sa suite d’outils de sorte que 98% des exemples fournis sont désormais couverts.
Vous souhaitez générer automatiquement les tests de vos unités/modules dans un environnement hôte/cible ? L’outil de tests unitaires automatisés TBrun peut vous assister dans cette tâche
Lockheed Martin a officiellement publié le Standard de Codage Joint Strike Fighter Air Vehicle C++. LDRA est l’outil choisi par LMCO pour le projet JSF.