Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 14: Line 14:
 
<h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
<h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
|-
 
|-
|style="color:#000"|May-2009: Updates to all the T-VEC tools have been released.
+
|style="color:#000"|May-2009: Updates to all the T-VEC tools have been released.<p>VGS changes:
|-
+
|style="color:#000"|October-2008: New coverage options name [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options. <p>VGS changes:
+
 
<ul>
 
<ul>
 
<li>The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.
 
<li>The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.
 +
</li>
 +
</ul>
 +
</p>
 +
<p>TTM changes:
 +
<ul>
 +
<li>Added support for 1-Dimensional Array variables.
 +
</li>
 +
<li>Added the concept of Local table variables for specifying and utilizing persistent state information.
 
</li>
 
</li>
 
</ul>
 
</ul>
 
</p>
 
</p>
 
|-
 
|-
|style="color:#000"|October-2008: Support for the translation of Embedded M-Script. [[http://www.t-vec.com/wiki/index.php/Simulink_Tester_Issues#Embedded_Matlab_Language_.28EML.29_Translation:_m-script_guidelines]]
+
|style="color:#000"|October-2008: New coverage options name [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
|-
+
|style="color:#000"|May-2008: New T-VEC Server Service. This may require reboot after installation. This support hyperlinking from TTM to DOORS, and VGS to Simulink Models.
+
 
|-
 
|-
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.

Revision as of 08:54, 20 May 2009