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

From T-VEC Wiki
Jump to: navigation, search
(Code Coverage)
(Code Coverage)
Line 51: Line 51:
  
 
==Code Coverage==
 
==Code Coverage==
T-VEC tools integrate with code coverage tools such as [http://www.ldra.com/tbrun_moreinfo.asp LDRA TBrun]. The T-VEC Testers for Simulink provides users selectable options to generate test drivers in the form of LDRA TBrun .tcf files. These input/output value sets are used by TBrun when it creates test driver wrappers for the code from the input and output values, and other configuration information, that make up the .tcf files. TBrun provide measurement and reports such as MC/DC test coverage achieved by the test vectors generated by T-VEC.
+
T-VEC tools integrate with code coverage tools such as [http://www.ldra.com/tbrun_moreinfo.asp LDRA TBrun] to provide a means to assess [[Model_Coverage|test code coverage]] such as MC/DC test coverage. The T-VEC Testers for Simulink provides users selectable options to generate test drivers in the form of LDRA TBrun .tcf files. These input/output value sets are used by TBrun when it creates test driver wrappers for the code from the input and output values, and other configuration information, that make up the .tcf files. TBrun provide measurement and reports such as MC/DC test coverage achieved by the test vectors generated by T-VEC.
  
 
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.

Revision as of 11:20, 19 May 2007