Difference between revisions of "Model Coverage"

From T-VEC Wiki
Jump to: navigation, search
(Model Coverage)
(Model Coverage)
Line 2: Line 2:
  
 
==Model Coverage==
 
==Model Coverage==
As shown in below, T-VEC provides model coverage; that is, from the model, the tools check to make sure that a test vector is produced for every [[Modeling#Model Representation|DCP]] in the model. If a test vector is not produced, the model has a defect, and the coverage report provides a link to that particular thread where the model defect is likely to exist.  
+
As shown in below, T-VEC provides model coverage; that is, from the model, the tools check to make sure that a test vector is produced for every [[Modeling#Low Level Representation|DCP]] in the model. If a test vector is not produced, the model has a defect, and the coverage report provides a link to that particular thread where the model defect is likely to exist.  
  
 
[[Image:Model_Coverage_vs_Code_Coverage.jpg|Model Coverage Versus Code Coverage]]
 
[[Image:Model_Coverage_vs_Code_Coverage.jpg|Model Coverage Versus Code Coverage]]

Revision as of 13:37, 26 February 2007