IBM
Contents Index Previous Next



Graphical User Interface


This section describes the appearance and functionality of the graphical user interface to the explorer monitor (ExpUI). Some user interface descriptions general to all tools can be found in User Interface and Basic Operations. These general descriptions are not repeated in this chapter.

Note:

The ExpUI looks and behaves very much like the SimUI, the graphical user interface to the simulator monitor. The differences are the set of available monitor commands and button modules, and a few additional menus and sub windows.

For an explanation of the Explorer main window, depicted in Figure 483, see Graphical User Interface.

Figure 483 : The main window

Starting the ExpUI

A new ExpUI is started by selecting SDL > Explorer UI from the Tools menu in the Organizer. When the ExpUI is started, a number of definition files are read, controlling the contents of the main window and some status windows. See Definition Files for more information.

No explorer is started automatically by the ExpUI in this way. The user must start an explorer by selecting Open from the File menu, as stated in the text area of the main window, or by using the Open quick button.

A simple way to generate an explorer, start the ExpUI and open the explorer is to click the Explore quick button in the Organizer.

When a simulator is started, a file selection dialog may be opened if the SDL system contains external synonyms. For more information, see Supplying Values of External Synonyms.

The Default Button Modules

The following tables list the default buttons in the button modules and the corresponding monitor command. See Monitor Commands for more information.

Note:

The buttons in the button modules are specified in the button definition file. If the default button file is not used, the button modules may be different than described here. See Button and Menu Definitions for more information.

The EXPLORE Module

Button Monitor command

Bit-State

Bit-State-Exploration

Exhaustive

Exhaustive-Exploration

Top

Top

Bottom

Bottom

Random Walk

Random-Walk

Tree Search

Tree-Search

Up

Up 1

Down

Down 1

Tree Walk

Tree-Walk

Verify MSC

Verify-MSC

Navigator

Show-Navigator

Break

Pressing <Return>

The VIEW Module

Button Monitor command

Scope

Scope

Set Scope

Set-Scope

Scope Up

Scope-Up

Scope Down

Scope-Down

Call Stack

Stack

Ready Q

List-Ready-Queue

Process List

List-Process

Process

Examine-PId

Input Port

List-Input-Port

Signal

Examine-Signal-Instance

Timer List

List-Timer

Timer

Examine-Timer-Instance

Variable

Examine-Variable

The TEST VALUES Module

Button Monitor command

List Value

List-Test-Values

List Par

List-Parameter-Test-Values

List Signal

List-Signal-Definitions

Clear Signal

Clear-Signal-Definitions

Def Value

Define-Test-Value

Def Par

Define-Parameter-Test-Value

Def Signal

Define-Signal

Extract Sigs

Extract-Signal-Definitions-From-MSC

Clear Value

Clear-Test-Values

Clear Par

Clear-Parameter-Test-Values

The Menu Bar

This section describes the additional menus of the ExpUI's menu bar in comparison with the SimUI. The menus common to both the ExpUI and the SimUI is described in The Menu Bar.

The menu bar contains the following menus:

Additional SDL Explorer Menus

In addition to the standard SimUI menus, a few special explorer menus are included in the menu bar. The menu choices in these menus simply execute a monitor command, i.e. they are functionally equivalent to buttons in the button modules. If the monitor command requires parameters, they are prompted for using dialogs in the same way as the command buttons.

The following tables list the default menu choices and the corresponding monitor command. See Monitor Commands for more information.

Note:

The additional menus in the ExpUI are specified in the button definition file. If the default button file is not used, the additional menus may be different than described here. See Button and Menu Definitions for more information.

Commands Menu

Menu choice Monitor command

Toggle MSC Trace

MSC-Trace

Toggle SDL Trace

SDL-Trace

Show Report Viewer

Show-Report-Viewer

Show Coverage Viewer

Show-Coverage-Viewer

Show Navigator

Show-Navigator

Define Rule

Clear-Rule ; Define-Rule

Include Command Script

Include-File

Options1 Menu

Menu choice Monitor command

Show Options

Show-Options

Reset

Reset

Default

Default-Options

Advanced

Define-Scheduling All ; Define-Priorities 1 1 1 1 1 ; Define-Max-Input-Port-Length 2 ; Define-Report-Log MaxQueuelength Off

State Space : Transition

Define-Transition

- : Scheduling

Define-Scheduling

- : Priorities

Define-Priorities

- : Input Port Length

Define-Max-Input-Port-Length

- : Transition Length

Define-Max-Transition-Length

- : Max Instance

Define-Max-Instance

- : Timer Progress

Define-Timer-Progress

- : Channel Queues

Define-Channel-Queue

- : Max State Size

Define-Max-State-Size

- : Symbol Time

Define-Symbol-Time

Report : Continue

Define-Report-Continue

- : Prune

Define-Report-Prune

- : Abort

Define-Report-Abort

- : Report Log

Define-Report-Log

MSC Trace Auto Popup

Define-MSC-Trace-Autopopup

Report Viewer Auto Popup

Define-Report-Viewer-Autopopup

Options2 Menu

Menu choice Monitor command

Show Options

Show-Options

Bit-State : Hash Size

Define-Bit-State-Hash-Table-Size

- : Depth

Define-Bit-State-Depth

- : Iteration Step

Define-Bit-State-Iteration-Step

Random Walk : Repetitions

Define-Random-Walk-Repetitions

- : Depth

Define-Random-Walk-Depth

Exhaustive : Depth

Define-Exhaustive-Depth

Tree Search : Depth

Define-Tree-Search-Depth

MSC Ver : Timer Check Level

Define-Timer-Check-Level

- : Condition Check

Define-Condition-Check

- : Depth

Define-MSC-Verification-Depth

Autolink : Concurrent TTCN

Define-Concurrent-TTCN

- : Depth

Define-Autolink-Depth

- : Generation Mode

Define-Autolink-Generation-Mode

- : Global Timer

Define-Global-Timer

- : Hash Table Size

Define-Autolink-Hash-Table-Size

- : Options

Define-Autolink-State-Space-Options

- : Signal Mapping

Define-TTCN-Signal-Mapping

- : Test Cases Directory

Define-MSC-Test-Cases-Directory

- : Test Steps Directory

Define-MSC-Test-Steps-Directory

- : Test Steps Format

Define-TTCN-Test-Steps-Format

Autolink1 Menu

Menu choice Monitor command

MSC : Save Test Case

Save-MSC-Test-Case

- : Save Reports

Save-Reports-as-MSC-Test-Cases

- : Save Error Reports

Save-Error-Reports-As-MSCs

- : Save Test Step

Save-MSC-Test-Step

- : List

List-MSC-Test-Cases-And-Test-Steps

- : Clear Test Case

Clear-MSC-Test-Case

- : Clear Test Step

Clear-MSC-Test-Step

Test case : Generate

Generate-Test-Case

- : Translate

Translate-MSC-Into-Test-Case

- : List

List-Generated-Test-Cases

- : Print

Print-Generated-Test-Case

- : Clear

Clear-Generated-Test-Case

- : Save

Save-Generated-Test-Case

- : Load

Load-Generated-Test-Cases

Test suite : Save

Save-Test-Suite

Autolink2 Menu

Menu choice Monitor command

Configuration : Define

Define-Autolink-Configuration

- : Print

Print-Autolink-Configuration

- : Clear

Clear-Autolink-Configuration

- : Save

Save-Autolink-Configuration

- : Load

Include-File

Constraint : Define

Define-Constraint

- : List

List-Constraints

- : Rename

Rename-Constraint

- : Merge

Merge-Constraints

- : Parameterize

Parameterize-Constraint

- : Clear

Clear-Constraint

- : Save

Save-Constraint

- : Load

Load-Constraints

Timer : Define

Define-Timer-Declaration

The Command and Watch Windows

The Command window of the ExpUI is identical to the SimUI (see Command Window). The only difference is that the default commands to execute are "List-Process -" and "Print-Trace 1". The set of commands to execute are stored in a command definition file (see Definition Files). The default command definition file can be changed with the Preference Manager.

The Watch window of the ExpUI is identical to the SimUI (see Watch Window).

The Navigator Tool

The Navigator is a separate tool in the ExpUI that is used for navigating in the behavior tree. It can be opened in the following ways:

Figure 484 : The Navigator window

The Navigator window consists of the tree area and the tool bar. There is no menu bar or status bar in the Navigator window.

Tree Area

The tree area of the Navigator window shows the structure of the behavior tree around the current system state. Each box, or node, represents a tree transition from one system state to another.

The text in the boxes contains the textual trace describing the tree transition. This may represent a complete or partial SDL process graph transition, depending on how the behavior tree is set up. The number of down nodes also depends on the structure of the behavior tree. This is determined by the state space options; see State Space Options.

Double-clicking a node in the Navigator executes the corresponding tree transition and moves one level up or down in the behavior tree. The current system state is changed and the Navigator window is updated to show the situation around the new system state.

Note:

Double-clicking a collapsed node (see below) does not expand the node; it always executes the corresponding transition.

The Navigator window is also updated whenever a monitor command is executed that changes the current system state.

Popup Menus

Each node in the node area has an associated popup menu.

Up 1

On the up node: Go up one level in the tree. This is the same as double-clicking the up node.

Up to top

On the up node: Go to the top of the behavior tree.

Continue Up

On the up nodes: Go up in the tree until more than one transition is possible (see Continue-Up-Until-Branch command).

Goto

On the down nodes: Go down this branch of the tree. This is the same as double-clicking the down node.

Continue

On the down nodes: Go down this branch of the tree until more than one transition is possible (see Continue-Until-Branch command).

Expand

Expand the collapsed node to show the down nodes.
(Not applicable on a down node.)

Expand Substructure

The same as Expand.

Collapse

Collapse the node to hide the down nodes. A small triangle below the node shows that it is collapsed.
(Not applicable on a down node.)

Quick Buttons

The following quick buttons are special to the Navigator tool. The general quick buttons are described in General Quick-Buttons.

Close

Closes the Navigator tool.

Structure

Switches between a tree structure and a list structure in the node area.

Show Explorer UI

Raises the Explorer UI window.

The Report Viewer

The Report Viewer is a separate tool in the ExpUI that is used for examining the reports generated during an automatic state space exploration. It is opened in one of the following ways:

Figure 485 : The Report Viewer

The Report Viewer window consists of the Report Area, containing Popup Menus, and the tool bar, containing Quick Buttons. There is no menu bar or status bar in the Report Viewer window.

Report Area

The report area of the Report Viewer shows the current reports from the latest state space exploration in the form of a report tree. The report tree contains three levels of nodes (see Figure 485):

Double-clicking a report node at the bottom level causes the Explorer to "go to" the report, i.e., go to the system state where the report was generated. The following things happen:

Double-clicking the top node or a report type node will expand or collapse the node, depending on its state. A collapsed node hides its underlying nodes and is indicated by a small triangle below the node.

Popup Menus

Goto

Only on report nodes: Go to the report. This is the same as double-clicking the report node.

Expand

Expand the collapsed node to show the nodes in the next level of the tree. This is the same as double-clicking the collapsed node (top node or report type node).
(Not applicable on a report node.)

Expand Substructure

Expand the collapsed node to show all nodes on all levels below it.
(Not applicable on a report node.)

Collapse

Collapse the node to hide all nodes on all levels below it. This is the same as double-clicking the node (top node or report type node).
(Not applicable on a report node.)

Quick Buttons

The following quick buttons are special to the Report Viewer. The general quick buttons are described in General Quick-Buttons.

Close

Closes the Report Viewer.

Structure

Switches between a tree structure and a list structure in the report area.

Show Explorer UI

Raises the Explorer UI window.

Definition Files

In the ExpUI, the syntax and contents of the definition files are the same as for the SimUI; see Definition Files. The default file names for the definition files are val_def.btns, val_def.cmds and val_def.vars, respectively.


http://www.ibm.com/rational
Contents Index Previous Next