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

Volume

2

Issue

5

fYear

1994

fDate

10/1/1994 12:00:00 AM

Firstpage

457

Lastpage

470

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;

fLanguage

English

Journal_Title

Networking, IEEE/ACM Transactions on

Publisher

ieee

ISSN

1063-6692

Type

jour

DOI

10.1109/90.336325

Filename

336325