Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Introduction)
(Introduction)
 
(1,428 intermediate revisions by 8 users not shown)
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>
 +
<li>SL2TVEC: sfunction substitution mechanism</li>
 +
<li>SL2TVEC: Support for the Bus-to-Vector block</li>
 +
<li>SL2TVEC: Support for Direct Lookup ND block</li>
 +
</ul>
  
<p>
+
|-
<b>T-VEC Tester for Simulink and Stateflow 4.5.0 is now generally available.</b>
+
|style="color:#000"|2010: Notable updates to the T-VEC tools:
</p>
+
<ul>
<p>
+
<li>VGS: include Universal Quantification over arrays, with integrated support through TTM</li>
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,
+
<li>VGS: support for the new “Subsystem Inlining Depth”</li>
multiport switch, subsystem, and discrete time integrator blocks.</li>
+
<li>TTM: support for 1-Dimensional Array variables</li>
<li>Stateflow chart and truth table support has been enhanced.</li>
+
<li>TTM: Local table variables for specifying and utilizing persistent state information</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.
+
|-
 +
|style="color:#000"|2009: Updates to all the T-VEC tools have been released. Major changes include:
 +
<p>VGS changes:
 +
<ul>
 +
<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>
 
+
<p>TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.
<p>
+
<b>The T-VEC Tabular Modeler (TTM) 4.5.0 is now generally available.</b>
+
 
</p>
 
</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>
 
|-
 
|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"|October-2008: New coverage option [[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.
Line 76: 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 10:46, 9 February 2014

Welcome to the T-VEC Wiki

Contents

Introduction

The T-VEC wiki provides information about T-VEC's suite of tools, how to use them, and any other related information. It has no specific topic, but is for all things related to T-VEC. Everyone has access to the wiki, but only registered users can edit content. We encourage users to donate meaningful documentation and information to the T-VEC wiki. If you are new here, you must register for a www.t-vec.com username/password. All documentation contributed is covered by the documentation license.

Recent updates

2013: Notable updates to the T-VEC tools:
  • VGS: updates to the Visual Environment and report generation
  • VGS: new coverage analyzer mechanisms for skipping DCPs related to Inlined Subsystems
  • TTM: support for character arrays and support for indexing strings like arrays
  • TTM: support for additional array element assignment syntax tableName[i] = value
  • TTM: support for expressions in array indexes
  • All: updates related to Microsoft Redistributable libraries
  • Demonstration integration with MetaEdit+
2012: Notable updates to the T-VEC tools:
  • SL2TVEC: sfunction substitution mechanism
  • SL2TVEC: Support for the Bus-to-Vector block
  • SL2TVEC: Support for Direct Lookup ND block
2010: Notable updates to the T-VEC tools:
  • VGS: include Universal Quantification over arrays, with integrated support through TTM
  • VGS: support for the new “Subsystem Inlining Depth”
  • TTM: support for 1-Dimensional Array variables
  • TTM: Local table variables for specifying and utilizing persistent state information
2009: Updates to all the T-VEC tools have been released. Major changes include:

VGS changes:

  • The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.

TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.

October-2008: New coverage option Force Block Output Propagation that extends the ForcePaths/ForceConditions coverage options.
Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
Feb-2008: Updates in Simulink 2007a provide better integration for automated test driver generation of stateflow See also LDRA Integration for Model References
May-2008: String functionality in TTM

Upcoming changes

T-VEC is constantly improving our tools. Upcoming changes:
TTM
  • Global Variables to support global state
  • Support for control/closed loop feedback related requirement
  • Constant structures and arrays
  • Model includes referencing parametrized models
  • Temporal Operators in TTM
VGS
  • Floating point precision control option in VGS
  • Visual display of dcp path in Matlab.
  • Test Driver Access to TTM Comments/Requirement Text
  • State variable and associated initialization mechanisms
  • Variation for array expression that is more concise for values applied to entire arrays

Getting Started

The multi-media video provides a quick way to get a Tool Suite Overview.

The T-VEC suite of tools provide model-based test support. The tools include:

  • T-VEC Vector Generation System (VGS)
    • VGS is the engine that provides model analysis, test vector generation, test driver generation, test results analysis, project status, and measurement reporting

If you're new to modeling, TTM is easy to use, and you can create your first model in a matter of minutes. TTM integrates seamlessly with VGS, and with one mouse click tests for your first model can be produced quickly. TTM has built-in help, tutorials, and course exercises built-in to the installation.

Simulink users can use SL2TVEC and VGS to support model analysis, test generation, and execution for auto-generated code, manually produced code, and the Matlab simulator.

VGS is the core T-VEC technologies developed in the late 1980's and early 1990's. It is a rather mature technology, and has not changed in any real fundamental way since the documentation. Most of the default setting provide the optimal set of tests.

Pilot Projects or Workshops are often the best way to get started with T-VEC tools.

Content

Tvecwiki provides guidance on using the tools, from installation, tutorials, usage, and FAQs.

Other Common Questions

Archive