Skip to main content
SpringerLink
Log in

A modified transition tour protocol test method

  • Published:
Journal of Systems Integration

Abstract

Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tourprotocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The conresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

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. A. V. Aho, A. T. Dahbura, D. Lee, and M. Umit Uyar. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours.IEEE Trans. on Communications, 39(11):1604–1615, 1991.

    Google Scholar 

  2. N. P. Alfano and B. Kanungo. X.25 development of an international standard for conformance testing X.25 DTEs. InProc. of Protocol Specification. Testing, and Verification, pages 121–132, 1990.

  3. S. C. Boyd and H. Uray. On the complexity of generating optimal test sequences.IEEE Trans. on Software Engineering, 17(9):976–978, 1991.

    Google Scholar 

  4. D. Brand and P. Zafiropulo. On communication finite-state machines.Journal of ACM, 30(2):323–342, 1983.

    Google Scholar 

  5. L. Brownston, R. Farrel, E. Kart, and N. Martin.Programming Expert Systems in OPSS. Addison-Wesley Publishing company, 1985.

  6. Y. L. Chan, S. T. Vuong, and M. R. Ito. An improved protocol test sequence generation based on UIOs. InProc. of SIGCOMM'89, pages 283–294, 1989.

  7. Y. L. Chan, S. T. Vuong, and M. R. Ito. On test sequence generation for protocol. InProc. of Protocol Specification, Testing, and Verification, pages 119–130, 1990.

  8. M. S. Chen, Y. Choi, and A. Kershenbaum. Minimal length test sequences for protocol conformance.Proc. of ist Network Management and Control Worksho, Poly. Technique Univ., 1989

  9. M. S. Chen, Y. Choi, and A. Kershenbaum. Approaches utilizing segment overlap to minimize test sequences. InProc. of Protocol Specification, Testing, and Verification, pages 67–84, 1990.

  10. W. H. Chen, C. S. Lu, L. Chen, and J. T. Wang. Synchronizable protocol test generation via the duplex technique. InProc of INFOCOM, pages 561–563, 1990.

  11. W. Chun and P. D. Amer. Test case generation for protocols specified in Estelle. InProc. of International Conference on Formal Description Techniques, pages 191–206, 1991.

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

    Google Scholar 

  13. W. Chun and P.D. Amer. Improvements on UIO sequence generation and oartial UIO sequences. InProc. of Protocol Specification. Testing. and Verification, pages 245–260, 1992.

  14. A. T. Dahura, K. K. Sabnani, and M. U. Uyar. Formal methods for generating protocol conformance test sequences. InProc. of the IEEE, 78(8):1317–1326, 1990.

  15. G. Gonenc. A method for the design of fault detection experiments.IEEE Trans. on Computer, C-19: 551–558, June. 1970.

    Google Scholar 

  16. D. Gueraich and L. Logrippo. Derivation of test cases for LAP-B from a LOTOS specification. InProc. of the 2nd International Conference of Formal Description Techniques for Distributed Systems and Communication Protocols, pages 489–508, 1989.

  17. C. M. Huang, Y. I. Chang, and M. T. Liu, PDPS: An automated protocol design system by production systems approach. InProc. of the 1 st International Conference on Systems Integration, pages 186–195, 1990.

  18. C. M. Huang, Y. I. Chang, and M. T. Liu. 1990. An executable nile-based specification and its incremental implementation for communication protocols. InProc of International Computers Symposium, pages 220–225, Taiwan, 1990.

  19. C. M. Huang, Y. I. Chang, and M. T. Liu. A computer-aided protocol design by production systems approach.IEEE Journal on Selected Areas in Communications, 8(9):1748–1762, 1990.

    Google Scholar 

  20. D. Kalp, M. Tambe, A. Gupta, C. Forgy. A. Newell, A. Acharya. B. Milnes, and K. Swedlow.Parallel OPS5 User's Manual. Carnegie Mellon University, 1988.

  21. R. J. Linn. Conformance evaluation methodology and protocol testing.IEEE Journal on Selected Areas in Communications, 1143–1158, 1989.

  22. R. J.Linn, Conformance testing for OSI protocols.Computer Networks and ISDN Systems, 18:203–219. 1990.

    Google Scholar 

  23. L. T. Liu, C. H. Chen, and C. S. Lu. On the complexity of generating the test sequence without synchronization problem.Proc. of International Computer Symosium, pages 214–219, Taiwan, 1990.

  24. M. T. Liu, Protocol enginecring,Advances in Computers. 29:79–195, 1989.

    Google Scholar 

  25. F. Lombardi and T.N. Shen. Evaluation and improvement of fault coverage of conformance testing by UIO sequences.IEEE Trans. on Communications, 40(8):1288–1293, 1992.

    Google Scholar 

  26. R. E. Miller. Protocol verification: The first ten years, the next ten years. InProc. of Protocol Specification, Testing, and Verification, page 201, 1990, invited paper.

  27. R. E. Miller and S. Paul. On the generation of minimal-length conformance tests for communication protocols.IEEE/ACM Trans. on Networking, 1(1):116–129, 1993.

    Google Scholar 

  28. S. Naito and M. Tsunoyama. Fault detection for sequential machines by transition tours. InProc. of 11th IEEE Fault Tolerant Computing Conference, pages 238–243, 1981.

  29. T. F. Piatkowski. Remarks on the feasibility of validating and testing ADCCP implementation. InProc. of Trends and Applications symposium, 1980.

  30. D. Rayner. OSI conformance testing.Computer Networks and ISDN Systems, 14:79–98, 1987.

    Google Scholar 

  31. K. Sabnani and A. Dahbura. A protocol test generation procedure.Computer Networks and ISDN Systems., 15:285–297, 1988.

    Google Scholar 

  32. B. Sarikaya, G. Bochamann, and E. Cerny, A test design methodology for protocol testingIEEE Trans. Software Engineering, SE-13:518–531, 1987.

    Google Scholar 

  33. B. Sarikaya. Conformance testing: Architectures and test sequences.Computer Networks and ISDN Systems, 17:111–126, 1989.

    Google Scholar 

  34. Y.N. Shen, F. Lambardiad, and A. T. Dahbura, Protocol conformance testing using multiple UIO sequences.IEEE Trans. on Communications 40(8):1282–1287, 1992.

    Google Scholar 

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

    Google Scholar 

  36. H. Ural and B. Yang. A test sequence selection method for protocol testing.IEEE Trans. on Comnunications. 39(4):514–523, 1991.

    Google Scholar 

  37. M. U. Uyar and A. T. Dahbura. Optimal test sequence generation for protocols: The chinese postman algorithm applies to Q.931.IEEE Global Telecommunication Conference, pages 68–72, 1986.

  38. S. H. Yu and M. T. Liu. A new protocol test sequence generation method based on UIOS.Proc. of IEEE INFOCOM, pages 2068–2077, 1992.

  39. H. X. Zeng and D. Rayner. The impact of the ferry concept on protocol testing. InProc. of Protocol Specification, Testing, and Verification, pages 533–544, 1986.

  40. H. X. Zeng, X. F. Du, and C. S. He, Promoting the ‘local’ test method with the new concept ‘ferry clip.’ InProc. of Protocol Specification, Testing, and Verification, 1988.

  41. H. X. Zeng, Q. Li, X. F. Du, and C. S. He. New advances in ferry testing approaches.Computer Networks and ISDN Systems, 15:47–54, 1988.

    Google Scholar 

  42. H. X. Zeng, S. T. Chanson, and B. R. Smith. On ferry clip approaches in protocol testing.Computer N and ISDN Systems, 17:77–88, 1989.

    Google Scholar 

  43. ISO-Information Processing Systems—Open Systems Interconnection. LOTOS- A formal description technique based on the temporal ordering of observational behavior.DIS. 8807, 1987.

  44. ISO-Information Processing Systems—Open Systems Interconnection. ESTELLE-A aformal description technique based on extended state transition model.DIS. 9074, 1987.

  45. CCITT Recommendation Z. 100: Specification and Description Language SDL, AP IX-35, 1988.

Download references

Author information

Authors and Affiliations

  1. Institute of Information Engineering, National Cheng Kung University, 70101, Taiwan, R. O. C., Taiwan

    Chung-Ming Huang, Jenq-Muh Hsu & Huei-Yang Lai

Authors
  1. Chung-Ming Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jenq-Muh Hsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Huei-Yang Lai
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Huang, CM., Hsu, JM. & Lai, HY. A modified transition tour protocol test method. Journal of Systems Integration 4, 257–300 (1994). https://doi.org/10.1007/BF01976186

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation