Test case generation for ATM protocols using high-level Petri net models [chapter]

R. Bechtold, G. Gattung, O. Henniger, C. Paule
1996 Testing of Communicating Systems  
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.
doi:10.1007/978-0-387-35062-2_18 fatcat:nbsati4zmfhdfa36zrpclikpv4