在今天的单元感知故障建模的文章,我们描述了如何在测试套件中解释特定的依赖于布局的错误,增加了超出固定建模所提供的测试覆盖率,并将向量计数保持在门穷举建模所要求的以下。
但是必须有某种方法来定义这些特定的“用户定义的”错误,以便测试生成程序可以将它们包含在测试套件中。
Mentor设计了他们所谓的“用户定义错误模型”(UDFM)语言来处理这个问题。它是一种人类可读可写的格式,您可以使用它来定义静态错误和转换错误。如果您愿意,这允许您手动描述特定的自定义错误,尽管如本文所述,这些错误将由工具自动写出。
作为一个例子,下面将定义本文中由低阻力桥示例引起的静态故障的四种可能的备选测试:
故障“Bridge-R4”{
测试{静态故障“Z”=0;条件“S0”= 0,“S1”= 0,“D0”= 0 = -“D1”,“D2”= 1}
测试{静态故障“Z”=0;条件“S0”= 1,“S1”= 0 = -“D0”,“D1”= 0,“D2”= 1}
测试{静态故障“Z”=0;条件“S0”= 0,“S1”= 1,“D0”= 1,“D1”= -,“D2”= 0}
测试{静态故障“Z”=0;条件“S0”= 1,“S1”= 1,“D0”= -,“D1”= 1,“D2”= 0}
}