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.
Chapter PDF
Similar content being viewed by others
References
ATM Forum [ 1996 ]. Conformance Abstract Test Suite for the SSCOP for UNI 3.1, Technical Committee ATM Forum. af-test-0067. 000.
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.
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.
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.
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.
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.
Hoperoft, J. E. and Ullmann, J. D. [1979]. Introduction to Automata Theory, Lan-guages, and Computation,Addison-Wesley Publishing Company.
ISO/IEC [ 1994 ]. Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework, International multipart standard 9646, ISO/IEC.
ITU-TS [ 1994 ]. ITU-T Recommendation Q. 2110: B-ISDN ATM Adaption Layer - Service Specific Connection Oriented Protocol (SSCOP), ITU Telecommunication Standards Sector, Geneva.
ITU-TS [1996a]. ITU-T Recommendation Z.100: Specification and Description
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.
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.
TeleLogic AB [ 1996 ]. SDT/ITEX 3.0, TeleLogic AB, Malmö, Sweden.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Grabowski, J., Scheurer, R., Dai, Z.R., Hogrefe, D. (1997). Applying SaMsTaG to the B-ISDN protocol SSCOP. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive