软件测试第六讲结绿构性测试.ppt

软件测试 结构性测试 结构性测试 结构性测试方法的突出特征，是它们都基于被测程序的源代码。 白盒测试以程序的内部逻辑结构为依据而设计测试用例的方法 使用范围和现状 开发过程与测试 检查设计和代码 静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 静态白盒测试的好处与存在的问题 正式审查 基本要素 确定问题 遵守规则（规范） 准备 编写报告 间接效果 交流 质量 小组同志化 解决方案 编码标准与规范 实行编码标准与规范的原因 可靠性 可读性/维护性 移植性 编程标准和规范的示例 获取标准 通用代码审查清单 数据引用错误 数据声明错误 计算错误 比较错误 控制流程错误 子程序参数错误 输入/输出错误 其它检查 白盒测试的方法 主要方法 逻辑覆盖法 路径覆盖法 循环覆盖法 逻辑覆盖法 由于覆盖测试的目标和程度不同，又分为以下几种逻辑覆盖 语句覆盖 判断覆盖 条件覆盖 判断/条件覆盖 条件组合覆盖 逻辑覆盖法（续） 语句覆盖：选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。 判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值， 也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖”。 条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。 逻辑覆盖法（续） 判定/条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。 ——满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖。 组合覆盖：通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。 ——满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。 逻辑覆盖法（续） 使用逻辑覆盖法步骤 在设计测试用例时的步骤 选择逻辑覆盖程度类型 选择测试路径以满足选定的覆盖程度 选择测试输入数据以满足选定的测试路径和覆盖程度 根据测试输入数据和测试路径计算预期结果 逻辑覆盖法举例 基本路径覆盖法 基本路径法是在程序图的基础上，通过分析环形复杂性，导出基本路径集，然后设计测试用例使基本路径集中的每条路径至少经过一次。 基本路径是指程序中至少引进一条新的语句或一个新的条件的任一路径。 基本路径覆盖法步骤 适用于测试模块的详细设计结果及源程序代码。 主要步骤： 以详细设计结果或源程序代码为基础，导出程序图 计算程序图的环形复杂度 确定基本路径集 生成测试用例，使基本路径集中的每条路径至少经过一次 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 软件测试技术总结 * * 条件组合覆盖 判断/条件覆盖 判断覆盖 条件覆盖 语句覆盖 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 不实际运行程序，而是通过检查和阅读等手段来发现错误并评估代码质量的软件测试技术。也称为静态分析技术。 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 实际运行程序，并通过观察程序运行的实际结果来发现错误的软件测试技术。 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 开发组内部进行的，采用讲解、讨论和模拟运行的方式进行的查找错误的活动。 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 开发组、测试组和相关人员(QA、产品经理等)联合进行的，采用讲解、提问并使用Checklist方式进行的查找错误的活动。一般有正式的计划、流程和结果报告。 软件测试技术 代码走查 代码审查 技术评审 黑盒测试 功能测试 攻击测试 性能测试 白盒测试 语句覆盖 路径覆盖 分支覆盖 动态测试 静态测试 回归测试 开发组内部进行的，采用讲解、提问并使用Checklist方式