Testing of Communicating Systems pp 397-415 | Cite as
Applying SaMsTaG to the B-ISDN protocol SSCOP
Chapter
- 5 Citations
- 160 Downloads
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 Download
to read the full chapter text
References
- ATM Forum [ 1996 ]. Conformance Abstract Test Suite for the SSCOP for UNI 3.1, Technical Committee ATM Forum. af-test-0067. 000.Google Scholar
- 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
- 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
- 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
- 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
- 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
- Hoperoft, J. E. and Ullmann, J. D. [1979]. Introduction to Automata Theory, Lan-guages, and Computation,Addison-Wesley Publishing Company.Google Scholar
- ISO/IEC [ 1994 ]. Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework, International multipart standard 9646, ISO/IEC.Google Scholar
- 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
- ITU-TS [1996a]. ITU-T Recommendation Z.100: Specification and DescriptionGoogle Scholar
- 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
- 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
- TeleLogic AB [ 1996 ]. SDT/ITEX 3.0, TeleLogic AB, Malmö, Sweden.Google Scholar
- 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
- 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