Software Testing Based on SDL Specifications with Save

  title={Software Testing Based on SDL Specifications with Save},
  author={Gang Luo and Anindya Das and Gregor von Bochmann},
  journal={IEEE Trans. Software Eng.},
The signal save construct is one of the features distinguishing SDL from traditional high-level specification and programming languages. However, this feature increases the difficulties of testing SDL-specified software. We present a testing approach consisting of the following three phases: SDL specifications are first abstracted into finite state machines… CONTINUE READING