• 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

• Archives

New Release: T-VEC Test Vector Generation System 3.1.0

The Test Vector Generator System (VGS) 3.1.0 is now generally available.

• Updates to the Visual Environment (GUI) for navigating to Simulink/Stateflow and TTM model information
• Enhanced visualization of Floating Point Comparison Tolerance user interface
• Added support for navigating between TTM disjointness and race condition model checking functionality
• Enhanced the information formats for TTM disjointness checking and race condition checking results
• Added initial support for TTM models using variables of type "string" and type "array"

Please see the Release Notes for more details on the changes in this release.