A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Standardization of formal methods in conformance testing of communication protocols
Computer Networks and ISDN Systems - Special issue on protocol testing
A Test Derivation Method for Protocol Conformance Testing
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
| Hi-index | 0.00 |
Systematic test sequence generation for conformance testing of communication protocol implementations has been an active research area during the last decade. Methods were developed to produce optimized test sequences for detecting faults in such systems. However, the application of these methods gives only limited information about the location of detected faults. In this paper, we propose a complementary step, which localizes the fault, once detected. It consists of a generalized diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating nondeterministic finite state machine. Such algorithm localizes the faulty transition once the fault has been detected. The algorithm guarantees the correct diagnosis of any single (output and/or transfer) fault. Simple example is used to demonstrate the functioning of the proposed algorithm. The complexity of each step in the algorithm and hence, the overall complexity are calculated.