![]() |
![]() |
![]() |
![]() |
![]() |
Coverage Details Window
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 type of coverage chart
- The type and name of the node
- The total number of executed transitions/symbols.
- The number of covered transitions/symbols.
- The number of not covered transitions/symbols.
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.
The Coverage Chart
The coverage chart shows how many transitions/symbols in the node that have been executed a certain number of times:
- The horizontal axis denotes the number of times a transition/symbol is executed; the range of the axis is the same as the range shown for the node in the Main window.
- The vertical axis denotes the number of transitions/symbols that has been executed a specific number of times; the range of the axis cannot generally be determined from the values shown for the node in the Main window.
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 left most 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.
Quick Buttons
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
value of the upper range of the vertical axis. The reverse of the Increase Vertical Scale quick button above.Show Coverage Tree Pops up the Coverage Viewer's main window (the Coverage Tree window).
The Menu Bar
File Menu
The File menu contains the following menu choices:
(See Printing from the SDL Suite.)- Close
(See Close.)View Menu
The View menu contains the following menu choices:
Window Options
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.
Chart Options
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:
Set Scale
Issues a dialog where the scale for the Coverage Details window may be set.
Tools Menu
The Tools menu contains the following menu choices:
Show in Editor
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.
Show Coverage Tree
Raises the Coverage Viewer's main window.
Popup Menu
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.
Keyboard Accelerators
Apart from the general keyboard accelerators, the following accelerators can be used in the Coverage Details window:
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |