Chapter 8 in Introduction to Software Testing

逻辑覆盖 Logic Coverage

逻辑介绍

Logic

覆盖逻辑表达式：

• 覆盖逻辑表达式很重要，经常出现
• 对于安全关键软件，逻辑表达式是需要的
• 逻辑表达式的来源：程序判定、有限状态机和状态图表、需求
• 测试是从表达式的真值赋值的总数中找一些子集

逻辑谓词和语句 Logic Predicates and Clauses：

• 谓词是一个有确定的真值的表达式

• 谓词可以包含布尔变量、关系表达式 relational expression、布尔函数调用

• 逻辑算子 logical operators：

  • 否定 negative、合取 and、析取 or、蕴含 implication、异或 exclusive or、等价 equivalence

  

• clause 是没有逻辑算子的谓词

举例：

判定覆盖和条件覆盖（20220527 考）

Decision Coverage and Condition Coverage

逻辑覆盖的类型：

• Decision Coverage 判定覆盖（branch coverage 分支覆盖）