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

Link to this comparison view

coverage_graph [2016/09/22 02:35]
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//.
 +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.
QR Code
QR Code coverage_graph (generated for current page)