The Coverage Viewer shows the coverage of a simulation or validation in the terms of executed transitions or symbols in the system. The information used by the Coverage Viewer is stored in a coverage file with the file extension .cov.
Coverage files can be generated by the Simulator and the Validator.
This chapter contains a reference manual to the Coverage Viewer; the functionality it provides, its menus, windows and symbols.
The Coverage Viewer has two windows, the Main window and the Coverage Details window. The Main window graphically shows the simulation or validation coverage of transitions or symbols in a tree corresponding to the system structure. The Coverage Details window shows a more detailed coverage chart for a node in the tree.
The Main window is opened when the Coverage Viewer is started, whereas the Coverage Details window is not opened initially. The general characteristics of these windows are described in User Interface and Basic Operations.
The Main window shows a graphical tree representing the diagram structure of the simulated or validated system. The tree can either present Transition Coverage or Symbol Coverage; the mode is controlled by a user option. When the Coverage Viewer first opens a coverage file, the preference ShowTransitions is used to determine the default mode.
At the top of the drawing area, above the root of the tree, is a text identifying the type of coverage tree (transition/coverage) and the name of the current coverage file.
In the tree, the different SDL diagram types use the same icons as in the Organizer's main window. For an explanation of all other icons, see SDL Icons.
When the tree shows transition coverage, the lowest level in the tree consists of transitions, represented by a small SDL input symbol. Both states and transitions are visible below the process and procedure diagrams in the tree structure. The start transitions are treated as all other transitions, even though they are represented in the tree by an SDL start symbol.
Figure 426 : Transition coverage in the Main window
|
|
When the tree shows symbol coverage, the lowest level in the tree consists of symbols corresponding to SDL symbols found in flow diagrams.
Figure 427 : Symbol coverage in the Main window
|
|
Each node in the tree consists of three parts:
|
|
The number of executed transitions/symbols shown below the node symbol also controls the thickness of the vertical line connecting the node with its parent node.
The line thickness thus gives a visual clue about how much the different branches of the tree have been executed, expressed as a relative number. The thicker the line, the more the tree branch has been executed.
In each node symbol, the number of transitions/symbols that have been executed at least once in relation to the total number of transitions/symbols in that node is also displayed. This is done by filling the node symbol with a gray pattern, showing the percentage level (number of executed divided by total number).
The higher the filling level, the more transitions/symbols have been executed. Figure 428 for instance shows that 50% of the total number of transitions/symbols have been executed.
The visibility condition determines if nodes should be shown or not. A node that should not be shown according to the visibility condition can be visible anyway because a child node is shown. To indicate that a visible node does not match the visibility condition, the node is drawn with a dashed line.
When the Coverage Viewer first opens a coverage file, every node in the coverage tree is shown. You can hide and show nodes in two ways, either via the expand/collapse mechanism (see View Menu), or via the visibility condition.
By using the visibility condition, you can control which nodes should be visible or not. Only those nodes that meet the visibility condition are shown in the tree, and you cannot use the expand mechanism to see nodes that do not meet the visibility condition.
The visibility condition is a threshold value for the number of times a transition/symbol is executed. It is specified with the Set Visibility menu choice in the Tree menu (see Set Visibility). It can also be changed by quick buttons, as well as the Increase Tree and Decrease Tree menu choices in the Tree menu.
A node in a fully expanded tree is visible either if:
The symbol of a node that meets the second condition but not the first one becomes dashed to indicate that the node itself does not meet the visibility condition.
When you select a node in the main window, the Coverage Details window is updated and displays the coverage chart for the selected node. The Coverage Details window must be opened by the Show Details menu choice in the Tools menu.
To double-click on a symbol in the main window opens an SDL Editor with a diagram that corresponds to the selected symbol. See Show in Editor for more information.
The following quick buttons are special to the Main window. The general quick buttons are described in General Quick-Buttons.
The File menu contains the following menu choices:
This menu choice is used to merge information from all coverage files (*.cov) in one directory.
A directory selection dialog is opened. The first coverage file in the specified directory is opened, and all other coverage files in the specified directory are merged. The resulting coverage information is presented in the main coverage window.
Reads an additional coverage file about the same system and merges the coverage information in it with the current coverage information. A File Selection Dialog is opened with the file filter set to *.cov. The contents of the main window is augmented by the additional information read from the selected file.
It is not possible to merge coverage files for another system.
The View menu contains the following menu choices:
Expands the selected node one level down.
Expands the selected node as much as possible.
Expands all nodes as much as possible.
Collapses the selected node, i.e. hides all child objects. This menu choice is named Collapse All if no node is selected. Invoking the Collapse All menu choice collapses the top node.
Sets options for which parts of the Main window to show. The dialog controls whether to show the tool bar and the status bar.
Issues a dialog where the scale for the main window may be set.
The Tree menu contains the following menu choices:
Sets options for which type of coverage tree to show in the main window. The dialog controls whether to show either:
Sets options for how to show execution numbers for the nodes in the coverage tree. The dialog controls whether to show the numbers for
Sets options for controlling the line thickness of the nodes in the coverage tree.
Figure 429 : The Line Options dialog
|
|
Shows more of the coverage tree by calculating a visibility threshold (see The Visibility Condition) that makes at least one more symbol become visible.
Shows less of the coverage tree by calculating a visibility threshold (see The Visibility Condition) that makes at least one more symbol become hidden.
Sets options to control the visibility condition of the coverage tree (see The Visibility Condition).
Figure 430 : The Set Visibility dialog
|
|
The dialog controls:
The Tools menu contains the following menu choices:
Searches for a visible node name in the coverage tree shown in the Main window.
Figure 431 : The Search dialog
|
|
If the search reaches the end of the tree, you are asked whether to continue the search from the first node.
If the text cannot be found among the visible information, you are informed in a confirmation dialog.
Searches again for the same text as in the latest search. The behavior is the same as described in Search above.
Opens an SDL Editor for all the transitions/symbols that meet a certain threshold condition in the tree below the selected symbol. The diagram symbols corresponding to the transitions/symbols become selected in the SDL Editor.
Figure 432 : The Show Coverage dialog
|
|
The dialog controls the Editor threshold value with a slide bar, as well as whether to show transitions/symbols that are executed, either:
the threshold value.
The Show button opens each of the diagrams containing the transitions/symbols that meet the threshold condition, with a confirmation dialog between each diagram page.
|
Note: The editor threshold condition specified in this dialog does not affect the visibility condition. It only controls which transitions/symbols to show in an SDL Editor. |
Opens an SDL Editor with a diagram that corresponds to the selected symbol. If the selected symbol is located in a process or procedure diagram, the corresponding diagram symbol becomes selected in the diagram. Only applicable on transition/symbol icons at the lowest level in the tree, including start states.
Opens or raises the Coverage Details window, showing a coverage chart for the selected node.
The following tables lists the menu choices in the main window popup menus and a reference to the corresponding menu choice in the menu bar, or the corresponding quick button.
|
Show Bottom |
|
|
Show Top |
|
|
Show Whole Tree |
|
|
Show Details |
|
|
Expand All |
|
|
Collapse All |
Collapses the whole tree, i.e. only the top node becomes visible. |
|
Show in Editor |
|
|
Expand |
|
|
Expand Substructure |
|
|
Collapse |
Apart from the general keyboard accelerators, the following accelerator can be used in the main window:
| Accelerator | Reference to corresponding command |
|---|---|
Ctrl+E |
The Coverage Details window presents more detailed coverage information for the node selected in the Main window. It contains a coverage chart for transitions or symbols, depending on what type of tree is shown in the main window. Above the chart is a text identifying:
The Coverage Details window is updated when the selection in the Main window is changed. The Coverage Details window is updated to show the coverage chart for the node selected in the Main window.
Figure 433 : Coverage Details window
|
|
The coverage chart shows how many transitions/symbols in the node that have been executed a certain number of times:
For each value along the horizontal axis (no of times), a vertical bar shows how many transitions/symbols have been executed that specific number of times. The vertical axis scale is adjusted to include the highest vertical bar, but this can be changed by using the Chart Options menu choice in the View menu (see Chart Options), or the quick buttons.
The leftmost bar is automatically selected when a new coverage chart is displayed. The selection can be moved by using the left and right arrow keys. Double clicking on a bar in the chart executes the Show in Editor command, see Show in Editor.
Just below the horizontal axis is the visibility line. It underlines the bars that correspond to the visible nodes in the coverage tree in the Main window. "Visible" in this case means visible according to the visibility condition. Nodes that are hidden by collapsing a parent node are still regarded as visible in this context.
The following quick buttons are special to the Coverage Details window. The general quick buttons are described in General Quick-Buttons.
|
|
Show in Editor
Corresponds to the description in Show in Editor. |
|
|
Increase Vertical Scale
Increases the vertical scale of the coverage chart by decreasing the value of the upper range of the vertical axis. Those bars that "overflows" the range of the vertical axis are shown with an up arrow at the top of the bars to indicate that the bars in reality are higher. |
|
|
Decrease Vertical Scale
Decreases the vertical scale of the coverage chart by increasing the |
|
|
Show Coverage Tree
Pops up the Coverage Viewer's main window (the Coverage Tree window). |
The File menu contains the following menu choices:
The View menu contains the following menu choices:
Sets options for which parts of the Coverage Details window to show. The dialog controls whether to show the tool bar and the status bar.
Sets options controlling the appearance of the coverage chart.
The dialog controls the value of the upper limit of the vertical axis in the chart and whether to:
Issues a dialog where the scale for the Coverage Details window may be set.
The Tools menu contains the following menu choices:
Opens an SDL Editor for all the transitions/symbols of the selected vertical bar in the coverage chart. The diagram symbols corresponding to the transitions/symbols become selected in the SDL Editor.
A confirmation dialog is displayed between each diagram page.
Raises the Coverage Viewer's main window.
The following table lists the menu choices in the Coverage Details window popup menu and a reference to the corresponding menu choice in the menu bar.
|
Show Coverage Tree |
Apart from the general keyboard accelerators, the following accelerators can be used in the Coverage Details window:
| Accelerator | Reference to corresponding command |
|---|---|
Ctrl+E |