Multiple Fault Diagnostics for Communication Protocol

• Main Authors: Chiou, Shiou Jiun, 邱秀君
• Other Authors: Tang Chuan Yi
• Format: Others
• Language: en_US
• Published: 1994
• Online Access: http://ndltd.ncl.edu.tw/handle/34623031048809166600

碩士 === 國立清華大學 === 資訊科學學系 === 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.