Interoperability Testing Based on a Fault Model for a System of Communicating FSMs

  • Vadim Trenkaev
  • Myungchul Kim
  • Soonuk Seol
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)


This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperability test suite, which is given by another existing method, to be a test suite that can detect “almost all” interaction faults based on the fault model. We start with an interoperability test suite derived by a known method and develop a technique for the fault coverage analysis and a technique for the extension of the test suite in order to achieve high fault coverage. We illustrate the proposed techniques with TCP protocol. The fault coverage analysis concludes that the test suite has 100% fault coverage with respect to the proposed fault domain and does not need to be extended. It is shown that our method is applicable to practical protocols and can be used to make interoperability test suites have high fault-detecting capability.


Test Suite Fault Model Finite State Machine Fault Coverage System Under Test 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bochmann, G., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. Sigsoft Software Engineering Notes, spec. issue., USA (1994) 109–124Google Scholar
  2. 2.
    Luo, G., Bochmann G., Petrenko, A.: Test Selection Based on communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method. IEEE Transactions on S.E., Vol 20. N 2. (1994) 149–162CrossRefGoogle Scholar
  3. 3.
    Petrenko, A., Yevtushenko, N., Bochmann, G., Dssouli, R.: Testing in context: framework and test derivation. Computer communications, Vol. 19 (1996) 1236–1249CrossRefGoogle Scholar
  4. 4.
    Lee, D., Sabnani, K., Kristol, D., Paul, S.: Conformance testing of protocols specified as communicating finite state machines — a guided random walk based approach. In IEEE Transactions on Communications, vol. 44, N 5 (1996) 631–640CrossRefGoogle Scholar
  5. 5.
    Cavalli, A., Prokopenko, S., Yevtushenko, N.: Fault detection power of a widely used test suite for a system of communicating FSMs. Proceedings of the IFIP TC6/WG6.1 13th Inter. Conf. TestCom2000, (2000) 35–59Google Scholar
  6. 6.
    Petrenko, A., Yevtushenko, N., Bochmann, G.: Fault models for testing in context. Proceedings of the IFIP 1st Joint Inter. Conf. FORTE/PSTV96, (1996) 163–178Google Scholar
  7. 7.
    Rafiq, O., Castanet, R.: From Conformance Testing to Interoperability testing. Proceedings of the 3rd International Workshop on Protocol Test Systems, USA (1990) 371–385Google Scholar
  8. 8.
    Seol, S., Kim, M., Kang, S., Park, Y.: Interoperability Test Suite Derivation for the TCP protocol. Proceedings of the IFIP Joint Inter. Conf. FORTE XII/PSTV XIX, (1999) 357–376Google Scholar
  9. 9.
    Kang, S., Shin, J., Kim, M.: Interoperability Test Suite Derivation for Communication Protocols. Computer Networks, 32 (2000) 347–364CrossRefGoogle Scholar
  10. 10.
    Viho, C., Barbin, S., Tanguy, L.: Towards a formal framework for interoperability testing. Proceedings of the 21st Inter. Conf. FORTE2001, (2001) 51–68Google Scholar
  11. 11.
    Seol, S., Kim, M., Chanson, S.T.: Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. Proceedings of the IFIP 14th Inter. Conf. TestCom2002, (2002) 151–169Google Scholar
  12. 12.
    Griffeth, N., Hao, R., Lee, D., Sinha, R.K.: Integrated system interoperability testing with application to VOIP. Proceedings of IFIP TC6 WG6.1 Joint Inter. Conf. FORTE XIII / PSTV XX, (2000) 69–84Google Scholar
  13. 13.
    Revised Working Draft on “Framework: Formal Methods in Conformance Testing”, JTC1/SC21/WG1/Project 54.1 // ISO Interim Meeting / ITU-T on, Paris, (1995)Google Scholar
  14. 14.
    Gill, A.: Introduction to the theory of finite state machine. McGraw-Hill, New York (1962) 207Google Scholar

Copyright information

© IFIP 2003

Authors and Affiliations

  • Vadim Trenkaev
    • 1
  • Myungchul Kim
    • 1
  • Soonuk Seol
    • 1
  1. 1.Information and Communications UniversityDaejonKorea

Personalised recommendations