Method for Solving Minimum Complete Test Set from First Principles

LIU Jia,WANG Hong,YANG Shi-yuan,LV Zheng-liang
DOI: https://doi.org/10.3778/j.issn.1002-8331.2010.31.022
2010-01-01
Computer Engineering and Applications Journal
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 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.
What problem does this paper attempt to address?