The C programming language
A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
On Asymptotic Estimates in Switching and Automata Theory
Journal of the ACM (JACM)
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Data Structures and Algorithms
Data Structures and Algorithms
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
| Hi-index | 0.00 |
This paper presents results on the application of four protocol test sequence generation techniques (T-, U-, D-, and W-methods) to the NBS Class 4 transport protocol (TP4). The ability of a test sequence to decide whether a protocol implementation conforms to its specification depend on the range of faults that it can capture. The study shows that a test sequence produced by the T-method has a poor fault detection capability whereas test sequences produced by the U-, D- and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines. The lengths of test sequences produced by the four methods tend to be different. The length of a test sequence produced by the T-method (W-method) is the smallest (largest). The length of a test sequence from the U-method is smaller than that for the D-method and lengths for both are greater than that for the T-method and less than that for the W-method.