Presentation generale des solutions
T-VEC TechnologiesR fournit le systeme de generation de vecteurs de test le plus avance supportant la traduction de modeles, la verification de modeles et la generation de vecteurs de test a partir de T-VEC Tabular Modeler (TTM) et de Simulink Tester. TTM fournit des solutions de gestion des exigences et supporte la modelisation dfexigences et la traduction de modeles dans le systeme de generation de vecteurs de test T-VEC. Le testeur Simulink permet de traduire des modeles a partir de lfoutil Stateflow/Simulink de MathWorks vers le systeme de generation automatique de vecteurs de test T-VEC.
Lfintegration de la suite dfoutil T-VEC dans la suite dfoutil LDRA permet aux utilisateurs de T-VEC dfeffectuer facilement des revisions de codes, de conception et de qualite, ainsi qu'une analyse de couverture du code grace a leur suite dfoutil qualifiee DO-178B. Les utilisateurs de T-VEC peuvent beneficier de la fonction de detection dferreurs precoce et de la determination de conformite aux normes (ex. : MISRA C/MISRA-C:2004, DO-178B, IEC 61508) en adoptant les technologies d'analyse statique et dynamique. Cette solution est disponible pour les langages de code source C/C++ et Ada.
LDRA est le premier fournisseur de tests de logiciel automatises et dfoutils dfanalyse sur le marche des solutions integrees. LDRA propose une plate-forme de test unique qui aide les equipes a accelerer le test de systemes integres et a fournir des logiciels surs et vitaux dans les temps. Les fonctions de tests unitaires automatise, dfanalyse de couverture du code, de revision du code, de revision de la qualite, de revision de la conception et de suivi des exigences de test sont des solutions cles qui permettent aux developpeurs/testeurs de relever les defis consistant a tester des logiciels integres et a gerer le suivi des exigences de test. La suite dfoutil LDRA supporte C/C++, Ada 83/95 et Assemblers.
Presentation generale de lfentreprise
T-VEC Technologies est un grand fournisseur mondial de solutions permettant dfautomatiser la generation de vecteurs de test a partir dfoutils de developpement bases sur un modele guide par les exigences et la conception. Les solutions T-VEC permettent aux organisations de faire correspondre les cycles de vie des produits, des systemes et du developpement de logiciels aux objectifs commerciaux et aux besoins des clients afin dfameliorer de maniere considerable la qualite et la previsibilite, tout en reduisant de maniere importante les delais de commercialisation et les couts generaux.
T-VEC a son siege social a Herndon, en Virginie, et compte des clients dans des domaines varies tels que lfelectronique aeronautique, lfaerospatial, lfautomobile, la medecine et dfautres industries utilisant des produits integres.
|
