Advertisement

Applying SaMsTaG to the B-ISDN protocol SSCOP

  • J. Grabowski
  • R. Scheurer
  • Z. R. Dai
  • D. Hogrefe
Chapter
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT)

Abstract

The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). For approximately 70% of the identified test purposes complete TTCN test cases have been generated automatically. In this paper we describe the experiment, discuss the results and explain how further improvements of the test generation process can be achieved.

Keywords

Test case generation protocol validation SDL MSC TTCN B-ISDN ATM 

References

  1. ATM Forum [ 1996 ]. Conformance Abstract Test Suite for the SSCOP for UNI 3.1, Technical Committee ATM Forum. af-test-0067. 000.Google Scholar
  2. Doldi, L., Encontre, V., Fernandez, J.-C., Jéron, T., Le Briquir, S., Texier, N. and Phalippou, M. [ 1996 ]. Assesment of Automatic Generation of Conformance Test Suites in an Industrial Context, in B. Baumgarten, H.-J. Burkhardt and A. Giessler (eds), Testing of Communicating Systems, Chapman & Hall.Google Scholar
  3. Grabowski, J. [ 1994 ]. Test Case Generation and Test Case Specification with Message Sequence Charts, PhD thesis, University of Berne, Institute for Informatics and Applied Mathematics.Google Scholar
  4. Grabowski, J., Hogrefe, D., Nussbaumer, I. and Spichiger, A. [ 1995 ]. Test Case Specification Based on MSCs and ASN.1, in A. S. R. Braek (ed.), SDL’95 - with MSC in CASE, Proceedings of 7. SDL Forum, North-Holland.Google Scholar
  5. Grabowski, J., Scheurer, R. and Hogrefe, D. [ 1997 ]. Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP, Technical Report A-97–07, University of Lübeck, Germany.Google Scholar
  6. Grabowski, J., Scheurer, R., Toggweiler, D. and Hogrefe, D. [ 1996 ]. Dealing with the Complexity of State Space Exploration Algorithms, Proceedings of the 6th. GI/ITG technical meeting on ‘Formal Description Techniques for Distributed Systems’, University of Erlangen.Google Scholar
  7. Hoperoft, J. E. and Ullmann, J. D. [1979]. Introduction to Automata Theory, Lan-guages, and Computation,Addison-Wesley Publishing Company.Google Scholar
  8. ISO/IEC [ 1994 ]. Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework, International multipart standard 9646, ISO/IEC.Google Scholar
  9. ITU-TS [ 1994 ]. ITU-T Recommendation Q. 2110: B-ISDN ATM Adaption Layer - Service Specific Connection Oriented Protocol (SSCOP), ITU Telecommunication Standards Sector, Geneva.Google Scholar
  10. ITU-TS [1996a]. ITU-T Recommendation Z.100: Specification and DescriptionGoogle Scholar
  11. Language (SDL, ITU Telecommunication Standards Sector SG 10, Geneva. ITU-TS [1996b]. ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU Telecommunication Standards Sector SG 10, Geneva.Google Scholar
  12. Nahm, R. [ 1994 ]. Conformance Testing Based on Formal Description Techniques and Message Sequence Charts, PhD thesis, University of Berne, Institute for Informatics and Applied Mathematics.Google Scholar
  13. TeleLogic AB [ 1996 ]. SDT/ITEX 3.0, TeleLogic AB, Malmö, Sweden.Google Scholar
  14. Toggweiler, D., Grabowski, J. and Hogrefe, D. [ 1995 ]. Partial Order Simulation of SDL Specifications, in O. Br ek and A. Sarma (eds), SDL’95 with MSC in CASE, North-Holland.Google Scholar
  15. Yoo, S., Collica, L. and Jeong, T. [ 1996 ]. Conformance testing of ATM Adaption Layer protocol, in B. Baumgarten, H.-J. Burkhardt and A. Giessler (eds), Testing of Communicating Systems, Chapman & Hall.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • J. Grabowski
    • 1
  • R. Scheurer
    • 1
  • Z. R. Dai
    • 1
  • D. Hogrefe
    • 1
  1. 1.Institute for TelematicsUniversity of LübeckLübeckGermany

Personalised recommendations