Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657799 | Theoretical Computer Science | 2005 | 12 Pages |
Abstract
This paper presents an improved model-based reasoning method to test circuit faults. The testing procedure is applicable even when the target system contains multiple faulty modes. Using our method, the observation could be planned appropriately to guarantee correct solutions to be in the restricted candidate space. The existent consistency-checking method and abductive reasoning method are special cases of our method. The relationship between the testing procedure and the corresponding prime implication is analyzed for algorithmic implementation.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Xiaochun Cheng, Dantong Ouyang, Jiang Yunfei, Chengqi Zhang,