DocumentCode :
996247
Title :
On testing hierarchies for protocols
Author :
Sidhu, Deepinder P. ; Motteler, Howard ; Vallurupalli, Raghu
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
Volume :
1
Issue :
5
fYear :
1993
fDate :
10/1/1993 12:00:00 AM
Firstpage :
590
Lastpage :
599
Abstract :
The authors consider a protocol specification represented as a fully specified Mealy automata, and the problem of testing an implementation for conformance to such a specification. No single sequence-based test can be completely reliable, if one allows for the possibility of an implementation with an unknown number of extra states. They define a hierarchy of test sequences, parameterized by the length of behaviors under test. For the reset method of conformance testing, they prove that the hierarchy has the property that any fault detected by test i is also detected by test i+1, and show that this sequence of tests converges to a reliable conformance test. For certain bridge sequence methods for constructing test sequences, this result does not always hold. In experiments with several specifications, they observe that given a small number of extra states in an implementation, the sequence of tests converge to a total fault coverage for small values of i, for both reset and bridge sequence methods. They also observe that the choice of characterizing sequence has less effect on fault coverage than the choice of behavior length or number of extra states in the implementation
Keywords :
conformance testing; finite automata; finite state machines; protocols; Mealy automata; bridge sequence methods; conformance testing; fault coverage; protocol specification; reset method; test sequences; testing hierarchies; Automata; Automatic control; Automatic testing; Bridges; Communication system control; Computer science; Fault detection; Formal specifications; Protocols; Software engineering;
fLanguage :
English
Journal_Title :
Networking, IEEE/ACM Transactions on
Publisher :
ieee
ISSN :
1063-6692
Type :
jour
DOI :
10.1109/90.251917
Filename :
251917
Link To Document :
بازگشت