Skip to main content

INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing

  • Selected Papers
  • Conference paper
  • First Online:
Services and Visualization Towards User-Friendly Design

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1385))

  • 111 Accesses

Abstract

The INAP(Intelligent Network Application Protocol) protocol test suite is the test procedures to conform that the implemented INAP protocol is equivalent to the standard specification of the INAP. The INAP test suite is generated automatically by using formal description technique. Before the generated test suite is applied to the real target system, it should be verified that this test suite has been correctly built according to the INAP specification. In this paper, we implemented the IUT(Implementation Under Test) simulator on the K1 197 tester to verify the generated INAP test suite. This method enabled us to correct the syntactic errors in the test suite and unexpected test sequence errors. It guarantees the reliability for verified results and reduces time and costs to verify the test suite than the manual method based on the protocol specification represented by natural language.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Behcet Sarikaya, “Conformance Testing: Architectures and Test Sequence,” Computer Networks and ISDN Systems 17, pp.111–126, 1989.

    Article  Google Scholar 

  2. Keith G. Knightson, OSI Protocol Conformance Testing, McGraw-Hill, 1993.

    Google Scholar 

  3. M C Bale, “Signaling in the intelligent network,” BT Technical Journal, Vol.13, No.2, pp.30–42, April 1995.

    Google Scholar 

  4. R. Lai, W. Leung, “Industrial and academic protocol testing: the gap and the means of convergence,” Computer Networks and ISDN Systems 27, pp.537–547, 1995.

    Article  Google Scholar 

  5. S T Vuong, H Janssen, Y Lu, C Mathieson and B Do, “TESTGEN: An environment for protocol test suite generation and selection,” computer communications, Vol.17, No.4, pp.257–270, April 1994.

    Article  Google Scholar 

  6. T Ramalingam, Anindya Das and K Thulasiraman, “On testing and diagnosis of communication protocols based on the FSM model,” computer communications, Vol.18, No.5, pp.329–337, May 1995.

    Article  Google Scholar 

  7. ETSI, IN; Global functional plan for IN Capability Set 1, TCR-TR 016, 1994.

    Google Scholar 

  8. ETSI, IN; IN CS 1 Core Intelligent Network Application Protocol Part 1: Protocol specification, ETS 300 374-1, 1994.

    Google Scholar 

  9. ETSI, IN; IN CS-1 Core INAP Part 4: ATS and PXIXIT Proforma Specification for SSF and SRF, ETS 300 374-4, 1995.

    Google Scholar 

  10. ITU-T Revised Recommendations, Interface Recommendation for IN CS-1, Q.1218, 1995.

    Google Scholar 

  11. ITU-T Baseline Document for IN CS-2, 1995.

    Google Scholar 

  12. ITU-T SG11 WP4 TD PL/11-11,12 Q.1214, “Distributed Functional Plan for IN CS-1,” April 1995.

    Google Scholar 

  13. ITU-T Recommendation Q. 1201, “Principles of Intelligent Network Architecture,” 1992.

    Google Scholar 

  14. An Introduction to SDL and MSC, Verflog, 1995.

    Google Scholar 

  15. ObjectGEODE Method Guideline, Verflog, 1995.

    Google Scholar 

  16. GEODE Editor Reference Manual, Verflog, 1995.

    Google Scholar 

  17. ObjectGEODE Simulator, Verflog, 1995.

    Google Scholar 

  18. ObjectGEODE TTCgeN User's Guide, Verflog, 1995

    Google Scholar 

  19. ITEX User's Guide, Telelogic, 1994

    Google Scholar 

  20. K1297 Protocol Tester Basic Manual, Siemens, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Tiziana Margaria Bernhard Steffen Roland Rückert Joachim Posegga

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Do, H., Bae, S., Kim, S. (1998). INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds) Services and Visualization Towards User-Friendly Design. Lecture Notes in Computer Science, vol 1385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053500

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64367-8

  • Online ISBN: 978-3-540-69760-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics