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 Model Property.

Coverage Graph files are saved in the model folder.

QR Code
QR Code coverage_graph (generated for current page)