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

From T-VEC Wiki
Jump to: navigation, search
(Code Coverage)
(Code Coverage)
Line 70: Line 70:
 
***Automatic generation of test drivers (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)
 
****with automatic traceability back to formal and informal requirements (TTM, T-VEC) and design info (Simulink, T-VEC)
 +
 +
 +
[[Image:Tool_Integration_with_LDRA.png|center|Tool Integration with LDRA]]
  
 
==Reports, Status and Measures==
 
==Reports, Status and Measures==

Revision as of 17:40, 18 May 2007