st-第5章 单元测试.ppt

软件测试 第5章 单元测试 问题 本章内容 5.1 什么是单元测试 5.2 单元测试的方法 5.3 白盒测试方法的用例设计 5.4 代码审查 5.5 集成测试 5.6 单元测试工具 本章内容 5.1 什么是单元测试 5.2 单元测试的方法 5.3 白盒测试方法的用例设计 5.4 代码审查 5.5 集成测试 5.6 单元测试工具 5.1 什么是单元测试 单元测试就是对已实现的软件最小单元进行测试，以保证构成软件系统的各个单元的质量 单元测试活动中，强调被测试对象的独立性 单元测试应从各个层次来对单元内部算法、外部功能实现等进行检验，包括对程序代码的评审和通过运行单元程序来验证其功能特性等内容。 单元测试的目标 单元实现了其特定的功能，如果需要，返回正确的值 单元的运行能够覆盖预先设定的各种逻辑 在单元工作过程中，其内部数据能够保持完整性，包括全局变量的处理、内部数据的形式、内容及相互关系等不发生错误 可以接受正确数据，也能处理非法数据，在数据边界条件上，单元也能够正确工作 该单元的算法合理，性能良好 该单元代码经过扫描，没有发现任何安全性问题 本章内容 5.1 什么是单元测试 5.2 单元测试的方法 5.3 白盒测试方法的用例设计 5.4 代码审查 5.5 集成测试 5.6 单元测试工具 单元测试的方法 单元测试主要采用白盒测试方法，辅以黑盒测试方法。白盒测试方法应用于代码评审、单元程序检验之中，而黑盒测试方法则应用于模块、组件等大单元的功能测试之中 黑盒方法和白盒方法 黑盒测试方法（Blake-box Testing），是把程序看作一个不能打开的黑盒子，不考虑程序内部结构和内部特性，而是考察数据的输入、条件限制和数据输出，完成测试 白盒测试方法（White-box Testing），也称结构测试或逻辑驱动测试。白盒测试方法是根据模块内部结构了解，基于内部逻辑结构，针对程序语句、路径、变量状态等来进行测试，检验程序中的各个分支条件是否得到满足、每条执行路径是否按预定要求正确的工作。 驱动程序和桩程序 驱动程序（driver），对底层或子层模块进行（单元或集成）测试时所编制的调用被测模块的程序，用以模拟被测模块的上级模块 桩程序（stub），也有人称为存根程序，对顶层或上层模块进行测试时，所编制的替代下层模块的程序，用以模拟被测模块工作过程中所调用的模块。 示例 本章内容 5.1 什么是单元测试 5.2 单元测试的方法 5.3 白盒测试方法的用例设计 5.4 代码审查 5.5 集成测试 5.6 单元测试工具 5.3 白盒测试方法的用例设计 5.3.1 分支覆盖 5.3.2 条件覆盖法 5.3.3 基本路径测试法 白盒方法的目标 语句覆盖，使得程序中每一条可执行语句至少被执行一次 分支覆盖，使得程序中每一个分支都至少被执行一次 条件覆盖，程序中每一个条件至少有一次被满足 路径覆盖，对程序模块的所有独立的基本路径至少要测试一次 分支测试 实例 设计分析 分支覆盖 vs. 语句覆盖 条件覆盖 vs. 分支覆盖 条件覆盖 vs. 分支覆盖 条件覆盖不能保证分支覆盖，例如设计两个测试用例N= 1、Max = -1和N= 0、Max = 1 (KN) and (R=Max)＝.T. 的分支没有被覆盖 设计两个测试用例N= 3、Max = 10和N= -1、Max = 0，即覆盖了所有条件，也覆盖了所有分支 基本路径覆盖 路径覆盖就是设计所有的测试用例，来覆盖程序中的所有可能的执行路径。基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证被测试程序的每个可执行语句至少被执行一次。 程序流程图 示例 环路复杂性 V(G) = 区域数目 V(G) = 边界数目 – 节点数目 + 2 V(G) = 判断节点数目 + 1 示例计算结果：V(G) =4 确定基本路径获得测试用例 A－C－E－F－H A－C－E－G－H A－B－C－D－C—E－F－H A－B－C－D－C—E－G－H 图形矩阵 本章内容 5.1 什么是单元测试 5.2 单元测试的方法 5.3 白盒测试方法的用例设计 5.4 代码审查 5.5 集成测试 5.6 单元测试工具 5.4 代码审查 5.4.1 代码审查的范围和方法 5.4.2 代码规范性的审查 5.4.3 代码缺陷检查表 代码审查的范围和方法 代码审查的目的就是为了产生合格的代码，检查源程序编码是否符合详细设计的编码规定，确保编码与设计的一致性和可追踪性 审查的内容 最佳实践 代码规范性的审查 代码规范性的审查将助于更早地发现缺陷，代码质量的提高，而且可以帮助程序员遵守规则