Title :
A method for the evaluation of behavioral fault models
Author :
Gaudette, Emilio ; Moussa, Michael ; Harris, Ian G.
Author_Institution :
Dept. of Electr. & Comput. Eng., Massachusetts Univ., Amherst, MA, USA
Abstract :
Many fault models have been proposed which attempt to capture design errors in behavioral descriptions, but these fault models have never been quantitatively evaluated. The essential question which must be answered about any fault model is, "If all faults in this model are detected, is the design guaranteed to be correct?" In this paper we present a method to examine the degree to which an arbitrary fault model can ensure the detection of all design errors. The method involves comparing fault coverage to error coverage as defined by a practical design error model which we describe. We have employed our method to perform a limited analysis of the statement and branch coverage fault models.
Keywords :
automatic test pattern generation; error detection; fault simulation; high level synthesis; arbitrary fault model; automatic test generation; behavioral fault models; branch coverage; design defects; design error model; design errors; error coverage; fault coverage; mutation operator; Analytical models; Automatic testing; Computer errors; Computer science; Costs; Error correction; Fault detection; Performance analysis; Performance evaluation; System testing;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2003. Eighth IEEE International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7803-8236-6
DOI :
10.1109/HLDVT.2003.1252492
