This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Well-Defined Estelle Specification for the Automatic Test Generation
April 1991 (vol. 40 no. 4)
pp. 526-542

The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, is proposed based on the analyzed results to enable a direct derivation of a single reduced finite state machine-which is called a CFG (control flow graph)-from the specification written in Estelle. The derived CFG provides a basis for the automatic test case generation. Algorithms to test whether the specification written in Estelle is well defined or not, and to generate the CFG from the well-defined specification, are developed. Finally, as an example, the proposed technique is applied to TP0 (transport protocol class 0) specification written in Estelle. In applying these algorithms to the Estelle specification, some guidelines are also suggested for the specification which is not well defined.

[1] R. J. Linn, "Conformance evaluation methodology and protocol testing,"IEEE J. Select. Areas Commun., vol. 7, no. 7, pp. 1143-1158, Sept. 1989.
[2] ISO, Information Processing Systems, Open Systems Interconnection, OSI Conformance Testing Methodology and Framework, ISO DIS 9646.
[3] ISO/IS 9074, "Estelle: A Formal Description Technique Based on an Extended State Transition Model," 1989.
[4] ISO/IS 8807, "LOTOS: A formal description technique," 1989.
[5] CCITT SG XI, Recommendation Z.100, 1987.
[6] ISO, Information Processing Systems, Open Systems Interconnection, "Proposed New Question on Formal Approaches in Conformance Testing," ISO/IEC/JTC1/SC21/N2528.
[7] K. Sabnani and A. Dahbura, "A new technique for generating protocol tests," inProc. 9th Data Commun. Symp., Sept. 1985, pp. 178-187.
[8] A. Ahoet al., "An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman tours," inProtocol in Proc. Protocol Specification, Testing, Verification VIII, 1988, pp. 75-86.
[9] S. Naito and M. Tsunoyama, "Fault detection for sequential machines by transition tours," inProc. 11th IEEE Fault Tolerant Comput. Conf., 1981, pp. 238-243.
[10] T. S. Chow, "Testing software design modeled by finite state machines,"IEEE Trans. Software Eng., vol. SE-4, May 1978.
[11] G. Gonenc, "A method for the design of fault detection experiments,"IEEE Trans. Comput., vol. C-19, pp. 551-558, June 1970.
[12] B. Sarikayaet al., "A test design methodology for protocol testing,"IEEE Trans. Software Eng., vol. SE-13, no. 5, pp. 518-531, May 1987.
[13] H. Ural, "Test sequence selection based on static data flow analysis,"Comput. Commun., vol. 10, no. 5, pp. 234-242, Oct. 1987.
[14] J. P. Favreau and R. J. Linn, "Automatic generation of test scenario skeletons from protocol specifications written in Estelle," inProc. Protocol Specification, Testing, Verification VI, 1987, pp. 191-202.
[15] E. Brinksma, "A theory for the derivation of tests," inProc. 8th IFIP Symposium Protocols, Atlantic City, NJ, June 1988.
[16] C. D. Wezeman, "The CO-OP method for compositional derivation of conformance testers," inProc. 9th IFIP Symp. Protocols, Twente, June 1989.
[17] P. Tripath and B. Sarikaya, "Test generation from protocol specification," inProc. 2nd Int. Conf. Formal Description Techniques for Distributed Syst. Commun. Protocols, Vancouver, B.C., Canada, Dec. 1989, pp. 455-468.
[18] B. Sarikaya and G. Bochmann, "Obtaining normal form specification for protocols," inProc. COMNET'85, Budapest, Hungary, Oct. 1985, pp. 6.133-6.149.
[19] DTR 10167: Guidelines for the Application of Estelle, LOTOS, and SDL, JTC1 N642 (SC21 N4259), Jan. 1990.
[20] M. Diaz, J. Dufau, and R. Groz, "Experiences using Estelle within SEDOS Estelle demonstrator," inFormal Description Techniques, S. Vuong, Ed. Amsterdam, The Netherlands: North Hollland, pp. 455-470.

Index Terms:
strategic testing environment; Estelle specification; automatic test generation; single reduced finite state machine; control flow graph; transport protocol class 0; conformance testing; finite automata; formal specification; protocols; specification languages.
Citation:
D.Y. Lee, J.Y. Lee, "A Well-Defined Estelle Specification for the Automatic Test Generation," IEEE Transactions on Computers, vol. 40, no. 4, pp. 526-542, April 1991, doi:10.1109/12.88471
Usage of this product signifies your acceptance of the Terms of Use.