This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Test Generation from LOTOS Specifications
April 1991 (vol. 40 no. 4)
pp. 543-552

A novel approach is proposed for generating test cases from LOTOS specifications for protocol conformance testing. A set of transformation rules is applied to the specification, and the specification is mapped to an extended finite state machine called a chart. The flow of data in the chart is modeled by a data flow graph. Test cases are generated from the chart. Program testing strategies are applied for test case selection. A tool implementing this methodology on a workstation is also discussed.

[1] G. v. Bochmann, "Specifications of a simplified transport protocol using different formal description techniques,"Computer Networks ISDN Syst., vol. 18, pp. 335-377, 1989/1990.
[2] T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification language LOTOS,"Computer Networks ISDN Syst., vol. 14, pp. 25- 59, 1987.
[3] E. Brinksma, "A theory for the derivation of tests," inProc. 8th IFIP Symp. Protocols, Atlantic City, NJ, June 1988.
[4] R. Castanet and R. Sijelmassi, "Methods and semi-automated tools for preparing distributed testing," inProc. 6th IFIP Symp. Protocols, Montreal, P.Q., Canada, June 1986.
[5] CCITT Specification and Description Language (SDL) Recommendations Z.100, CCITT Blue Book, 1988.
[6] L. A. Clarke and D. J. Richardson, "Applications of symbolic evaluation,"J. Syst. Software, vol. 5, pp. 15-35, 1985.
[7] D. Gueraichi, and L. Logrippo, "Derivation of test cases for LAP-B from LOTOS specification," inProc. FORTE'89, Vancouver, B.C., Canada, Dec. 1989.
[8] R. Guillemot and L. Logrippo, "Derivation of useful execution trees from LOTOS specification by using an interpreter," inProc. FORTE'88, Stirling, U.K., Sept. 1988.
[9] W. Howden,Functional Program Testing and Analysis. New York: Mc-Graw-Hill, 1987.
[10] OSI Conformance Testing Methodology and Framework Part3: DS 9646-3, The Tree and Tabular Combined Notation (TTCN), ISO, 1990.
[11] Open System Interconnection, "ESTELLE--A Formal Description Technique Based on an Extended State Transition Model," International Standard IS 9074,1988.
[12] G. Karjoth, "Implementing process algebra specifications by state machines," inProc. 8th IFIP Symp. Protocols, Atlantic City, NJ, June 1988.
[13] L. Logrippo, A. Obaid, J. P. Braind, and M. C. Fehri, "An interpreter for LOTOS, A specification language for distributed systems,"Software--Practice and Exper., vol. 18, pp. 365-385, Apr. 1988.
[14] R. Milner, "A complete inference system for a class of regular behaviors,"J. Comput. Syst. Sci., vol. 28, pp. 439-466, 1984.
[15] U. Pletat, "Algebraic specification of abstract data types and CCS: An operational junction," inProc. 6th IFIP Symp. Protocols, Montreal, P.Q., June 1986.
[16] B. Sarikayaet al., "A test design methodology for protocol testing,"IEEE Trans. Software Eng., vol. SE-13, no. 5, pp. 518-531, May 1987.
[17] C. Steenbergen, "Conformance testing of OSI systems," M.Sc. thesis, University of Twente, 1986.
[18] J. Tretmans, "Test case derivation from LOTOS specification," inProc. FORTE'89, Vancouver, B.C., Canada, Dec. 1989.
[19] B. Sarikaya, P. Tripathy, and S. Biedlingmaier, "LOTEST: A LOTOS based test case generation tool," Tech. Rep., available from the authors, 1991.
[20] C. D. Wezeman, "The CO-OP method for compositional derivation of conformance testers," inProc. 9th IFIP Symp. Protocols, Twente, June 1989.

Index Terms:
program testing; LOTOS specifications; protocol conformance testing; transformation rules; finite state machine; chart; formal specification; program testing; protocols; specification languages.
Citation:
P. Tripathy, B. Sarikaya, "Test Generation from LOTOS Specifications," IEEE Transactions on Computers, vol. 40, no. 4, pp. 543-552, April 1991, doi:10.1109/12.88472
Usage of this product signifies your acceptance of the Terms of Use.