Difference between revisions of "T-VEC Tablular Modeler"

From T-VEC Wiki
Jump to: navigation, search
(Recent Changes)
 
Line 13: Line 13:
  
 
Models in TTM have been used to support requirement defect identification as well as support for unit, integration, and system testing.
 
Models in TTM have been used to support requirement defect identification as well as support for unit, integration, and system testing.
 +
 +
==Recent Changes==
 +
 +
<p>
 +
<b>The T-VEC Tabular Modeler (TTM) 4.5.0 is now generally available.</b>
 +
</p>
 +
<p>
 +
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>
 +
 +
TTM/DOORS Integration:
 +
<ul><li>Enhanced the model manager to work better with DOORS integration</li>
 +
<li>Enhanced navigation from DOORS to TTM, the navigation will always bring up a TTM GUI with the correct model if one exists.</li>
 +
<li>Improved user-friendliness of the DOORS integration dialog
 +
<ul><li>Now is resizable to allow viewing of long module names</li>
 +
<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>
 +
</ul>
 +
 +
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>
  
 
==Requirement Modeling==
 
==Requirement Modeling==
Line 79: Line 129:
 
===Latest Features ===
 
===Latest Features ===
 
The latest features extend beyond the core capabilities originally envisions for SCR. The lates features include:
 
The latest features extend beyond the core capabilities originally envisions for SCR. The lates features include:
* Structures
+
* [[T-VEC_Tablular_Modeler_Examples#Arrays | Arrays]]
* Functions
+
* [[T-VEC_Tablular_Modeler_Examples#Structures | Structures]]
 +
* [[T-VEC_Tablular_Modeler_Examples#Functions | Functions]]
 
** Parameterized functions can be defined one and referenced by other tables
 
** Parameterized functions can be defined one and referenced by other tables
 
* Intermediate variable
 
* Intermediate variable
Line 88: Line 139:
 
* Race Condition Checking
 
* Race Condition Checking
 
** Verifies that no transitions from a common source state can occur simultaneously.  
 
** Verifies that no transitions from a common source state can occur simultaneously.  
 +
* String support
 +
:A "string" is now a base level data type. It is an ascii character string. Inputs, constants, terms tables, and output tables can all be declared to be a "string" type. Structure elements can also be of a "string" type. String types can be compared for equality ("abc" = "abc") and inequality ("abc" != "abc") and they may be concatenated ("abcdef" = "abc" + "def").
 +
 +
:Strings are useful, for example, when the requirements being captured in TTM involve actual text messages rather than number, boolean, or enumerated types oriented data.
 +
 +
:This is just the initial version of support for strings. There are ongoing efforts to extend these capabilities. For example, additional functionality will likely include string < or > comparisons (collating sequence relationships) and regular expression comparisons ("abc" =~ "a.+b") and other forms of string oriented relationships and operations.
 +
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
 +
 
==Guidelines==
 
==Guidelines==
 
The following provides a few guidelines for modeling.
 
The following provides a few guidelines for modeling.

Latest revision as of 08:41, 20 May 2009