Skip to main content
SpringerLink
Log in

Generating conformance tests for nondeterministic protocol machines

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both non-deterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed method can be used to test the control portion of software specified in the formal specification languages SDL or ESTELLE.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Rayner D. OSI conformance testing.Computer Networks & ISDN Systems, 1987, 14: 79–89.

    Article  Google Scholar 

  2. von Bochmann G. Trace analysis for conformance and arbitration testing.IEEE Trans. on Software Engineering, 1989, SE-15(11).

  3. Fujiwara S, von Bochmann G, Khendek Fet al. Test selection based on finite state models.IEEE Trans. on Software Engineering, 1991, SE-17(6): 591–603.

    Article  Google Scholar 

  4. Pitt D H, Freestone D. The derivation of conformance tests from Lotos specifications.IEEE Trans. on Software Engineering, 1990, SE-16(12): 1337–1343.

    Article  Google Scholar 

  5. Sidhu D P, Leung T K. Formal methods for protocol testing: a detailed study.IEEE Trans. on Software Engineering, 1989, SE-15(4): 413–426.

    Article  Google Scholar 

  6. Sarikaya B, von Bochmann G, Cerny E. A test design methodology for protocol testing.IEEE Trans. on Software Engineering, 1987, 13(9): 989–999.

    Article  Google Scholar 

  7. Chow T S. Testing software design modeled by finite-state machines.IEEE Trans. on Software Engineering, 1978, SE-4(3): 178–187.

    Article  Google Scholar 

  8. Aho A V, Bosik B S, Griesmer S J. Protocol testing and verification within AT&T.AT&T Technical Journal, 1990, 69(1): 4–6.

    Google Scholar 

  9. Special Issue on Protocol Testing and Verification.AT&T Technical Journal, 1990, 69(1).

  10. Petrenko A. Checking experiments with protocol machines. In: Kroon J, Heijink R J, Brinksma E eds. IFIP Transactions, Protocol Testing Systems IV (Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991), North-Holland, 1992, pp. 83–94.

  11. Gonenc G. A method for design fault detection experiments.IEEE Trans. on Computers, 1970, C-19: 551–558.

    Article  Google Scholar 

  12. Vuong S T, Chan W W L, Ito M R. The UIOv-method for protocol test sequence generation. In: de Meer J, Machert L, Effelsberg W eds. Proc. of IFIP TC6 Second International Workshop on Protocol Testing Systems, North-Holland, 1989, pp. 161–175.

  13. Sabnani K, Dahbura A T. A new technique for generating protocol tests.ACM Computer Communication Review, 1985, 15(4): 36–43.

    Article  Google Scholar 

  14. Vasilevskii M P. Failure diagnosis of automata. Cybernetics, Plenum Publishing Corporation, New York, No. 4, 1973, pp. 653–665.

    Google Scholar 

  15. Bolognesi T, Brinksma E. Introduction to the ISO specification language Lotos.Computer Networks and ISDN Systems, 1987, 14(1): 25–59.

    Article  Google Scholar 

  16. Budkowski S, Dembinski P. An introduction to Estelle: A specification language for distributed systems.Computer Networks and ISDN Systems, 1987, 14(1): 3–23.

    Article  Google Scholar 

  17. Belina F, Hogrefe D. The CCITT-specification and description language SDL.Computer Networks and ISDN Systems, 1989, 16: 311–341.

    Article  Google Scholar 

  18. SDL Newsletter. December 1991.

  19. Witteman M F, van Wuijtswinkel R C, Berkhout S R. Nondeterministic and default behaviour. In: van Bochmann G, Dssouli R, Das A eds. Participants' Proceedings of 5th International Workshop on Protocol Testing Systems, Montreal, Canada, 1992, pp. 241–252.

  20. Brinksma E. A theory for the derivation of tests. In: Aggarwal S, Sabnani K eds. IFIP Protocol Specification, Testing, and Verification VIII, Elsevier Science Publishers B.V., North-Holland, 1988, pp. 63–74.

    Google Scholar 

  21. Fujiwara S, von Bochmann G. Testing nondeterministic finite state machine with fault coverage. In: Droon J, Heijink R J, Brinksma E eds. IFIP Transactions, Protocol Testing Systems IV (Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991), North-Holland, 1992, pp. 267–280.

  22. Fujiwara S, von Bochmann Gregor. Testing nondeterministic finite state machine. Publication #758 of D.I.R.O., University of Montreal, January 1991.

  23. Luo Gang, Chen Junliang. Generating test sequences for communication protocol modeled by CNFSM. In: Chen Liweiet al. eds. Information Technology: Advancement, Productivity and International Cooperation (Proc. of the 3rd Pan Pacific Computer Conference), Vol. I, International Academic Publishers, 1989, pp. 688–694.

  24. Tripathy P, Naik K. Generation of adaptive test cases from nondeterministic finite state models. In: von Bochmann G, Dssouli R, Das A eds. Participants' Proceedings of 5th International Workshop on Protocol Testing Systems, Montreal, canada, 1992, pp. 266–279.

  25. Kloosterman H. Test derivation from nondeterministic finite state machines. In: von Bochmann G, Dssouli R, Das A eds. Proceedings of 5th International Workshop on Protocol Testing Systems, Montreal, canada, 1992, pp. 254–265.

  26. Starke P H. Abstract automata. Elesevier, North-Holland/American, 1972, p. 419.

    MATH  Google Scholar 

  27. Luo Gang, von Bochmann G, Das A, Wu Cheng. Failure-equivalent transformation of transition system to avoid internal actions. Publication #789 of D.I.R.O., University of Montreal, Sept. 1991, accepted byInformation Processing Letters.

  28. Kohavi Z. Switching and finite automata theory. McGraw-Hill Computer Science Series, New York, 1970.

  29. Hopcroft J E, Ullamn J D. Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Company, Inc., 1979, p. 418.

  30. Luo Gang, DAS A, von Bochmann Gregor. Test selection based on SDL specification with save. In: SDL'91: Evolving Methods (Proceedings of 5th SDL Forum), North-Holland, 1991, 313–324.

  31. von Bochmann G, Das A, Dssouli Ret al. Fault model in testing. In: Kroon J, Heijink R J, Brinksma E eds. IFIP Transactions, Protocol Testing Systems IV (Proc. of IFIP TC6 Fourth Int'l Workshop on Protocol Test Systems, 1991), 1992, North-Holland, pp. 17–30.

Download references

Author information

Authors and Affiliations

  1. Department d'IRO, University de Montreal, Succ. A, C.P. 6128, H3C 3J7, Montreal, P.Q., Canada

    Luo Gang

Authors
  1. Luo Gang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luo Gang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Luo, G. Generating conformance tests for nondeterministic protocol machines. J. of Comput. Sci. & Technol. 9, 289–301 (1994). https://doi.org/10.1007/BF02943576

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943576

Keywords

Search

Navigation