An extension to concurrent TTCN
Mingwei Xu, Jianping Wu
Abstract
Mingwei Xu, Jianping Wu
Abstract
This paper proposes an extension to the concurrent tree and tabular combined notation (TTCN) to meet the needs of protocol performance testing. The operational semantics of the extended concurrent TTCN are defined in terms of input-output labeled transition system. Based on the extended concurrent TTCN the architecture of the protocol performance test system is designed, and an example of test cases of throughput is given.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper proposes an extension to the concurrent tree and tabular combined notation (TTCN) to meet the needs of protocol performance testing. The operational semantics of the extended concurrent TTCN are defined in terms of input-output labeled transition system. Based on the extended concurrent TTCN the architecture of the protocol performance test system is designed, and an example of test cases of throughput is given.
Key concepts: Computer science, Extension (predicate logic), Programming language, Protocol (science), Semantics (computer science), Throughput, Concurrency, Test (biology)