![]() |
![]() |
![]() |
![]() |
![]() |
Introduction
Application Areas
The SDL Explorer is a tool intended to support engineers involved in development of specifications or designs using SDL. It is designed to give the engineers a possibility to increase the quality of their work and to automate time-consuming tasks. It is focused on the following major application areas in the development process:
- It provides an automated fault detection mechanism that checks the robustness of the application and finds inconsistencies and problems in an early stage of development. This is often referred to as validating an SDL system. See Validating an SDL System.
- When verifying the system against requirements, the Explorer provides a possibility to perform automatic verification of the requirements expressed using the MSC (Message Sequence Chart) notation. See Verifying an MSC.
- When designing safety-critical or complex systems the Explorer provides a possibility to test specific properties of the design. See Using Observer Processes.
- When developing TTCN test cases, the Autolink feature of the Explorer can be used to create and use MSC test purposes and to generate TTCN test cases. See Using Autolink.
Structure of an SDL Explorer
An executable explorer is built up in the same way as a simulator. See Structure of a Simulator for more information.
The same interactive monitor system as for a simulator is used, but the set of available commands differ. The graphical user interface to the explorer monitor, the Explorer UI, works in the same way as the Simulator UI, but the set of available command buttons differ. For a description of some other differences, see The SDL Explorer User Interface.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |