三、白盒测试 4)判定/条件覆盖 判定/条件覆盖要求设计足够的测试用例,使得 同时满足判定覆盖和条件覆盖。即判断中的每 个条件的所有情况(True和 False)至少出现 次,并且每个判断本身的判断结果(rue和 False)也至少出现一次
三、白盒测试 ◼ 4）判定/条件覆盖 ◼ 判定/条件覆盖要求设计足够的测试用例，使得 同时满足判定覆盖和条件覆盖。即判断中的每 个条件的所有情况（True和False）至少出现一 次，并且每个判断本身的判断结果（True和 False）也至少出现一次
三、白盒测试 ■5)条件组合覆盖 ■条件组合覆盖是通过选择足够的测试用例,使 得程序中每一个分支判断中的每一个条件的每 种可能组合结构都至少被执行一次。所以满 足条件组合覆盖的测试用例一定满足判定覆盖 条件覆盖和判定/条件覆盖
三、白盒测试 ◼ 5）条件组合覆盖 ◼ 条件组合覆盖是通过选择足够的测试用例，使 得程序中每一个分支判断中的每一个条件的每 一种可能组合结构都至少被执行一次。所以满 足条件组合覆盖的测试用例一定满足判定覆盖、 条件覆盖和判定/条件覆盖
三、白盒测试 ■6)路径覆盖 只有程序中的每条路径都经受了检验,才能使 程序受到全面检查。路径覆盖式设计足够的测 试用例,使得程序中所有的可能路径都至少被 执行一次
三、白盒测试 ◼ 6）路径覆盖 ◼ 只有程序中的每条路径都经受了检验，才能使 程序受到全面检查。路径覆盖式设计足够的测 试用例，使得程序中所有的可能路径都至少被 执行一次
三、白盒测试 ■基本路径测试法 基本路径法允许测试用例设计者导出一个过程设计 的逻辑复杂性测度,并使用该测度作为指南来定义 执行路径的基本集。从该基本集导出测试用例保证 对程序中每一条路径至少执行一次 ■步骤 ①以设计或代码为基础,画出相应的流图( flow graph) ②确定结果流图的环复杂度 ③确定线性独立路径的一个基本集 ■④准备测试用例,强制执行基本集中每条路径
三、白盒测试 ◼ 基本路径测试法 ◼ 基本路径法允许测试用例设计者导出一个过程设计 的逻辑复杂性测度，并使用该测度作为指南来定义 执行路径的基本集。从该基本集导出测试用例保证 对程序中每一条路径至少执行一次。 ◼ 步骤 ◼ ①以设计或代码为基础，画出相应的流图（flow graph） ◼ ②确定结果流图的环复杂度 ◼ ③确定线性独立路径的一个基本集 ◼ ④准备测试用例，强制执行基本集中每条路径
三、白盒测试 ①以设计或代码为基础,画出相应的流图(fow graph) 结构 whle结构 节点:代表一个或多个过程语句。每个包含了条件的节点 成为判定节点 边(连接):代表控制流 区域:由边和节点限定的区 注意事项 ■一条边必须始于并且中止与一个节点 ■计算区域时应包括图外部区,将其作为一个区域 当过程中遇到复合条件时,需要为复合条件中每个条 件均创建 独立的节点
三、白盒测试 ◼ ①以设计或代码为基础，画出相应的流图（flow graph） ◼ 节点：代表一个或多个过程语句。每个包含了条件的节点 成为判定节点。 ◼ 边（连接）：代表控制流 ◼ 区域：由边和节点限定的区 ◼ 注意事项： ◼ 一条边必须始于并且中止与一个节点。 ◼ 计算区域时应包括图外部区，将其作为一个区域。 ◼ 当过程中遇到复合条件时，需要为复合条件中每个条 件均创建一个独立的节点。 顺序结构 if 结构 while结构 until结构 case结构