![]() |
![]() |
![]() |
![]() |
![]() |
The SDL Explorer Monitor
An SDL Explorer generated by the SDL Suite is similar to a simulator in that it contains an interactive monitor system. The explorer monitor looks and behaves very similar to the simulator monitor; the only real difference is the set of available commands.
Monitor User Interfaces
Two different user interfaces are provided for the explorer monitor, a textual and a graphical.
The textual interface only allows commands to be entered from the keyboard, in the same way as for the simulator monitor.
The graphical interface still allows commands to be entered from the keyboard in the same way, but also provides buttons, menus and dialogs for easy access to commands and other features.
The textual interface is invoked by executing the generated explorer directly from the operating system prompt. This is called running an explorer in textual mode. When started, the explorer responds with the following text:
Welcome to the SDL EXPLORERCommand :Another prompt may appear if the SDL system contains external synonyms. For more information, see Supplying Values of External Synonyms.
The graphical interface, known as the SDL Explorer UI, runs in a separate window. It is started from the Organizer by selecting SDL > Explorer UI from the Tools menu. The graphical interface is basically the same as for the simulator monitor. However, some special windows and menus have been added; see Graphical User Interface for more information.
Activating the Monitor
Commands can be issued to the interactive monitor system when it becomes active. The explorer's monitor system becomes active:
- When the explorer is started.
- When the last command was Next or Random-Down and the transitions initiated by this command have completed.
- When the last command was Bit-State-Exploration, Verify-MSC or Exhaustive-Exploration and the behavior tree down to the defined search depth has been fully explored.
- When the last command was Random-Walk and the defined number of repetitions have been executed.
- Immediately after a report with the report action Abort has been generated during automatic state space exploration.
- In the Explorer UI, when the Break button is clicked in the Explore button module; in textual mode, when <Return> is pressed during an automatic state space exploration.
No other characters may be typed before <Return> is pressed.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |