Ouvrir le menu Fermer le menu
Visuel non disponible

Analyse statique de code : Langages Ada

Affiner ma recherche

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.

LDRA Suite d'outils

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.