Skip Navigation
View Video - Introduction to T-VEC


Better requirements result in better products at lower cost. Our RAVE requirements tools support creating precise and consistent requirements and using these as a basis for:

  • Requirement Management
  • Automated requirements defect detection
  • Automated test case creation and execution
  • Requirements-to-test traceability

Telelogic DOORS Integration, XML storage, and HTML reports allow easy process integration.

Read more
Video: T-VEC's Tool Suite
RAVE Brochure

Simulink and Stateflow

Automatically verify and test Simulink and Stateflow models against their implementations.

The T-VEC Tester for Simulink and Stateflow analyzes the target models and generates test vectors for every logic path.

  • Unit, integration and system level tests (MC/DC)
  • Model defect identification
  • Test harnesses for simulation and execution on target
  • Tests traceable to model and requirements
  • Integration with code coverage tools such as LDRA

View Benefits


We are experts at verification and tool automation, as well as tool builders. We can help verify your products in a fraction of the typical time and cost by applying our tools. Or we can help accelerate your existing process through automation.

  • Verification and testing services
  • Conformance test suite creation and execution
  • Tool automation consulting
  • Custom tool development

We know how to get it right the first time. We can help you get there quickly.

Read more
View Case Studies


  • TTM and MetaEdit+, Modelica Integrated using Semantic Web Technologies>>
  • Capers Jones Reports that T-VEC Method Finds More Software Defect>>
  • The First Aircraft Institute of AVIC Chooses T-VEC for Model-Based Testing>>
  • MetaEdit+ DSM and T-VEC integration >>
  • T-VEC Project at Lockheed Martin Published in STSC CrossTalk>>
  • Dr. Blackburn Presents Model-Based Tool Comparison at S5 Symposium>>
  • Support for Arrays in TTM>>
  • LDRA Integration Support>>
  • T-VEC Wiki>>
  • Vision Microsystems distributes T-VEC in China>>
  • Fujisetstubi distributes T-VEC in Japan>>
  • T-VEC Completes Model for Government Smart Card Interoperability Specification>>

More news

Client Login