Review and extension of fault class hierarchy for testing Boolean specification

Fault hierarchy specifies the inter-relationships amongst various fault classes in terms of their fault detection capability. Kuhn has developed a fault hierarchy for Boolean expression in disjunctive normal form which was complemented by Tsuchiya and Kikuno. Lau and Yu extended the fault hierarchy by adding more fault classes in the hierarchy. In this paper, we give the fault detection criteria for clause disjunction fault (CDR) and associative shift fault (ASR) and further extend the fault hierarchy by adding these fault classes in the fault hierarchy.