Title :
Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences
Author :
Miller, Raymond E. ; Paul, Sanjoy
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
fDate :
10/1/1994 12:00:00 AM
Abstract :
A theoretical analysis of the fault coverage of conformance test sequences for communication protocols specified as finite state machines is presented. Faults of different types are considered, and their effect on testing is analyzed. The interaction between faults of different categories and the impact it has on conformance testing is investigated. Fault coverage is defined for the testing of both incompletely-specified machines (ISMs) and completely-specified machines (CSMs). An algorithm is presented to generate test sequences with maximal fault coverage for the testing of ISMs. It is then augmented for the testing of CSMs, and finally a technique is presented for generating test sequences which provides guaranteed maximal fault coverage for the conformance testing of communication protocols
Keywords :
conformance testing; fault diagnosis; finite state machines; formal specification; transport protocols; communication protocols; completely-specified machines; conformance test sequence generation; finite state machines; incompletely-specified machines; maximal fault coverage; protocol specifications; structural analysis; Automata; Character generation; Communication system control; Computer science; Protocols; Tail; Testing;
Journal_Title :
Networking, IEEE/ACM Transactions on
