New Releases of the T-VEC tools (05-26-2010)
The Latest Release of the T-VEC Tool
Suite
The T-VEC Tabular Modeler (TTM) 5.2.0
is now generally available.
TTM GUI Features and Enhancements
- Added support for array variable quantification at the table level. This gives the user the ability to express relationships in the rows of the table in terms of indexed array elements (using a quantifier variable such as \\\"i\\\") and then specify that the relationships should hold FORALL values of \\\"i\\\". [0006764]
- Added support array wildcard assignment such that leaving the array index empty will generate assignments for all elements of the arrary. For example, arrayName[] = 0 is translated to arrayName[0] = 0; arrayName[1] = 0, arrayName[2] = 0, etc. Arrays of identical dimensions can be assigned using this approach (ie, arrayName1[] = arrayName2[]) [0006836]
- Added support for Importing (from DOORS) and editing (within TTM) native language character sets (such as Chinese and Japanese) in the Description and Text field of the TTM textual requirement elements. [0003405]
TTM Test Driver Schema
- Added support for user-defined map file variables and to the ttm_schema.sch [0006704]
TTM Translation and Model Checking Updates
- The Model checker now supports checking of Mixed Character Array and String type. [006707]
- Model checker now detects when the output of a table is not updated in a given row. [0006777]
Many additional model-checks and
refinements to previous model checks have been accomplished for this release.
Please see the Release Notes
for more details on the changes in this release.
The T-VEC Tester for Simulink and
Stateflow 4.8.0 is now generally available.
Please see the Release Notes
for more details on the changes in this release.
The T-VEC Test Vector Generator System
(VGS) 4.2.0 is now generally available.
Please see the Release Notes
for more details on the changes in this release.
|
