Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Introduction)
 
Line 10: Line 10:
 
|class="MainPageBG" style="width:50%;border:1px solid #cef2e0;background-color:#f5fffa;vertical-align:top;color:#000"|
 
|class="MainPageBG" style="width:50%;border:1px solid #cef2e0;background-color:#f5fffa;vertical-align:top;color:#000"|
 
{|width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top;background-color:#f5fffa"
 
{|width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top;background-color:#f5fffa"
! <p>
+
!
<b>The Test Vector Generator System (VGS) 3.6.0 is now generally available.</b>
+
 
</p>
+
<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>
<p>
+
|-
New and improved functionality includes:
+
|style="color:#000"|2013: Notable updates to the T-VEC tools:
 
<ul>
 
<ul>
<li>New Project Explorer tab area - The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.</li>
+
<li>VGS: updates to the Visual Environment and report generation</li>
<li>Ability to specify ranges of DCP in Domain Convergence Paths options. ("DCP Numbers" and "Skip DCPs")</li>
+
<li>VGS: new coverage analyzer mechanisms for skipping DCPs related to Inlined Subsystems</li>
<li>Added the ability to set minimum domain boundaries for Float32 and Float64 variables</li>
+
<li>TTM: support for character arrays and support for indexing strings like arrays</li>
<li>Improved VGS to Simulink block navigation</li>
+
<li>TTM: support for additional array element assignment syntax tableName[i] = value</li>
<li>Improved VGS to TTM navigation</li>
+
<li>TTM: support for  expressions in array indexes
<li>1-Dimensional array support in test vector generator, in support of TTM</li>
+
<li>All: updates related to Microsoft Redistributable libraries</li>
<li>Vector generation performance enhancements.</li>
+
<li>Demonstration integration with MetaEdit+</li>
<li>Updated the Consult Subordinate Vectors vector generation heuristic to support TTM tables with structured outputs.</li>
+
<li>Removed obsolete VGS menu items, renamed other menu items for additional clarity.</li>
+
<li>Added new material to VGS Reference Guide in the section on VGS GUI.
+
</li>
+
 
</ul>
 
</ul>
  
Please see the [https://www.t-vec.com/support/secure/readme.php?ID=146 Release Notes] for more details on the changes in this release.
+
|-
</p>
+
|style="color:#000"|2012: Notable updates to the T-VEC tools:
 
+
<ul>
<p>
+
<li>SL2TVEC: sfunction substitution mechanism</li>
<b>T-VEC Tester for Simulink and Stateflow 4.5.0 is now generally available.</b>
+
<li>SL2TVEC: Support for the Bus-to-Vector block</li>
</p>
+
<li>SL2TVEC: Support for Direct Lookup ND block</li>
<p>
+
New and improved features in the Simulink Tester include:<ul><li>Improvements in the support of the following Simulink blocks - matrix concatenation, if, relay, sum, gain, product, lookup tables, data type conversion, initial condition, for,
+
multiport switch, subsystem, and discrete time integrator blocks.</li>
+
<li>Stateflow chart and truth table support has been enhanced.</li>
+
<li>Additional checks warn of model problems or issues detected during translation</li>
+
<li>Improved Simulink simulator test driver support in default schema.</li>
+
<li>Improved C/C++ test driver support in default schema.</li>
+
<li>Enhanced Embedded Matlab (EML) support</li>
+
<li>Corrected issues with default support of Matlab R14 SP2</li>
+
<li>Sl2tvec GUI now provides explicit indications of the inline vs atomic function status of each subsystem. All Simulink subsystems that are non-atomic, or atomic-auto, or atomic-inline will be indicated as "inlined into Parent".</li>
+
 
</ul>
 
</ul>
  
Please see the [https://www.t-vec.com/support/secure/readme.php?ID=147 Release Notes] for more details on the changes in this release.
+
|-
</p>
+
|style="color:#000"|2010: Notable updates to the T-VEC tools:
 
+
<ul>
<p>
+
<li>VGS: include Universal Quantification over arrays, with integrated support through TTM</li>
<b>The T-VEC Tabular Modeler (TTM) 4.5.0 is now generally available.</b>
+
<li>VGS: support for the new “Subsystem Inlining Depth”</li>
</p>
+
<li>TTM: support for 1-Dimensional Array variables</li>
<p>
+
<li>TTM: Local table variables for specifying and utilizing persistent state information</li>
Primary Modeling Features/Enhancements:
+
<ul><li>Added support for 1-Dimensional Array variables</li>
+
<li>Improved character type and string type support</li>
+
<li>Improved model include mechanism to allow for selecting multiple include models</li>
+
<li>Added the concept of Local table variables for specifying and utilizing persistent state information.</li>
+
<li>Improved expression formatting (allows formatting of expressions even when there are model check errors)</li>
+
<li>Improved navigation from error/warning messages to actual error location and model elements</li>
+
<li>Improved interface for conditional table cells (vertical scrollbar, multiple row delete)</li>
+
<li>Now supports the specification of an alternate (i.e. non-default) report directory</li>
+
<li>Auto-fix identifiers function now works for local elements (function parameters, modes, structure fields)</li>
+
<li>Enhanced the Assignment column auto-fill feature to fill a new column with appropriate structure and local elements and values when possible</li>
+
<li>Enhanced find function
+
    <ul><li>More search locations (all available navigable location)</li>
+
<li>Search results from Mode Machine transition tables and requirement descriptions are now available.</li>
+
<li>Improved search filter allows searching for local elements independently from the parent</li></ul></li>
+
<li>Initial set of TTM library functions can now be found in <INSTALL_DIR>\translators\ttm\lib</li>
+
<li>Default/demo TTM test driver schema file and perl routine file can now be found in <INSTALL_DIR>\translators\ttm\test_drivers. This schema is targeted to code produced by Simulink's rtw code generator. Although they require some user configuration, they should help point the way to producing test drivers from TTM requirement models targeted to code generated from Simulink design models.</li>
+
<li>Added default map file variables to .map files that are referenced in the demo TTM test driver schema file.</li>
+
</ul>
+
TTM Model Checker:
+
<ul><li>Improved floating point value checking
+
<ul><li>Points out floating point constants with too many significant digits</li>
+
<li>Points out the use of degenerate forms of floating point constants. Values such as ".1" or "1." are now required to be in the more canonical form "1.0" or "0.1".</li></ul>
+
</li>
+
<li>Improved checking for duplicated and/or bad identifiers</li>
+
<li>Improved assignment expression syntax checking and formatting</li>
+
<li>Added support for binary operator XOR ('^') and NOT ('~')</li>
+
 
</ul>
 
</ul>
  
TTM/DOORS Integration:
+
|-
<ul><li>Enhanced the model manager to work better with DOORS integration</li>
+
|style="color:#000"|2009: Updates to all the T-VEC tools have been released. Major changes include:
<li>Enhanced navigation from DOORS to TTM, the navigation will always bring up a TTM GUI with the correct model if one exists.</li>
+
<p>VGS changes:
<li>Improved user-friendliness of the DOORS integration dialog
+
<ul>
<ul><li>Now is resizable to allow viewing of long module names</li>
+
<li>The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.
<li>Now allows multiple selection of doors module to add, synchronize, and delete (4.3.0 -10/08)</li>
+
<li>Now allows synchronization through the context menu of a DOORS item (4.3.0 -10/08)</li>
+
</ul>
+
 
</li>
 
</li>
 
</ul>
 
</ul>
 
+
</p>
Please see the [https://www.t-vec.com/support/secure/readme.php?ID=148 Release Notes] for more details on the changes in this release.
+
<p>TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.
 
+
 
</p>
 
</p>
  
 
For additional information and guidance, please see the [http://www.t-vec.com/forums/ T-VEC Forums] or the [http://www.t-vec.com/wiki 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 tailored to meet clients' needs, methodological guidelines and best practices, and other related information.
 
 
 
<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"|October-2008: New coverage options name [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.
 
|-
 
|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"|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"|October-2008: New coverage option [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
 
|-
 
|-
 
|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.
Line 124: Line 70:
 
<h2 style="margin:0;background-color:#cedff2;font-size:120%;font-weight:bold;border:1px solid #a3b0bf;text-align:left;color:#000;padding:0.2em 0.4em;">Upcoming changes</h2>
 
<h2 style="margin:0;background-color:#cedff2;font-size:120%;font-weight:bold;border:1px solid #a3b0bf;text-align:left;color:#000;padding:0.2em 0.4em;">Upcoming changes</h2>
 
|-
 
|-
|style="color:#000"|Adding support for [[T-VEC_Tablular_Modeler_Examples#Arrays | Arrays]] in TTM - this is a significant extension to the SCR method. Please send any comments or suggestions to support@t-vec.com.
+
|T-VEC is constantly improving our tools. Upcoming changes:
 
|-
 
|-
|Table Variable are to be added to support local table variables for State and Quantification of arrays.
+
|TTM
 +
<ul><li>Global Variables to support global state</li>
 +
<li>Support for control/closed loop feedback related requirement</li>
 +
<li>Constant structures and arrays</li>
 +
<li>Model includes referencing parametrized models</li>
 +
<li>Temporal Operators in TTM</li>
 +
</ul>
 +
 
 
|-
 
|-
|Support for character indexing of strings
+
|VGS
 +
<ul><li>Floating point precision control option in VGS</li>
 +
<li>Visual display of dcp path in Matlab.</li>
 +
<li>Test Driver Access to TTM Comments/Requirement Text</li>
 +
<li>State variable and associated initialization mechanisms</li>
 +
<li>Variation for array expression that is more concise for values applied to entire arrays</li>
 +
</ul>
 
|-
 
|-
 
|}
 
|}

Latest revision as of 11:46, 9 February 2014