Journal:Informatica
Volume 22, Issue 3 (2011), pp. 447–469
Abstract
In the protocol conformance testing, many existing test methods can effectively detect the possible faults of the implementation under test. However, it is difficult to diagnose the found faults in terms of the test results. This paper presents a diagnosable input/output (DIO) sequence, to differentiate a state from other states under a given condition. We further propose a two-tier protocol conformance testing and diagnosing method based on DIO sequences. The proposed method can effectively detect and diagnose the possible faults of the implementation of a protocol.
Journal:Informatica
Volume 3, Issue 3 (1992), pp. 378–384
Abstract
The checking fidelity of the systems with built-in fault detection circuits is investigated here taking into account the failure rates of functional units, also checking and transmission facilities of right and wrong information on the state of functional units. When fault detection circuits or information transmission facilities fail, then the information given by them may cause false or undetected failures in comparison with the real state of the corresponding functional unit.