An improved model-based method to test circuit faults

Publication Type:
Journal Article
Theoretical Computer Science, 2005, 341 (1-3), pp. 150 - 161
Issue Date:
Filename Description Size
Thumbnail2005000899.pdf1.1 MB
Adobe PDF
Full metadata record
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. © 2005 Elsevier B.V. All rights reserved.
Please use this identifier to cite or link to this item: