T-VEC Tablular Modeler
The T-VEC Tabular Modeler (TTM) is an environment for developing and managing tabular requirements models for defect analysis and automated test case generation.
Features of the TTM include:
- Requirement modeling
- Requirement management
- Model decomposition
- Requirement-to-test traceability
- Automatic expression formatting
- Integration With T-VEC Vector Generation System (VGS)
TTM is easy-to-use. It was designed to support building and translating SCR-style specifications into a T-VEC project. Model checking capabilities help ensure translation succeeds without errors.
Models in TTM have been used to support requirement defect identification as well as support for unit, integration, and system testing.
Requirement modeling describes behavior in terms of the interfaces to the system or component (box). The model requirements represents "what the box should do" as opposed to "how the box should do it." Sometimes used to model represent properties rather than actual behavior.
The tabular modeling approach is derived from the Software Cost Reduction (SCR) method developed by the Naval Research Lab (NRL). The SCR Toolkit was the first tool for modeling using the SCR method .
SCR Core Capabilities
In SCR the functional view of a system is defined using behavioral elements to specify the set of relations between entities that represent the interfaces of the system. The behavioral aspects of the models define the required functionality of the component using tables to relate monitored variables (inputs) to controlled variables (outputs). There are three basic types of tables (with two variants):
- Condition Table (with mode or modeless)
- Event Table (with mode or modeless)
- Mode Transition Table
The SCR modeling approach permits Condition, Event, and Mode Tables to be combined. This allows complex relationships between monitored and controlled variables to be described in terms of simpler relationships that are modeled in Condition, Event, or Mode Tables. The concept of dependency relationships is supported using a mode class or a term variable.
TTM Terminology and Capabilities
The TTM support the core capabilities of SCR method, but provides a few terminology changes, and some addition capabilities.
The SCR method uses the terms 'monitored' variable and TTM uses 'input' variable. The SCR method uses the term 'controlled' variable and TTM uses 'output' variable.
|Info||Provides information that is stored internal to TTM files that is stored in XML format|
|Requirements||Requirement mangement definition or import form tool such as DOORS|
|Types||Types||Specifies user-defined types|
|Functions||Parameterizeable functions that can be referenced in other tables|
|Mode Machines||Mode Machines||Table-based state machines|
TTM provides mechanisms for referencing (including) existing TTM models and overriding behavior of the included model elements. Requirement IDs specified in the model are included in test vectors generated from the model using T-VEC to support requirement-to-test traceability. The model editor includes automatic formatting of complex expressions and advanced find capabilities.
The latest features extend beyond the core capabilities originally envisions for SCR. The lates features include:
- Parameterized functions can be defined one and referenced by other tables
- Intermediate variable
- Intermediate variables make it easy to accept the results of a function and they reference in condition, event or assignment the intermediate value attributes
- Disjointness Checking (sometimes also referred to as Disjointedness Checking)
- Verifies that no conditions in a table overlap.
- Race Condition Checking
- Verifies that no transitions from a common source state can occur simultaneously.
The 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.
- Constance Heitmeyer. Using the SCR Toolset to Specify Software Requirements. Proceedings, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, FL, Oct. 19, 1998.