Revisiting the classical fault models through a detailed analysis of realistic defects

This paper analyzes the behavior of a realistic defect taking into account the unpredictable parameters of the defect. Using a simple example of short defect in the context of Boolean testing, it is first demonstrated that a given defect has a 'size" that depends on unpredictable parameters. It is then shown that a defect may be detected by a vector but for a given domain of the unpredictable parameter called the Detection Domains. Then different types of redundancy are analyzed taking into account the defect Detection Domains. Finally, it is shown that defect detection can be improved by using improved fault models.