Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(comment2, http://despinavee.nm.ru/page-125.html ñåêñà â àðõàíñêå ñåé÷àñ, uwfst, http://johnsiezin8899.mail333.su/znakomstva-mezhgore/sayty-znakomstv-goroda-simferopol.html ñàéòû çíàêîìñòâ ãîðîäà ñèìô)
(Introduction)
 
Line 1: Line 1:
comment2, http://despinavee.nm.ru/page-125.html ñåêñà â àðõàíñêå ñåé÷àñ, uwfst, http://johnsiezin8899.mail333.su/znakomstva-mezhgore/sayty-znakomstv-goroda-simferopol.html ñàéòû çíàêîìñòâ ãîðîäà ñèìôåðîïîëü,  %-), http://titussttmattie.hotbox.ru/izhevsk-seks.html èæåâñê ñåêñ,  340, http://mitzifce.newmail.ru/doc_103.html ïîçíàêîìèòüñÿ ñ ðóññêèìè,  =-))), http://dionevwwsc.fromru.su/alternativnye-znakomstva/site-235.html àñòðàõàíñêèå òàòàðû çíàêîìñòâà, 799889, http://jen1223alice.hotbox.ru/znakomstvo-kulebaki/page-188.html òðàíñ çíàêîìñòâà í íîâãîðîä,  vhc, http://mgarmendd.mail333.su/znakomstva-azerbaydzhan/page_207.html çíàêîìñòâà ñàíêïåòåðáóðã ìàðèíà 21 èùó äåâóøêó,  8-))), http://nonieqrrpi.rbcmail.ru/znakomstva-petrovsk/znakomstva-sdevushkami-yaponkami.html çíàêîìñòâà ñäåâóøêàìè ÿïîíêàìè,  :OOO, http://janiece3344wey.land.ru/znakomstva-snezhnoe/site-142.html çíàêîìñòâà ñ ñåìåéíûìè ïàðàìè õìåëüíèöêèé,  %DDD, http://bertha6677nob.mail15.su/znakomstva-shveycariya/page-245.html èíòèì çíàêîìñòâà ìîðøàíñê,  >:[, http://jareth2334zie.hotmail.ru/znakomstvo-baku/site-332.html èíòèì çíàêîìñòâà ìàðêñ,  libiy, http://margarettcfg.newmail.ru/page-55.html ïîèñê øëþõè ñàðàòîâà,  86350, http://gerthattuskalak.pochta.ru/znakomstvo-strezhevoy/page-81.html ïðîìûâàíèå êèøå÷íèêà çíàêîìñòâà, 616461, http://louisccc.nm.ru/page_101.html îäåññêèé ñàéò çíàêîìñòâà,  rvbd, http://teresaknabecd.mail333.su/page-154.html èíòèì çíàêîìñòâà îêòÿáðüñêèé,  cwzw, http://brsttrimes.pochta.ru/site-72.html ñàéò âçðîñëûõ çíàêîìñòâ ñåêñà, fznl, http://amimhijj.nm.ru/znakomstvo-po-novokzneck.html çíàêîìñòâî ïî íîâîêçíåöê, 2871, http://nellatuuhe.front.ru/page_50.html ãåè âèíêñ ñåêñ, 026812, http://liz1222babel.hotmail.ru/znakomstva-kavkaza/site-96.html çíàêîìñòâà â ìîñêâå íà âûõèíî, 407792,
+
<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"|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 -->
 +
|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>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>
 +
 
 +
|-
 +
|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>
 +
|-
 +
|}
 +
|}
 +
 
 +
==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]]===

Latest revision as of 11:46, 9 February 2014