Difference between revisions of "Simulink Tester Issues"

From T-VEC Wiki
Jump to: navigation, search
(Test Vector Generation Failures)
(Model Coverage vs. Code Coverage)
Line 46: Line 46:
  
 
===Model Coverage vs. Code Coverage===
 
===Model Coverage vs. Code Coverage===
Test vector generation attempts to find test vectors for all of the paths (DCPs) in the model. Complete coverage means complete model coverage, however, complete model coverage does not guarantee coverage of code (e.g., MCDC coverage), for example: code generators can put in code (e.g., safety code around square root function). The Simulink Testers provides mechanisms such as assertions and coverage predicates that can be used to produce additional tests to cover many possible situations. Tools such as LDRA TBrun is integrated with the Simulink Tester and can provide test coverage measures to support organizations that may need evidence to support FAA certification.
+
Test vector generation attempts to find test vectors for all of the paths (DCPs) in the model. Complete coverage means complete [http://www.t-vec.com/wiki/index.php/Model_Coverage model coverage], however, complete model coverage does not guarantee coverage of code (e.g., MCDC coverage), for example: code generators can put in code (e.g., safety code around square root function). The Simulink Testers provides mechanisms such as assertions and coverage predicates that can be used to produce additional tests to cover many possible situations. Tools such as LDRA TBrun is integrated with the Simulink Tester and can provide test [http://www.t-vec.com/wiki/index.php/Model_Coverage coverage measures] to support organizations that may need evidence to support FAA certification.
  
 
===Test Sequence Vectors: State Variable Initialization===
 
===Test Sequence Vectors: State Variable Initialization===

Revision as of 09:41, 26 February 2007