Difference between revisions of "T-VEC Vector Generation System"

From T-VEC Wiki
Jump to: navigation, search
(Code Coverage)
(Code Coverage)
Line 54: Line 54:
  
 
Similar test driver configurations have been created for test drivers generated from TTM to leverage LRDA's TBrun test coverage information, and other code-based test coverage tools.
 
Similar test driver configurations have been created for test drivers generated from TTM to leverage LRDA's TBrun test coverage information, and other code-based test coverage tools.
 +
 +
The following images represents the relationship between T-VEC tools and LDRA tools. TBRun is a test execution and test results analysis tool. T-VEC can generate the TBRun .tcf scripts automatically from requirements models (TTM) and/or design models (Simulink). TBReq is a requirements traceability tool that helps organize and manage the manual creation of test scripts, based on the manual interpretation of informal requirement information, while maintaining manually created traceability links back to the informal requirements that the test vector is meant to test.
 +
 +
The picture below shows a complete development environment that supports both model-based and also manual based aspects of software development.
 +
 +
*Informal (human language) capture of requirements (DOORS)
 +
**Manual development of test vectors (TBRun)
 +
***with manual traceability back to informal requirements info (TBReq)
 +
**The formal modeling of requirements (TTM) and design (Simulink)
 +
***Automatic model analysis (TTM, Simulink Tester, T-VEC)
 +
****with automatic traceability back to formal and informal requirements and design info
 +
***Automatic code generation (Simulink)
 +
***Automatic generation of test vectors (T-VEC)
 +
****with automatic traceability back to formal and informal requirements (TTM, T-VEC) and design info (Simulink, T-VEC)
 +
***Automatic generation of test drivers (T-VEC)
 +
****with automatic traceability back to formal and informal requirements (TTM, T-VEC) and design info (Simulink, T-VEC)
  
 
==Reports, Status and Measures==
 
==Reports, Status and Measures==

Revision as of 17:33, 18 May 2007