Abstract
This paper discusses an experience in computer-supported test case generation for ATM protocols, viz. the AAL3/4 protocol (ATM Adaptation Layer Type 3/4) and CLNAP (Connectionless Network Access Protocol). The test cases were generated by means of the test generation tool GeneTest based on protocol specifications as product nets, i.e. as a special kind of high-level Petri net.
Chapter PDF
Similar content being viewed by others
References
B. Baumgarten, A. Giessler, R. Platten. Test derivation from net models. In J. de Meer, L. Mackert, and W. Effelsberg (editors), Protocol Test Systems, II, pp. 141–159, Berlin, Germany, 1989. Elsevier Science Publishers B.V., 1990.
B. Baumgarten, A. Giessler, C. Paule. Testgenerierung mit Produktnetzen — Algorithmus, Implementierung und Benutzeranleitung. Arbeitspapiere der GMD, Nr. 605, GMD, Germany, 1991. The user-manual part is updated regularly.
B. Baumgarten. Timed systems behaviour and conformance testing — a mathematical framework. In A.R. Cavalli and S. Budkowski (editors), Protocol Test Systems, VIII, Evry, France, 1995. Participants’ proceedings.
H.J. Burkhardt, P. Ochsenschläger, R. Prinoth. Product nets: a formal descriptiontechnique for cooperating systems. GMD-Studien, Nr. 165, GMD, Germany, 1989
Produktnetzmaschine. User manual, GMD, Germany, 1994.
International Standard ISO/IEC 9646: Information technology — Open Systems Interconnection — Conformance testing methodology and framework. 1991.
Revised ITU-T Recommendation I.363: B-ISDN ATM Adaptation Layer (AAL) Specification. 1993.
ITU-T Recommendation I.364: Support of broadband connectionless data service on B-ISDN. 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bechtold, R., Gattung, G., Henniger, O., Paule, C. (1996). Test case generation for ATM protocols using high-level Petri net models. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive