The derivation of test cases from SDL specifications

ABSTRACT

This paper describes the derivation of test cases for communications protocols based on a formal specification technique. It presents a methodology for generating test cases from the CCITT (International Consultative Committee for Telephones and Telegraphs) Specification and Description Language (SDL). An algorithm is given for constructing a finite global tree called the global developed tree. The algorithm is based on some reasonable restrictions for terminating the growth of global nodes, which could be infinite. The paper discusses how to convert the test processes into finite test suites. Three components are given : testing methodology for SDL, SDL to the global tree translation and the termination of the global tree.

REFERENCES

• Abbo86: J.Abbott : "Software Testing Techniques", NCC Publications, The National Computer Centre Limited, 1986.
• Beiz84: Boris Beizer, Software system testing and quality assurance, Van Nostrand Reinhold Co., New York, NY, 1984
• Brom89: Bromstrup, L., Hogrefe, D.:TESDL: Experience with Generating Test Cases from SDL Specifications, SDL'89: The Language at Work, 1989.
• CCIT76: CCITT Recommendations Z.100 to Z.103, 1976,Green Book,Volume VI.4.
• CCIT80: CCITT Recommendations Z.100 to Z.104, November 1980, Yellow Book, Volume VI-Fascicle V 1.7.
• CCIT84: CCITT Recommendations Z.100 to Z.104, October 1984, Red Book, Volume VI Fascicle VI.10, and Annexes to Recommendations Z.100 to Z.104, Volume VI-Fascicle VI.11.
• CCIT88: CCITT, "SDL User Guide-lines", Annex D to Z.100. 1988.
• ChJa89: K.E.Cheng, L.N.Jackson "MELBA+: The MELBA Plus Case Tools Project'" Report No.1 March 1989 Research and Development Memorandum No.CATI~/118080.
• Chus87: T. Chusho, Test data selection and quality estimation based on the concept of essential branches for path testing, IEEE Transactions on Software Engineering, v.13 n.5, p.509-517, May 1987 [doi>10.1109/TSE.1987.233196]
• Deck89: Rick Decker, Data structures, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• Deut82: Michael S. Deutsch, Software Verification and Validation: Realistic Project Approaches, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• Farg87: O.Fargemand : " The Abstract SDL MAchine in the Formal Model", SDL'87:State of the Art and Future Trends, North-Holland, 1987.
• Ham88: M.Wilbur-Ham "A Tutorial Introduction to SDL" ASWEC'88.
• Hao89: T.N.Hao, Lindsay,N.J.,Ken,R.P. "Rechability Graph Generator for SDL", SDL'89: The Language at Work,1989.
• Hao91: T.N.Hao, "The Development of Reachability Graph Generator for SDL", Master Thesis at Dept. of Communication and Electrical Engineering, June 1991.
• Howd86: W E Howden, A functional approach to program testing and analysis, IEEE Transactions on Software Engineering, v.12 n.10, p.997-1005, Oct. 1986
• Kore90: B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, v.16 n.8, p.870-879, August 1990 [doi>10.1109/32.57624]
• Ntaf88: S. C. Ntafos, A Comparison of Some Structural Testing Strategies, IEEE Transactions on Software Engineering, v.14 n.6, p.868-874, June 1988 [doi>10.1109/32.6165]
• Prat88: Ronald E. Prather, Discrete Mathematical Structures for Computer Science, Houghton Mifflin Co., Boston, MA, 1976
• PrMy87: R. E. Prather , J. P. Myers, Jr., The path prefix software testing strategy, IEEE Transactions on Software Engineering, v.13 n.7, p.761-766, July 1987 [doi>10.1109/TSE.1987.233487]
• Rein83: E.MReingold, W.J.Hansen : "Data Structures", Little,Brown and Company, 1983.
• RoCo89: A.B.Rouger, P.Combes "Exhaustive Validation and Test Generation in ELVIS" SDI,'89 The Language at Work, Portugal, 9-13 October, 1989.
• VuCo83: Son T. Vuong , Donald D. Cowan, Reachability analysis of protocols with FIFO channels, Proceedings of the symposium on Communications Architectures & Protocols, March 08-09, 1983, Austin, Texas
• WoHe80: M.R.Woodward, D.Hedley, M.A.Hennell : "Experience with Path Analysis and Testing of Programs", IEEE Transactions on Software Engnieering, VOL.SE-6, NO.3, May 1980.

INDEX TERMS

Keywords:
Finite State Machine Products, Formal Description Techniques (FDT), SDL, Software Testing, Test Coverage, Test Suites, Tree