关键词: 故障诊断, 测试集极小化, 冲突识别

Abstract: Based on Reiter’s theory for multi-fault diagnosis from first principles，a method for solving minimum complete test set by using fault-test matrix is proposed.This method can be divided into two steps：According to the knowledge on the system structure and test vector，combined with the test-failure matrix to identify a candidate conflict set；Based on the candidate conflict set to determine the minimum hitting set group，to generate a minimum complete test set.This method can effectively solve the minimal complete test set，and speedup the process of fault diagnosis，with greatly reducing the workload to impose redundancy test vectors.

Key words: fault diagnosis, test set minimization, conflict identification