![]() |
![]() |
![]() |
![]() |
![]() |
Coverage Viewer Windows
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
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.
Transition Coverage
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.
Symbol Coverage
When the tree shows symbol coverage, the lowest level in the tree consists of symbols corresponding to SDL symbols found in flow diagrams.
Nodes
Each node in the tree consists of three parts:
- A graphical symbol indicating the type of node, either:
- In SDL systems containing packages, an extra root node named "(total)" is introduced, showing the grand total for the system and all packages
- An SDL diagram (for instance, Figure 454 shows a process type symbol)
- An SDL state
- A transition (start transition or input of signal/timer)
- Any symbol that can be found in SDL flow diagrams
- The graphical notation uses the same symbols as in SDL, where applicable. See also SDL Icons.
- The name of the node is presented as text below the symbol (in Figure 454, the name of the process type is "Door"). An exception to this is the symbols at the lowest level in a symbol coverage tree. These symbols are shown without a name.
- The number of executed transitions/symbols associated with the node is presented below the name. For symbols above the lowest level of the tree, a range is also shown indicating the number of times the least and most executed transition/symbol below the node has been executed. The process type symbol in Figure 454 reads
"2 (0 - 1)" which means that:Line Thickness
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.
Filling Level
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 454 for instance shows that 50% of the total number of transitions/symbols have been executed.
Dashed Nodes
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.
The Visibility Condition
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 number of executed transitions/symbols associated with the node meets the visibility condition.
- At least one of the underlying nodes is visible.
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.
Single and Double Clicks
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.
Quick Buttons
The following quick buttons are special to the Main window. The general quick buttons are described in General Quick-Buttons.
The Menu Bar
File Menu
The File menu contains the following menu choices:
- Open
(See Open.)- Open Directory
- Merge
- Save
(See Save.)
(See Printing from the SDL Suite.)- Exit
(See Exit.)Open Directory
This menu choice is used to merge information from all coverage files (*.cov) in one directory.
It is only possible to merge coverage files created from the same SDL system, i.e. the Open Directory operation will fail if there are coverage files from different SDL systems in the same 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.
Merge
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 with another system.
View Menu
The View menu contains the following menu choices:
Expand
Expands the selected node one level down.
Expand Substructure
Expands the selected node as much as possible.
Expand All
Expands all nodes as much as possible.
Collapse
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.
Window Options
Sets options for which parts of the Main window to show. The dialog controls whether to show the tool bar and the status bar.
Set Scale
Issues a dialog where the scale for the main window may be set.
Tree Menu
The Tree menu contains the following menu choices:
Tree Options
Sets options for which type of coverage tree to show in the main window. The dialog controls whether to show either:
Symbol Options
Sets options for how to show execution numbers for the nodes in the coverage tree. The dialog controls whether to show the numbers for
Line Options
Sets options for controlling the line thickness of the nodes in the coverage tree.
Increase Tree
Shows more of the coverage tree by calculating a visibility threshold (see The Visibility Condition) that makes at least one more symbol become visible.
Decrease Tree
Shows less of the coverage tree by calculating a visibility threshold (see The Visibility Condition) that makes at least one more symbol become hidden.
Set Visibility
Sets options to control the visibility condition of the coverage tree (see The Visibility Condition).
Tools Menu
The Tools menu contains the following menu choices:
Search
Searches for a visible node name in the coverage tree shown in the Main window.
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.
Search Again
Searches again for the same text as in the latest search. The behavior is the same as described in Search above.
Show Coverage
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.
The dialog controls the Editor threshold value with a slide bar, as well as whether to show transitions/symbols that are executed, either:
The Show button displays all diagram pages containing transitions or symbols that meet the threshold condition, one page at a time, with a confirmation dialog between each page.
Transitions (represented by the input symbol) or symbols matching the threshold condition are selected and colored with a temporary background color. The temporary background color can be removed with SDL editor > View > Temporary Colors > Remove. The temporary background color is also removed when the diagram is unloaded from the editor.
There is a No Dialog button in the confirmation dialog that can be used to avoid displaying the confirmation dialog for each page with symbols to show.
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.
Show in 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.
Show Details
Opens or raises the Coverage Details window, showing a coverage chart for the selected node.
Popup Menus
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.
On the Main Window Background
Collapses the whole tree, i.e. only the top node becomes visible.
On a Node in the Coverage Tree
Keyboard Accelerators
Apart from the general keyboard accelerators, the following accelerator can be used in the main window:
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |