Method for solving minimum complete test set from first principles
Zhengliang Lv · Computer Engineering and Applications Journal · 2010
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 groupt,o 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.