SOFTWARE TESTING BASED ON SDL SPECIFICATIONS WITH SAVE

The signal save construct is one of the features distinguishing SDL fr om traditional high-level specification and programming languages. How ever, this feature increases the difficulties of testing SDL-specified software. We present a testing approach consisting of the following t hree phases: SDL specifications are first abstracted into finite state machines with save constructs, called SDL-machines; the resulting SDL -machines are then transformed into equivalent finite state machines w ithout save constructs if this is possible; and, finally, test cases a re selected from the resulting finite state machines. Since there are many existing methods for the first and third phases, we mainly concen trate in this paper upon the second phase and come up with a method of transforming SDL-machines into equivalent finite state machines, whic h preserve the same input/output relationship as in the original SDL-m achines. The transformation method is useful not only for testing but also for verifying SDL-specified software.