Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(comment1, http://xudukeep.land.ru/znakomstva-dlya-musulmanona-ishet-ego.html çíàêîìñòâà äëÿ ìóñóëüìàíîíà èùåò åãî, http://sexupeat.pochta.ru/intim-po-znakomstvu/para-poznakomitsya-s-muzhchinoy-v-kazan)
Line 1: Line 1:
comment1, http://xudukeep.land.ru/znakomstva-dlya-musulmanona-ishet-ego.html çíàêîìñòâà äëÿ ìóñóëüìàíîíà èùåò åãî, http://sexupeat.pochta.ru/intim-po-znakomstvu/para-poznakomitsya-s-muzhchinoy-v-kazani.html ïàðà ïîçíàêîìèòüñÿ ñ ìóæ÷èíîé â êàçàíè, http://duwiseth.land.ru/obyavleniya-ot-invalidov-znakomstva.html îáúÿâëåíèÿ îò èíâàëèäîâ çíàêîìñòâà, http://tibesade.krovatka.su/znakomstvo-vg-belgorode/kogalim-znakomstva.html êîãàëûì çíàêîìñòâà, http://ninenarc.nm.ru/znakomstva-porn/sayt-znakomstva-london.html ñàéò çíàêîìñòâà ëîíäîí,
+
<big>'''Welcome to the T-VEC Wiki'''</big>
 +
 
 +
==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.
 +
 
 +
<!-- End of header section / beginning of left-column -->
 +
{|style="border-spacing:8px;margin:0px -8px"
 +
|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"
 +
!
 +
 
 +
<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. 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:
 +
<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>
 +
</ul>
 +
</p>
 +
<p>SL2TVEC changes:
 +
<ul>
 +
<li>Improved support for a variety of blocks.
 +
</li>
 +
<li>Improved stateflow support.
 +
</li>
 +
<li>Improved C test driver support.
 +
</li>
 +
<li>Improved simulation test driver support.
 +
</li>
 +
</ul>
 +
</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 -->
 +
|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"
 +
!
 +
 
 +
<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>
 +
|-
 +
|T-VEC is constantly improving our tools. Upcoming changes:
 +
|-
 +
|TTM
 +
<ul><li>Global Variables to support global state.</li>
 +
<li>Constant structures and arrays</li>
 +
<li>Model includes referencing parametrized models</li>
 +
<li>Temporal Operators in TTM</li>
 +
</ul>
 +
|-
 +
|SL2TVEC
 +
<ul><li>Improved simulation test drivers.</li>
 +
<li>Tunable workspace parameter support.</li>
 +
<li>Combining the separate SL2TVEC GUI tools into one GUI.</li>
 +
</ul>
 +
|-
 +
|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>
 +
</ul>
 +
|-
 +
|}
 +
|}
 +
 
 +
==Getting Started ==
 +
The multi-media video provides a quick way to get a  [http://www.t-vec.com/videos/tvecs_tool_suite_overview/tvecs_tool_suite_overview.htm Tool Suite Overview].
 +
 
 +
The T-VEC suite of tools provide [http://en.wikipedia.org/wiki/Model-based_testing model-based test support]. The tools include:
 +
*[[T-VEC_Tablular_Modeler|T-VEC Tablular Modeler (TTM)]]
 +
**TTM provides requirement management, supports requirement and functional modeling
 +
 
 +
*[[Simulink Tester for T-VEC|Simulink Tester for T-VEC (SL2TVEC)]]
 +
**SL2TVEC translates Simulink and Stateflow models into the VGS system
 +
 
 +
*[[T-VEC_Vector_Generation_System|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, [[T-VEC_Tablular_Modeler|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 [[Simulink Tester for T-VEC|SL2TVEC]] and VGS to support model analysis, test generation, and execution for auto-generated code, manually produced code, and the Matlab simulator.
 +
 
 +
[[T-VEC_Vector_Generation_System|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.
 +
*[[Installation|Installation and Computing Resource Requirements]]
 +
*[[License Management|License Management]]
 +
*[[Requirement Management|Requirement Management]]
 +
*[[Modeling|Modeling]]
 +
**[[T-VEC_Tablular_Modeler#Requirement Modeling|Requirement Models]]
 +
**[[Simulink Tester for T-VEC#Design Model|Design Models]]
 +
**[[Simulink Tester for T-VEC#Hybrid Model|Hybrid Models]]
 +
*[[T-VEC_Vector_Generation_System#Test Vector Generation|Test Generation]]
 +
**[[T-VEC_Vector_Generation_System#Test Vector Generation|Unit Testing]]
 +
**[[T-VEC_Vector_Generation_System#Test Vector Generation|Integration Testing]]
 +
**[[T-VEC_Vector_Generation_System#Test Vector Generation|System Testing]]
 +
*[[T-VEC_Vector_Generation_System#Test Driver Generation|Test Driver Generation]]
 +
**[[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#Code Coverage|Code Coverage]]
 +
*[[T-VEC_Vector_Generation_System#Test Execution|Test Execution]]
 +
*[[T-VEC_Vector_Generation_System#Reports|Reports, Status and Measures]]
 +
*[[Configuration Management|Configuration Management]]
 +
*[[Examples|Examples]]
 +
**[[T-VEC Tablular Modeler Examples|T-VEC Tablular Modeler (TTM) Examples]]
 +
**[[Simulink/T-VEC Examples|Simulink Tester for T-VEC Examples]]
 +
===Other Common Questions===
 +
*[[T-VEC Tool Qualification|T-VEC Tool Qualification]]
 +
*[[Simulink Tester Issues|Simulink Tester limitations, usage issues, and guidelines]]
 +
*[[Measurement|Product and Project Measurement]]
 +
*[[DO-178B and DO-178C]]
 +
*[[Formal Methods and Theorem Provers|Formal Methods, Model Checking and Theorem Provers]]
 +
*[[Model Coverage|MC/DC, Test Coverage or Model Coverage]]
 +
*[[What does T-VEC stand for?|What does T-VEC stand for?]]
 +
*[[Management and Representation of State|Management and Representation of State]]
 +
===[[Archive|Archive]]===

Revision as of 12:11, 6 July 2010

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

May-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:

  • Added support for 1-Dimensional Array variables.
  • Added the concept of Local table variables for specifying and utilizing persistent state information.

SL2TVEC changes:

  • Improved support for a variety of blocks.
  • Improved stateflow support.
  • Improved C test driver support.
  • Improved simulation test driver support.

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.
  • Constant structures and arrays
  • Model includes referencing parametrized models
  • Temporal Operators in TTM
SL2TVEC
  • Improved simulation test drivers.
  • Tunable workspace parameter support.
  • Combining the separate SL2TVEC GUI tools into one GUI.
VGS
  • Floating point precision control option in VGS.
  • Visual display of dcp path in Matlab.
  • Test Driver Access to TTM Comments/Requirement Text

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