ETRI Journal

Electronics and Telecommunications Research Institute (한국전자통신연구원)
권호 표지

Modeling and Interoperability Test Case Generation of a Real-Time QoS Monitoring Protocol

  • Received : 1999.04.18
  • Published : 1999.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

Keywords

References

  1. Quality of Service Management in Distributed Systems;Network and Distributed Systems Management Hutchison, D.;Coulson, G.;Campbell, A.;Blair, G.;Sloman, M.(ed.)
  2. ACM/Springer Verlag Multimedia Systems Journal, Special Issue on Qos Architecture v.6 no.3 A Survey of Qos Architectures Aurrecoehea, C.;Campbell, A.T.;Hauw, L.
  3. ETRI Journal v.19 no.4 Automated Test Generation from Specification Based on Formal Description Techniques Chin, Byoung-Moon(et al.)
  4. Computer Networks and ISDN Systems v.28 no.12 Testing Methods for SDL Systems Cavalli, A.;Chin, Byoung-Moon;Chon, Kil-Nam
  5. The 3rd Internaional Workshop on Protocol Test Systems IBM OSI Interoperability Verification Services, IFIP TC6/WG6.1 Bonnes, G.
  6. Computer Standards and Interfaces v.9 no.3 A COS Study of OSI Interoperability Gadre, J.;Rohre, C.;Summers, C.;Symington, S.
  7. Interoperability Testing Basis for the Acceptance of Communication Systems, Protocol Test Systems, VI (C-19) Vermeer, G.S.;Blik, H.
  8. The 3rd International Workshop on Photocol Test Systems From Conformance Testing to Interoperability Testing, IFIP TC6/WG6.1 Rafiq, O.;Castanet, R.
  9. A Test Case Generation Method for Concurrent Programs;Protocol Test Systems, IV Arakawa, N.;Tsoneoka, T.;Kroon, J.(ed.);Heijink, R.J.(ed.);Brinksma, E.(ed.)
  10. Combination of Conformance and Interoperability Testing;Formal Description Techniques V (C-10) Arakawa, N.;Phalippou, M.;Risser, N.;Soneoka, T.;Diaz, M.(ed.);Groz, R.(ed.)
  11. Deriving Coordinated Testers for Interoperability;Protocol Test Systems, VI Castanet, R.;Kone, O.;Rafiq, O.(ed.)
  12. IEEE Transactions on S. E. v.20 no.2 Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method Luo, G.;Bochmann, G.;Petrenko, A.
  13. The 8th Internaional Workshop on Protocol Test Systems Test Sequence Generation for Adaptive Interoperability Testing, IFIP TC6/WG6.1 Kang, S.;Kim, M.
  14. ACM Computer Communications Review no.April A Quality of Sevice Architecture Campbell, A.;Coulson, G.;Hutchison, D.
  15. Proc. of Fourth International Workshop on Network and Operating Systems Support for Digital and Audio and Video A Multimedia Enhanced Transport Service in a Quality of Service Architecture Campbell, A.;Coulson, G.;Hutchison, D.
  16. Theoretical Computer Science v.126 A Theory of Timed Automate Alur, R.;Dill, D.L.
  17. IEICE Trans. on Fundamentals v.E-81-A no.4 A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets Choe, Y.H.;Lee, D.I.;Kumagai, S.
  18. The 8th International Workshop on Protocol Test Systems Test Sequence Generation for Adaptive Interoperability Testing, IFIP TC6/WG6.1 Kang, S.;Kim, M.
  19. IFIP FORTE/PSTV '97 Interoperability Test Suite Derivation for Symmetric Communication Protocols Kang, S.;Kim, M.
  20. IWTCS Ⅵ Formal Methods for Conformance Testing:Results and Perspectives Cavalli, Ana R.;Favreau, J.P.;Phalippou, M.
  21. IEEE Trans. on S.E. v.SE-4 no.3 Testing Software Design Modeled by Finite-State Machines Chow, T.S.
  22. OSI Conformance Testing Methodology and Framework-Part3: Tree and Tabular Combined Notation(TTCN), ISO/IEC IS 9646-3 ISO/IEC Information Technology
  23. 10th International Workshop on Testing of Communicating System Real-Time TTCN for Testing Real-Time and Multimedia Systems, IFIP TC6 Thomas, Q.;Jens, G.