Download:
|
by C Fl Jinsong Zhu, Jinsong Zhu, Jinsong Zhu, Samuel T. Chanson, Samuel T. Chanson, Samuel T. Chanson
Proc. of the 14th IFIP Symposium on Protocol Specification, Testing and Verification
ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-19.ps.gz
Add To MetaCart
Abstract:
In this paper, we investigate the quality of a given protocol test sequence in detecting faulty implementations of the specification. The underlying model is a deterministic finite state machine (FSM). The basic idea is to construct all FSMs having n + i states (where n is the number of states in the specification and i a small integer) that will accept the test sequence but do not conform to the specification. It differs from the conventional simulation method in that it is not necessary to consider various forms of fault combinations and is guaranteed to identify any faulty machines. Preprocessing and backjumping techniques are used to reduce the computational complexity. We have constructed a tool based on the model and used it in assessing several UIO-based optimization techniques. We observed that the use of multiple UIO sequences and overlaps can sometimes weaken the fault coverage of the test sequence. The choice of the transfer sequences and order of the test subsequences during optimization may also affect fault coverage. Other observations and analysis on the properties of test sequences are also made. 1
Citations
|
254
|
Switching and Finite Automata Theory
– Kohavi
- 1978
|
|
239
|
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
– Dechter
- 1990
|
|
123
|
Testing software design modeled by finite-state machines
– Chow
- 1978
|
|
102
|
An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours
– Aho, Dahbura, et al.
- 1988
|
|
71
|
and A Dahbura. A protocol test generation procedure
– Sabnani
- 1988
|
|
65
|
Formal Methods for Protocol Testing: A Detailed Study
– Sidhu, Leung
- 1989
|
|
32
|
Protocol conformance testing using multiple UIO sequences
– Shen, Lombardi, et al.
- 1990
|
|
29
|
A method for the design of fault detection experiments
– Gonenc
- 1970
|
|
28
|
A test sequence selection method for protocol testing
– Ural, Yang
- 1991
|
|
21
|
The UIOv-Method for Protocol Test Sequence Generation
– Vuong, Chan, et al.
- 1989
|
|
16
|
Approaches utilizing segment overlap to minimize test sequences
– Chen, Choi, et al.
- 1990
|
|
13
|
A Unified Approach to Protocol Test Sequence Generation
– Chanson, Zhu
- 1993
|
|
13
|
Introduction to The Theory of Finite State Machines
– Gill
- 1962
|
|
6
|
A Novel Approach to Protocol Test Sequence Generation
– Vuong, Ko
- 1990
|
|
5
|
An Experience in Estimating Fault Coverage of a Protocol Test
– Dahbura, Sabnani
- 1988
|
|
5
|
Generating minimal length test sequences for conformance testing of communication protocols
– Miller, Paul
- 1991
|
|
1
|
On asymptotic estimates in switching theory and automata theory
– Harrison
- 1966
|
