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:
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
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: