• 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 Tester for Simulink and Stateflow 4.2.0

T-VEC Tester for Simulink and Stateflow 4.2.0 is now generally available.

• Support for MATLAB 2008a has been added
• Updates to Stateflow processing related to parallel states, triggers, and functions with updates for 2008a
• Updates to the Signal Range editor including ability to create additional re-usable signal range type definition files
• Test driver schema updates for LDRA type mappings

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

The T-VEC Tester for Simulink and Stateflow 4.2.0 requires T-VEC Vector Generation System release 3.3.0.

For additional information and guidance, please see the T-VEC wiki. The Wiki contains information about T-VEC's suite of tools, tips on tool use, examples and explanations of how tools have been used or tailor