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)