Skip Navigation
View Video - Introduction to T-VEC

RAVE


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
Brochure

Services


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

News

  • New TTM and VGS Releases Available (11/11/2013)>>
  • Researchers convert Natural Language Requirements into T-VEC>>
  • 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>>
  • T-VEC VGS Now Drives the VectorCAST Test Platform>>
  • New Releases of the T-VEC tools (05-26-2010)>>
  • Support for Embedded Matlab>>
  • Support for Arrays in TTM>>
  • LDRA Integration Support>>
  • T-VEC User's Group Forum is now available.>>
  • 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