This Article 
 Bibliographic References 
 Add to: 
Software Testing Based on SDL Specifications with Save
January 1994 (vol. 20 no. 1)
pp. 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 with save constructs, called SDL-machines; the resulting SDL-machines are then transformed into equivalent finite state machines without save constructs if this is possible; and, finally, test cases are selected from the resulting finite state machines. Since there are many existing methods for the first and third phases, we mainly concentrate upon the second phase and come up with a method of transforming SDL-machines into equivalent finite state machines, which preserve the same input/output relationship as in the original SDL-machines. The transformation method is useful not only for testing but also for verifying SDL-specified software.

[1] Roberto Saracco, J. R. W. Smith, and Rick Reed,Telecommunications Systems Engineering Using SDL. New York: North-Holland, 1989.
[2] Dieter Hogrefe, "Automatic generation of test cases from SDL specifications,"SDL Newsletter, no. 12, June 1988.
[3] Anne Bourguet-Rouger and Pierre Combes, "Exhaustive validation and test generation in elivis," inSDL Forum'89: The Language at Work, Ove Faergemand and Maria Manuela Marques, Eds. New York: North-Holland, 1989, pp. 231-245.
[4] Gang Luo and Junliang Chen, "Investigation&testing for SDL SAVE function,"J. Beijing Univ. of Posts and Telecommun., vol. 12, no. 4, pp. 34-40, Dec., 1989.
[5] Gang Luo, Anindya Das, and Gregor v. Bochmann, "Test selection based on SDL specification with save," inSDL'91 Evolving Methods, Proc. 5th SDL Forum, O. Faergemand and R. Reed, Eds. New York: North-Holland, 1991, pp. 313-324.
[6] F. Belina and D. Hogrefe, "The CCITT-specification and description language SDL,"Comput. Networks ISDN Syst., vol. 16, no. 4, pp. 311-341, Mar. 1989.
[7] R. Saracco and P. Tilanus, "CCITT SDL: Overview of the language and its applications,"Comput. Networks ISDN Syst., vol. 13, pp. 65-74, 1987.
[8] G. v. Bochmannet al., "Fault models in testing," inIFIP Trans., Protocol Testing Systems IV (Proc. IFIP TC6 4th Int. Workshop on Protocol Test Systems), Jan Kroon, Rudolf J. Heijink, and Ed Brinksma, Eds. New York: North-Holland, 1992, pp. 17-30.
[9] T. S. Chow, "Testing software design modeled by finite-state machines,"IEEE Trans. Software Eng., vol. 4, no. 3, pp. 178-187, 1978.
[10] S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test selection based on finite state models,"IEEE Trans. Software Eng., vol. 17, no. 6, pp. 591-603, June 1991.
[11] K. Sabnani and A. Dahbura, "A new technique for generating protocol tests," inProc. 9th Data Commun. Symp., Sept. 1985, pp. 178-187.
[12] S. Naito and M. Tsunoyama, "Fault detection for sequential machines by transition tours," inProc. FTCS, 1981, pp. 238-243.
[13] T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification language LOTOS,"Computer Networks ISDN Syst., vol. 14, pp. 25- 59, 1987.
[14] S. Budkowski and P. Dembinski, "An introduction to Estelle: A specification language for distributed systems,"Comput. Networks ISDN Syst., vol. 14, pp. 3-23, 1987.
[15] O. Faergemand and R. Reed, Eds.,SDL'91 Evolving Methods, Proc. 5th SDL Forum. New York: North-Holland, 1991.
[16] B. Sarikaya, G. von Bochmann, and E. Cerny, "A test design methodology for protocol testing,"IEEE Trans. Software Eng., vol. SE-13, no. 9, pp. 989-999, Sept. 1987.
[17] F. Kristoffersen, L. Verhaard, and M. Zeeberg, "Test derivation for SDL based on ACTs," inProc. IFIP 5th Int. Conv. Formal Description Techniques, M. Diaz and R. Groz, Eds., 1992.
[18] A. Kalnins, "Global state based automatic test generation for SDL," inSDL'91 Evolving Methods, Proc. 5th SDL Forum, O. Faergemand and R. Reed, Eds. New York: North-Holland, 1991, pp. 303-312.
[19] D. Y. Lee and J. Y. Lee, "A well-defined Estelle specification for the automatic test generation,"IEEE Trans. Comput., vol. 40, no. 4, pp. 526-542, Apr. 1991.
[20] F. Belina, D. Hogrefe, and A. Sarma,SDL with Applications from Protocol Specification. Englewood Cliffs, NJ: Prentice-Hall, 1990.

Index Terms:
program testing; finite state machines; formal specification; specification languages; program verification; SDL specifications; software testing; signal save construct; high-level specification; programming languages; finite state machines; SDL-machines; SDL-machine transformation; input/output relationship; software verification
G. Luo, A. Das, G.v. Bochmann, "Software Testing Based on SDL Specifications with Save," IEEE Transactions on Software Engineering, vol. 20, no. 1, pp. 72-87, Jan. 1994, doi:10.1109/32.263756
Usage of this product signifies your acceptance of the Terms of Use.