《C-C++企业项目单元测试d》.ppt

前言 目 录 目 录 代码基本特性 代码基本特性 代码基本特性 代码基本特性 如何检测功能逻辑？ 如何检测功能逻辑？ 目 录 单元测试的目标 优先测试哪些代码？ 单元测试的方法 静态测试 单元测试的方法 动态测试 目 录 效益1：保证代码质量 效益2：排错成本最小 效益3：自动回归 效益4：促进开发 效益4：促进开发 目 录 小结 目 录 可测性差是测试的关键阻碍 可测性问题详解 可测性问题详解 可测性问题详解 可测性问题详解 内部输入示例 可测性问题详解 可测性问题详解 自然输入 可测性问题详解 不可控 可测性问题详解 失真 可测性问题详解 难于初始化 可测性问题详解 静态输入 可测性问题详解 中断输入 可测性问题详解 目 录 需解决的可测性问题 与其他代码隔离(VU) 与其他代码隔离(VU) 与其他代码隔离(VU) 需解决的可测性问题 解决编译与平台差异(VU) 需解决的可测性问题 可编程的桩能解决内部输入吗？ 可编程的桩能解决内部输入吗？ 需解决的可测性问题 解决底层函数内部输入(VU) 需解决的可测性问题 解决静态输入(VU) 需解决的可测性问题 解决中断输入(VU) 需解决的可测性问题 内部输入解决之后 内部输入解决之后：嵌入式测试 目 录 小结 目 录 全自动生成用例 自动方法有多大意义？ 得不偿失的高效率 复杂类型生成海量垃圾 目 录 四两拔千斤 人工及时干预生成代码(VU) 四两拔千斤 自动表格化(VU) 人工干预的数据生成(VU) 指定组合生成用例(VU) 四两拔千斤 实现高覆盖很困难 修正判定条件覆盖(MC/DC) 快速找出遗漏用例(VU) 快速完成白盒覆盖(VU) 四两拔千斤 目 录 单元测试对开发的促进 可视编程(VU) 单元测试对开发的促进 快速排错(VU) 单元测试对开发的促进 提高调试效率(VU) 目 录 小结 目 录 衡量效果的指标：白盒覆盖 支持六种覆盖(VU) 标示清晰简明(VU) 目 录 仅有白盒覆盖是不够的 从哪些角度保证测试效果？ 多角度保证效果(VU) 将数据分类集中(VU) 多角度保证效果(VU) 全自动生成边界用例(VU) 多角度保证效果(VU) 目 录 小结 总结：需要什么样的工具？ 为什么需要单元测试？ 怎样保证测试效果？ 怎样征服可测性难题？ 怎样才能高效率测试？ 基本指标：白盒覆盖 多角度保证测试效果 语句覆盖 条件覆盖 分支覆盖 判定条件覆盖（C/DC） 修正判定条件覆盖（MC/DC） 路径覆盖 白盒覆盖 MC/DC是欧美航空标准 MC/DC不保证代码组合覆盖 最强组合：MC/DC-路径覆盖 语句覆盖 条件覆盖 分支覆盖 C/DC MC/DC 路径覆盖 未覆盖语句 [T]未覆盖真值 [F]未覆盖假值 [M]未覆盖MC/DC 未覆盖分支 未覆盖路径 为什么需要单元测试？ 怎样保证测试效果？ 怎样才能高效率测试？ 基本指标：白盒覆盖 多角度保证测试效果 怎样征服可测性难题？ 不能发现代码缺失 不能发现用例未反映功能 人工检查 跟着代码走 × 容易遗漏边界非法输入 自动边界测试 黑 盒 将数据分类集中，人工检查 白 盒 统计覆盖率，找出遗漏用例 自 动 捕捉易遗漏的边界非法错误 黑盒白盒自动相结合 效果问题 数据分类集中便于检查 黑盒方法 白盒方法 自动方法 自动边界用例测试 判定条件覆盖(C/DC) 语句覆盖 条件覆盖 分支覆盖 修正判定条件覆盖(MC/DC) 路径覆盖 外部输入 内部输入 可测 独立运行 覆盖输入 自然输入 不可控 失真 难于初始化 静态输入 中断输入 调用底层函数 与依赖系统隔离 编译差异 平台差异 成员变量 全局变量 参数 与其他代码隔离 底层函数 类别 状态 操作系统API 支持库的函数 其他模块的接口 本模块其他函数 未实现 被隔离 有错误 难于初始化 √ √ √ √ √ √ √ √ 内部输入直接设定 在用例中直接设定环境温度 效率高 不需上传下载 代码功能逻辑与平台无关 功能逻辑无关 影响功能逻辑 不必处置 内部输入 嵌入式API 可在PC上可信测试 为什么需要单元测试？ 怎样征服可测性难题？ 可测性问题详解 解决可测性问题 怎样才能高效率测试？ 怎样保证测试效果？ 不解决可测性，无法测试 关键：内部输入 方法：底层模拟 为什么需要单元测试？ 怎样才能高效率测试？ 怎样征服可测性难题？ 似是而非的高效率 高效率测试：四两拔千斤 怎样保证测试效果？ 高效率调试、排错、开发 可能发现 不能发现 作为人工方法的补充 工具不能自动了解代码功能 int add(int a, int b){ return a – b; } 最简单代码最简单