| Summary: | 碩士 === 國立清華大學 === 資訊科學學系 === 82 === Consider a protocol specification S and a faulty implementa-
tion I, the objective of diagnostic testing is to locate the
faults of I. Recently, A. Ghedamsi et al. proposed a 3-phase
method for diagnostic testing: 1) Obtain expected outputs of S
and observed outputs of I by applying a set of test cases,
which are generated by some conformance test case selection
method, to S and I respective- ly. 2) Generate a minimal set D
of diagnoses, which are the candi- dates of I, by analyzing the
differences between the expected and observed outputs. 3)
Identify which element of D is equivalent to I by applying some
additional tests to I. Though their method can perform fault
diagnostics successful- ly, but it is very time consuming. In
this thesis, we propose two techniques to improve their method.
First, we use "find-Possible-Fault" technique which will
generate a behavior table as the constraint. By using this
technique, we can reduce the analytical time in the second
phase to obtain the same set of diagnoses. Second, we use "Test-
all- Diagnoses" technique which use the test sequence to
simulate all diagnoses. By using this technique, we reduce the
number of tests applied in the third phase. Experimental
results are also included.
|
|---|
