Software Testing Based on SDL Specifications with Save

@article{Luo1994SoftwareTB,
  title={Software Testing Based on SDL Specifications with Save},
  author={Gang Luo and Anindya Das and Gregor von Bochmann},
  journal={IEEE Trans. Software Eng.},
  year={1994},
  volume={20},
  pages={72-87}
}
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