12th Asia-Pacific Software Engineering Conference (APSEC'05)
A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method
Taipei, Taiwan
December 15-December 17
ISBN: 0-7695-2465-6
Conformance testing using test sequences is used to ensure that a protocol implementation conforms to its specification. A commonly used technique to generate test sequences for specifications described by the finite state machines is the Wp-method with the Reset technique, which frequently results in long test sequences. In this paper, we propose a bipartite graph approach to generate optimal test sequences for protocol conformance testing. Our approach significantly reduces the length of the test sequences required for conformance testing while maintaining the same fault detection capability.
Citation:
Jun Wang, Jitian Xiao, Chiou Peng Lam, Huaizhong Li, "A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method," apsec, pp.307-316, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005