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

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.

Generating Test Cases of Composite Services Based on Owl-S and Eh-CPN

“…Bechtold et al [15] studied how to generate test cases for testing ATM protocols, where a kind of high-level Petri net was introduced and used as an aided tool to check the errors in AAL3/4 protocol (ATM Adaptation Layer Type 3/4) and CLNAP (Connectionless Network Access Protocol).…”

Development and Application of ATM Protocol Conformance Test System

“…CPCS was the main target in CPAAL5 testing and in order to access Cell Loss Priority and ATM User-to-User indication in ATM Ceil Header Payload 'JYpe we directly looked into ATM cells instead of using the ATM primitives. 1 For ATM layer ATS we used ATM Forum ATM Layer conformance test suite [14,15] …”

“…In order to avoid dependency on test system platform, we developed test libraries for the functions : 1) initializing test modules, 2) setting of filter that only captures ATM cells with desired VPIIVCI, 3) to store ATM cells in capture buffer, 4) making up AAL5 PDUs by reassembling cells in the capture buffer, 5) reproducing the initial cell in the capture buffer and 6) reproducing cells sequentially. Test cases generally have the following functions: 1) setting of the capture filter, 2) setting of constraints, 3) receiving cells in a buffer, 4) reassembling cells into AAL5 PDUs, 5) comparing PDUs against predetermined constraints and 6) giving verdicts.…”

“…Most of the papers published so far about ATM protocols conformance test have focused on test generation methodologies [1,2,3]. On the other hand, only a few papers have been published on comprehensive ATM conformance test systems capable of testing for the complicated ATM protocol requirements of ITU-T and ATM Forum such as the ATM signaling protocol; e.g., [4] is about the design of an ATM conformance test system and [5] explains a commercial ATM test product.…”