details Back

Integration of the LDRA tool suite and the T-VEC tool suite

T-VEC Technologies provides the most advanced test vector generation system supporting model translation, model checking, and test vector generation from the T-VEC Tabular Modeler (TTM) and the Simulink Tester. TTM provides requirement management and supports requirement modeling and model translation into the T-VEC Test Vector Generation System. The Simulink Tester provides model translation from The MathWorks Simulink/Stateflow to the T-VEC Test Vector Generation System.

The integration of the LDRA tool suite with T-VEC tool suite allows T-VEC users to seamlessly perform Code, Design and Quality Reviews, as well as code coverage analysis with their DO-178B qualified tool suite. T-VECs users can benefit from early error detection and determination of standards compliance (e.g.: MISRA C/MISRA-C:2004, DO-178B, IEC 61508) through the adoption of these Static and Dynamic Analysis technologies. The solution is available for C/C++ and Ada source code languages.

LDRA is the leading provider of automated software testing and analysis tools for the embedded market place. LDRA provides a unique testing platform that helps teams accelerate testing embedded systems and deliver safe and mission critical software on time. Automated Unit Testing, Code Coverage Analysis, Code Review, Quality Review, Design Review and Test Requirement Tracking are key solutions for developers/testers to overcome the challenges of testing embedded software and manage test requirement traceability. The LDRA tool suite supports C/C++, Ada 83/95 and Assemblers.

Company Overview

T-VEC Technologies is a leading global provider of solutions for automating the test vector generation from requirement-driven and design-driven model based development tools. The T-VEC solutions enable organisations to align product, systems, and software development lifecycles with business objectives and customer needs to dramatically improve quality and predictability, while significantly reducing time-to-market and overall costs.

T-VEC is headquartered in Herndon, VA with customers that span avionics, aerospace, automotive, medical, defense, and other embedded products.