Test generation for intelligent networks using model checking

  • André Engels
  • Loe Feijs
  • Sjouke Mauw
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1217)

Abstract

We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checker then derives test sequences that fulfill these test purposes. The method is demonstrated by applying it to a specification of an Intelligent Network with two features.

References

  1. 1.
    J. Aitken. Intelligent networks, seminar, logica uk ltd., london, april 26–27, 1995, 1995.Google Scholar
  2. 2.
    R. Alur, G. Holzmann, and D. Peled. An analyzer for message sequence charts. In Margaria and Steffen [20], pages 35–48.Google Scholar
  3. 3.
    B. Baumgarten, H. Burkhardt, and A. Giessler, editors. Testing of communicating systems. Chapman & Hall, 1996.Google Scholar
  4. 4.
    P. Bohacek and J.N.White. Service creation: The real key to intelligent network revenue. In Proc. Workshop Intelligent Networks '94, Heidelberg, May24–26 1994.Google Scholar
  5. 5.
    A. Cavali and S. Budkowski, editors. Proceedings of IWPTS '95, 9 rue Charles Fourier 91011 Evry Cedex, 1995. Institut National Télécommunications.Google Scholar
  6. 6.
    CCITT. Recommendation z100, specification and description language (sdl). Recommendation AP IX-35-E, International Telegraph and Telephone Consultative Committee, Geneva, 1988.Google Scholar
  7. 7.
    W. Chun. Improvements on uio sequence generation and partial uio sequences. In Linn and Üyar [19].Google Scholar
  8. 8.
    E. Crabill and J. Kukla. Service processing systems for at&t's intelligent network. AT&T Techn. Journal, 73(6):39–47, 1994.Google Scholar
  9. 9.
    L. Doldi, V. Encontre, J. Fernandez, T. Jéron, S. L. Bricquir, N. Texier, and M. Phalippou. Assessment of automatic generation methods of conformance test suites in an industrial context In Baumgarten et al. [3], pages 347–361.Google Scholar
  10. 10.
    L. Feijs and M. Jumelet. A rigorous and practical approach to service testing. In Baumgarten et al. [3], pages 175–190.Google Scholar
  11. 11.
    J. Fernandez, C. Jard, T. Jéron, and G. Viho. Using on the fly verification techniques for the generation of test suites. In A. Alur and I. Henzinger, editors, Conference on Computer-Aided Verification (CAV '96), New Brunswick, New Jersey, USA, number 1102 in Lecturen Notes on Computer Science. Springer, July 1996.Google Scholar
  12. 12.
    A. Guerrouat and H. König. Automation of test case derivation in respect to test purposes. In Baumgarten et al. [3], pages 207–222.Google Scholar
  13. 13.
    G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall/AT&T, 1991.Google Scholar
  14. 14.
    G. Holzmann. Early fault detection tools. In Margaria and Steffen [20], pages 1–13.Google Scholar
  15. 15.
    ITU. Principles of Intelligent Network Architecture, CS1 Recommendations. ITU, 1993.Google Scholar
  16. 16.
    ITU-TS, Geneva. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), 1994.Google Scholar
  17. 17.
    K. Knightson. OSI protocol conformance testing. McGraw-Hill, 1993.Google Scholar
  18. 18.
    E. Kwast. An exercise in test generation for telecommunication services. In J. Springintveld, editor, Second Dutch Testing Conference (handout), volume 03-95–5003A. Katholieke Universiteit Nijmegen, 1996.Google Scholar
  19. 19.
    R. Linn, Jr. and M. U. Üyar, editors. Protocol specification, testing and verification XII. Elsevier Science Publishers (North-Holland), 1992.Google Scholar
  20. 20.
    T. Margaria and B. Steffen, editors. Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecturen Notes on Computer Science. Springer Verlag, 1996.Google Scholar
  21. 21.
    S. Mauw, M. van Wijk, and T. Winter. A formal semantics of synchronous Interworkings. In O. Færgemand and A. Sarma, editors, Proceedings of the Sixth SDL Forum, Darmstadt. Elsevier Science Publishers (North-Holland), 1993.Google Scholar
  22. 22.
    C. Middelburg. A simple language for expressing properties of telecommunication services and features. publication 94-PU-356, PTT Research, 1994.Google Scholar
  23. 23.
    J. Montiel, R. Roth, and A. Donaldson. Methods for QoS verification and protocol conformance testing in IBC results and further recommendations. topic R2088 TOPIC, Deliverable 15, DocR2088/DAT/TMS/DS/P/015/b1, RACE project, 1994.Google Scholar
  24. 24.
    R. Nahm. Conformance testing based on formal description techniques and message sequence charts. Technical report, Institut für Informatik, Universität Bern, 1995.Google Scholar
  25. 25.
    K. Naik. Fault-tolerant UIO sequences in finite state machines. In Cavali and Budkowski [5], pages 207–220.Google Scholar
  26. 26.
    OSI. Conformance testing methodology and framework, Part 3: The Tree and Tabular Combined Notation (TTCN). ISO/IEC DIS 9646-3, 1990.Google Scholar
  27. 27.
    F. Redmill and A. Valdar. SPC digital telephone exchanges, revised edition. Number 21 in IEE Telecommunication series. Peter Peregrinus Ltd., 1994.Google Scholar
  28. 28.
    R. Saracco, J. Smith, and R. Reed. Telecommunications systems engineering using SDL. Elsevier Science Publishers (North-Holland), 1995.Google Scholar
  29. 29.
    D. Sidhu and T. Leung. Formal methods in protocol testing, a detailed study. IEEE transaction on Software Engineering, 15(4):413–426, 1989.Google Scholar
  30. 30.
    B. Steffen, T. Margaria, A. Classen, V. Braun, and M. Reitenspiess. An environement for the creation of intelligent network services. In Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applications — A Comprehensive Report, pages 287–300. IEC — International Engineering Consortium, 1996.Google Scholar
  31. 31.
    X. Sun, Y. Shen, F. Lombardi, and D. Sciuto. Protocol conformance testing by discriminating uio sequences. In B. Johnsson, J. Parrow, and B. Pehrson, editors, Protocol specification, testing and verification XI. Elsevier Science Publishers (North-Holland), 1991.Google Scholar
  32. 32.
    G. Vermeer, M. Witteman, and J. Kroon. A framework for testing telecommunication services. In Cavali and Budkowski [5], pages 129–140.Google Scholar

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • André Engels
    • 1
  • Loe Feijs
    • 1
    • 2
  • Sjouke Mauw
    • 1
  1. 1.Eindhoven University of TechnologyMB Eindhoventhe Netherlands
  2. 2.Philips Research Laboratories EindhovenAA Eindhoventhe Netherlands

Personalised recommendations