Software Testing Based on SDL Specifications with Save

IEEE Transactions on Software Engineering

Volumn 20, Issue 1, 1994, Pages 72-87

  Luo, Gang ^a   Das, Anindya ^b   Bochmann, Gregor V ^b  

^a UNIVERSITY OF OTTAWA   (Canada)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

CCITT SDL; communication software; finite state machines; protocol conformance testing; protocol verification; SDL machines; software testing

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER TESTING; FINITE AUTOMATA; MATHEMATICAL TRANSFORMATIONS; NETWORK PROTOCOLS; QUEUEING THEORY;

COMMUNICATION SOFTWARE; PROTOCOL VERIFICATION; SDL MACHINES; SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 0028201950     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.263756     Document Type: Article

References (20)

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,” in SDL Forum'89: The Language at Work, Ove Faergemand and Maria Manuela Marques, Eds. New York: North-Holland, 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,” in SDL'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 and ISDN Syst., vol. 16, pp. 311-341, 1989.
7. R. Saracco and P. A. J. Tilanus, “CCITT SDL: Overview of language and its application,” Comput. Networks and ISDN Syst., vol. 13, no. 2, pp. 65-74, 1987.
8. G. V. Bochmann et al., “Fault models in testing,” in IFIP 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, 591-603, June 1991.
11. K. Sabnani and A. T. Dahbura, “A new technique for generating protocol tests”, ACM Comput. Commun. Rev., vol. 15, no. 4, pp. 36-43, 1985.
12. S. Naito and M. Tsunoyama, “Fault detection for sequential machines by transition tours.” in Proc. FTCS, 1981, pp. 238-243.
13. T. Bolognesi and Ed Brinksma, “Introduction to the ISO specification language LOTOS,” Comput. Network and ISDN Syst., vol. 14, no. 1, pp. 25-59, 1987.
14. S. Budkowski and P. Dembinski, “An introduction to Estelle: A specification language for distributed systems,” Comput. Network and ISDN Syst., vol. 14, no. 1, 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 Bachmann, 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,” in Proc. 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,” in SDL'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, 1991.