Sciweavers

PTS
1993

Generating Tests for Control Portion of SDL Specifications

14 years 23 days ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-specified software. We present a testing approach consisting of the foll ifications are first abstracted into finite state machines with save constructs machines are transformed to equivalent finite state machines without save construc are selected from the resulting finite state machines. In particular, we give a fault m selection. We come up with an equivalent transformation method which works for constructs for which equivalent FSMs exist. We also investigate the detection of fa queue.
Gang Luo, Anindya Das, Gregor von Bochmann
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where PTS
Authors Gang Luo, Anindya Das, Gregor von Bochmann
Comments (0)