Stylesheet user/screen.css not found, please contact the developer of "vector" template.
Stylesheet user/print.css not found, please contact the developer of "vector" template.
Stylesheet user/rtl.css not found, please contact the developer of "vector" template.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

coverage_graph [2016/09/22 02:35] (current)
Line 1: Line 1:
 +===== Coverage Graph =====
 +//Coverage Graph// is a graphical representation of the execution coverage of the model. Below is an example of a //Coverage Graph//.
 +
 +{{http://testoptimal.com/img/coverageGraphExample.jpg?600x200}}
 +
 +The transitions colored in //green// are fully covered, //yellow// are partially covered (covered at least once but not enough time as required) and //red// are not covered.
 +
 +By default, the graph is laid out left to right making the graph scale horizontally.  You may change the graph orientation to vertical by setting the //Graph Orientation// in [[modelnode | Model Property]].
 +
 +//Coverage Graph// files are saved in the model folder.
 +
  
Print/export
QR Code
QR Code coverage_graph (generated for current page)