逻辑覆盖BOR算法

BOR算法

缩写

Boolean OperatoR

输入

一个singular布尔表达式

输出

一个约束关系集,使得能检测出所有的 boolean operator错误

算法过程

1. 建立语法树并且标号
2. $T_{Ni}$ 表示使得这个子表达式为true 所对应的约束集合。
   $F_{Ni}$ 表示使得这个子表达式为false所对应的约束集合。
   $N_{l}表示节点N_{i}的左节点, N_{r}表示节点N_{i}的右节点$
   
   • 如果$N_{i}$是叶子节点-> $T_{Ni} = \{t\} 　 F_{Ni}=\{f\}$
   • 如果$N_{i}$是AND -> $T_{Ni} = T_{Nl} \otimes T_{Nr}　 F_{Ni} = F_{Nl} \times t_{Nr} \bigcup t_{Nl} \times F_{Nr}$
   • 如果$N_{i}$是OR -> $F_{Ni} = F_{Nl} \otimes F_{Nr}　 T_{Ni} = T_{Nl} \times f_{Nr} \bigcup f_{Nl} \times T_{Nr}$
   • 如果$N_{i}$是NOT -> $F_{Ni} = T_{Nl}　　T_{Ni} = F_{Nl}$