• 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

Release of T-VEC Test Vector Generation System (VGS) 3.2.0

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

• Changed T-VEC GUI environment to statically linked executable simplifying installation and addressing memory management issues
• Provide user-control for test vectors associated with events for TTM event tables, mode machines, and Stateflow charts
• Added support for navigating between TTM disjointness and race condition model checking functionality
• Removed serial number key required for initial installation
• Provide additional GUI updates and correction of some GUI issues

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