Back to Search
Start Over
An improved model-based method to test circuit faults
- Source :
-
Theoretical Computer Science . Sep2005, Vol. 341 Issue 1-3, p150-161. 12p. - Publication Year :
- 2005
-
Abstract
- 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. [Copyright &y& Elsevier]
- Subjects :
- *WRITING materials & instruments
*PHOTOGRAPHIC paper
*WALLPAPER
*WATERMARKS
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 341
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 18235389
- Full Text :
- https://doi.org/10.1016/j.tcs.2005.04.004