![]() |
![]() |
![]() |
![]() |
![]() |
Purpose of This Tutorial
The purpose of this tutorial is to make you familiar with the essential validation functionality in the SDL Suite. With validation we mean exploring the state space of an SDL system with powerful methods and tools that will find virtually any kind of possible run-time errors that may be difficult to find with regular simulation and debugging techniques.
This tutorial is designed as a guided tour through the SDL Suite, where a number of hands-on exercises should be performed on your computer as you read this chapter.
We have on purpose selected a simple example that should be easy to understand. It is assumed that you have a basic knowledge about SDL -- this chapter is not a tutorial on SDL.
It is assumed that you have performed the exercises in Tutorial: The Editors and the Analyzer as well as Tutorial: The SDL Simulator before starting with the tutorial on the SDL Explorer.
You must have a C compiler installed on your computer system in order to validate an SDL system. Make sure you know what C compiler(s) you have access to before starting this tutorial.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |