This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Update The Derivation of Conformance Tests From LOTOS Specifications
December 1990 (vol. 16 no. 12)
pp. 1337-1343

The derivation of conformance tests for communication protocols is discussed. Protocol specifications are considered in the formal description technique LOTOS, which has been developed by the International Standards Organization. Test processes which preserve the structure of the protocol specifications are constructed. Laws are presented for handling basic LOTOS operators. The test processes obtained by applying these laws are related to the theoretical notion of canonical testers. The conversion of the test processes into finite test suites is discussed. Their relationship to current practice in test suite design is discussed.

[1] T. Bolognese and E. Brinksma, "Introduction to the ISO specification language LOTOS," inProc. FORTE 88. Amsterdam, The Netherlands: North-Holland, Sept. 1988.
[2] E. Brinksma, G. Scollo, and C. Steenbergen, "LOTOS specifications, their implementation and their tests," inProc. 6th Int. Workshop Protocol Specification, Testing and Verification, June 1986.
[3] G. W. Cowin, "Overview of a test suite for the ISO network convergence protocol," NPL Rep. DITC 59/85, England, 1985.
[4] G. W. Cowin, R. W. S. Hale, and D. Rayner, "Protocol testing, some comparison and lessons, inProc. 3rd Int. Workshop Protocol Specification, Testing and Verification, June 1983.
[5] CTS-WAN/PUB/OVERVIEW, "Overview of the CTS-WAN project," PDMB Secretariat, NCC, Manchester, England.
[6] CTS-WAN/PUB/CAT, "The CTS-WAN catalogue," PDMB Secretariat, NCC, Manchester, England.
[7] Ehrig, H., and B. Mahr,Fundamentals of Algebraic Specification 1, Springer-Verlag, Berlin, 1985.
[8] J. R. Halliwell, T. J. Holland, and D. Freestone, "Conformance testing of communications protocols in information systems,"British Telecom Technol. J., vol. 4, no. 3, July 1986.
[9] C.A.R. Hoare,Communicating Sequential Processes, Prentice Hall, Englewood, N.J., 1985.
[10] ISO/DIS/8807, "LOTOS--A formal description technique based on the temporal ordering of observational behavior," Aug. 1987.
[11] ISO DP9646-1, "OSI conformance testing methodology and framework, part 1, general concepts."
[12] ISO DP9646-2, "OSI conformance testing methodology and framework, part 2, abstract test suite specification."
[13] R. J. Linn and W. H. McCoy, "Producing tests for implementation of OSI protocols," inProc. 3rd Int. Workshop Protocol Specification Testing and Verification. Amsterdam, The Netherlands: North-Holland, June 1983.
[14] J. de Meer, "Derivation and validation of test scenarios based on the formal specification language LOTOS," inProc. 6th Int. Workshop Protocol Specification Testing and Verification. Amsterdam, The Netherlands: North-Holland, June 1986.
[15] R. Milner,A Calculus of Communicating Systems (Lecture Notes in Computer Science 92). New York: Springer-Verlag, 1980.
[16] G. Monduai, K. Tarnay, and T. Tibor, "Some experiences with test sequence generation in application layer," inProc. 6th Int. Workshop Protocol Specification Testing and Verification. Amsterdam, The Netherlands: North-Holland, June 1986.
[17] R. De Nicola and M.C.B. Hennessy, "Testing equivalences for processes,"Theoretical Comput. Sci., vol. 34, Sept. 1984.
[18] J.R. Pavel and D. J. Dwyer, "Some experiences of testing protocol implementations," National Physical Lab., England, Rep. DITC 48/84, 1984.
[19] K.J. Turner, "LOTOS--A practical formal description technique for OSI," Online Conf., England, Mar. 1987.
[20] H. Ural and R.L. Probert, "User-guided test sequence generation," inProc. 3rd Int. Workshop Protocol Specification Testing and Verification. Amsterdam, The Netherlands: North-Holland; June 1983.

Index Terms:
OSI; conformance tests; communication protocols; formal description technique LOTOS; International Standards Organization; protocol specifications; basic LOTOS operators; test processes; theoretical notion; canonical testers; finite test suites; test suite design; conformance testing; formal languages; formal specification; open systems; protocols; standards
Citation:
D.H. Pitt, D.E. Freestone, "Update The Derivation of Conformance Tests From LOTOS Specifications," IEEE Transactions on Software Engineering, vol. 16, no. 12, pp. 1337-1343, Dec. 1990, doi:10.1109/32.62442
Usage of this product signifies your acceptance of the Terms of Use.