《表1 布尔表达式的故障类型》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于布尔表达式约束的测试用例生成技术》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

故障类型包括逻辑非、插入、缺失、引用等4种，根据它们出现在布尔表达式中的位置，又可以细分为更多故障类型。孙昌爱等人[3]总结了布尔表达式的常见故障类型，具体如表1所示。其中，除括号相关的故障类型外，其他故障类型都是针对IDNF布尔表达式的；SEF表示布尔表达式S的错误实现，E表示故障发生的位置，F表示故障类型，以TNF为例，该故障类型表示布尔表达式S中的某一乘积项被错误地替换成其否定形式；“—”表示该故障类型不存在或不适用。