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

  • Hyunsook Do
  • Seongyong Bae
  • Sangki Kim
Selected Papers ACoS'98
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1385)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Behcet Sarikaya, “Conformance Testing: Architectures and Test Sequence,” Computer Networks and ISDN Systems 17, pp.111–126, 1989.CrossRefGoogle Scholar
  2. 2.
    Keith G. Knightson, OSI Protocol Conformance Testing, McGraw-Hill, 1993.Google Scholar
  3. 3.
    M C Bale, “Signaling in the intelligent network,” BT Technical Journal, Vol.13, No.2, pp.30–42, April 1995.Google Scholar
  4. 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.CrossRefGoogle Scholar
  5. 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.CrossRefGoogle Scholar
  6. 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.CrossRefGoogle Scholar
  7. 7.
    ETSI, IN; Global functional plan for IN Capability Set 1, TCR-TR 016, 1994.Google Scholar
  8. 8.
    ETSI, IN; IN CS 1 Core Intelligent Network Application Protocol Part 1: Protocol specification, ETS 300 374-1, 1994.Google Scholar
  9. 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. 10.
    ITU-T Revised Recommendations, Interface Recommendation for IN CS-1, Q.1218, 1995.Google Scholar
  11. 11.
    ITU-T Baseline Document for IN CS-2, 1995.Google Scholar
  12. 12.
    ITU-T SG11 WP4 TD PL/11-11,12 Q.1214, “Distributed Functional Plan for IN CS-1,” April 1995.Google Scholar
  13. 13.
    ITU-T Recommendation Q. 1201, “Principles of Intelligent Network Architecture,” 1992.Google Scholar
  14. 14.
    An Introduction to SDL and MSC, Verflog, 1995.Google Scholar
  15. 15.
    ObjectGEODE Method Guideline, Verflog, 1995.Google Scholar
  16. 16.
    GEODE Editor Reference Manual, Verflog, 1995.Google Scholar
  17. 17.
    ObjectGEODE Simulator, Verflog, 1995.Google Scholar
  18. 18.
    ObjectGEODE TTCgeN User's Guide, Verflog, 1995Google Scholar
  19. 19.
    ITEX User's Guide, Telelogic, 1994Google Scholar
  20. 20.
    K1297 Protocol Tester Basic Manual, Siemens, 1996Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Hyunsook Do
    • 1
  • Seongyong Bae
    • 1
  • Sangki Kim
    • 1
  1. 1.Intelligent Network Architecture SectionElectronics and Telecommunications Research InstituteTaejonKorea

Personalised recommendations