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"
! <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"|31-Mar-2007: This section has been added to allow visitors to view recently added information.
+
|style="color:#000"|2013: Notable updates to the T-VEC tools:
 +
<ul>
 +
<li>VGS: updates to the Visual Environment and report generation</li>
 +
<li>VGS: new coverage analyzer mechanisms for skipping DCPs related to Inlined Subsystems</li>
 +
<li>TTM: support for character arrays and support for indexing strings like arrays</li>
 +
<li>TTM: support for additional array element assignment syntax tableName[i] = value</li>
 +
<li>TTM: support for  expressions in array indexes
 +
<li>All: updates related to Microsoft Redistributable libraries</li>
 +
<li>Demonstration integration with MetaEdit+</li>
 +
</ul>
 +
 
 +
|-
 +
|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>
 +
 
 +
|-
 +
|style="color:#000"|2010: Notable updates to the T-VEC tools:
 +
<ul>
 +
<li>VGS: include Universal Quantification over arrays, with integrated support through TTM</li>
 +
<li>VGS: support for the new “Subsystem Inlining Depth”</li>
 +
<li>TTM: support for 1-Dimensional Array variables</li>
 +
<li>TTM: Local table variables for specifying and utilizing persistent state information</li>
 +
</ul>
 +
 
 +
|-
 +
|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>TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.
 +
</p>
 +
 
 +
|-
 +
|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: [[SL2TVEC Test Driver Issues|Updates in Simulink 2007a provide better integration for automated test driver generation of stateflow]] See also [[LDRA Integration for Model References|LDRA Integration for Model References]]
 +
|-
 +
|style="color:#000"|May-2008: [[T-VEC_Tablular_Modeler#Latest_Features | String functionality in TTM]]
 +
 
 
|-
 
|-
 
|}<!-- Start of right-column -->
 
|}<!-- Start of right-column -->
 
|class="MainPageBG" style="width:50%;border:1px solid #cedff2;background-color:#f5faff;vertical-align:top"|
 
|class="MainPageBG" style="width:50%;border:1px solid #cedff2;background-color:#f5faff;vertical-align:top"|
 
{| width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top;background-color:#f5faff"
 
{| width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top;background-color:#f5faff"
! <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"|[[DOOR Integration Issues|DOORS Integration updates coming in TTM 3.2]]
+
|T-VEC is constantly improving our tools. Upcoming changes:
 
|-
 
|-
|Simulink Tester provides support up to Simulink/Stateflow version 2006b, and work is underway to intergrate to 2007a
+
|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>
 +
 
 
|-
 
|-
|style="color:#000"|[[SL2TVEC Test Driver Issues|Updates in Simulink 2007a provide better integration for automated test driver generation]]
+
|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>
 
|-
 
|-
 
|}
 
|}
Line 51: Line 115:
 
==Content==
 
==Content==
 
Tvecwiki provides guidance on using the tools, from installation, tutorials, usage, and FAQs.
 
Tvecwiki provides guidance on using the tools, from installation, tutorials, usage, and FAQs.
*[[Installation|Installation]]
+
*[[Installation|Installation and Computing Resource Requirements]]
 
*[[License Management|License Management]]
 
*[[License Management|License Management]]
 
*[[Requirement Management|Requirement Management]]
 
*[[Requirement Management|Requirement Management]]
Line 65: Line 129:
 
**[[T-VEC_Vector_Generation_System#Test Harness|Test Harness]]
 
**[[T-VEC_Vector_Generation_System#Test Harness|Test Harness]]
 
**[[T-VEC_Vector_Generation_System#Test Driver Schema|Test Driver Schema]]
 
**[[T-VEC_Vector_Generation_System#Test Driver Schema|Test Driver Schema]]
 +
*[[T-VEC_Vector_Generation_System#Code Coverage|Code Coverage]]
 
*[[T-VEC_Vector_Generation_System#Test Execution|Test Execution]]
 
*[[T-VEC_Vector_Generation_System#Test Execution|Test Execution]]
 
*[[T-VEC_Vector_Generation_System#Reports|Reports, Status and Measures]]
 
*[[T-VEC_Vector_Generation_System#Reports|Reports, Status and Measures]]
Line 72: Line 137:
 
**[[Simulink/T-VEC Examples|Simulink Tester for T-VEC Examples]]
 
**[[Simulink/T-VEC Examples|Simulink Tester for T-VEC Examples]]
 
===Other Common Questions===
 
===Other Common Questions===
 +
*[[T-VEC Tool Qualification|T-VEC Tool Qualification]]
 
*[[Simulink Tester Issues|Simulink Tester limitations, usage issues, and guidelines]]
 
*[[Simulink Tester Issues|Simulink Tester limitations, usage issues, and guidelines]]
 
*[[Measurement|Product and Project Measurement]]
 
*[[Measurement|Product and Project Measurement]]
Line 77: Line 143:
 
*[[Formal Methods and Theorem Provers|Formal Methods, Model Checking and Theorem Provers]]
 
*[[Formal Methods and Theorem Provers|Formal Methods, Model Checking and Theorem Provers]]
 
*[[Model Coverage|MC/DC, Test Coverage or Model Coverage]]
 
*[[Model Coverage|MC/DC, Test Coverage or Model Coverage]]
 
+
*[[What does T-VEC stand for?|What does T-VEC stand for?]]
==Register==
+
*[[Management and Representation of State|Management and Representation of State]]
Register here.
+
===[[Archive|Archive]]===

Latest revision as of 10:46, 9 February 2014