Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
IEEE Transactions on Software Engineering
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
On the generation of minimal-length conformance tests for communication protocols
IEEE/ACM Transactions on Networking (TON)
Interoperability Test Suite Derivation for the TCP
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Hi-index | 0.00 |
Protocol conformance test is used to promote the interoperability of protocol implementations developed by venders. Noninteroperability between protocol implementations may be caused by ambiguity and/or misinterpretation of protocol specifications by vendors or by different implementations using different options in specifications. The conventional method used for protocol conformance test has been standardized by ISO/IEC JTC1 and ITU-T with the purpose of determining whether a protocol implementation conforms to its specification. However, the conventional method sometimes gives wrong test results because the test is based on static test sequences. This problem is caused by some failed transitions of a protocol's finite state machine included in a test sequence, which have an effect on the test result of transitions to be tested. In this paper, an approach called dynamic conformance test method (DCTM) is proposed to solve this problem. DCTM dynamically selects different test sequences during testing depending on whether alternative paths without failed transitions exist. As a result, the fault coverage of DCTM is better than that of the conventional test method. DCTM has been implemented and applied to the TCP protocol in order to demonstrate its improvement in the fault coverage compared to that of the conventional method.