![]() |
![]() |
![]() |
![]() |
![]() |
5 Tutorial: The SDL Explorer
The SDL Explorer is the tool that you use for validating the behavior of your SDL systems, using state space exploration techniques. In this chapter, you will practice "hands-on" on the DemonGame system.
To be properly assimilated, this tutorial therefore assumes that you have gone through the exercises that are available in Tutorial: The Editors and the Analyzer as well as Tutorial: The SDL Simulator.
In order to learn how to use the Explorer, read through this entire chapter. As you read, you should perform the exercises on your computer system as they are described.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |