101. A DFSM-based protocol conformance testing and diagnosing method
- Author
-
Meihong Yang, Guanggang Geng, Wanming Luo, and Xinchang Zhang
- Subjects
Protocol conformance testing ,Computer science ,Applied Mathematics ,Real-time computing ,Implementation under test ,State (computer science) ,Protocol (object-oriented programming) ,Fault detection and isolation ,Information Systems ,Reliability engineering - 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.