软件质量和测试第六次讲课.ppt

5.2 静态白盒测试 捉虫实践2：第二日问题 代码说明 函数控制流图 测试分析 静态结构分析的局限 * 5.2 静态白盒测试 函数控制流图 * 5.2 静态白盒测试 测试分析 * 5.2 静态白盒测试 测试分析 * 5.2 静态白盒测试 测试分析 * 5.2 静态白盒测试 该函数的主要结构特点 多出口 环复杂度高 存在非结构化设计 * 5.2 静态白盒测试 改进策略 尽量避免在同一个函数中多次使用return语句，降低函数出口数目； 将有效性校验前置，放到函数外部处理，避免极短执行路径的函数退出节点； 尽量不使用强制跳转或强制结束语句，如goto、break等语句，避免非结构化的设计； 将完成单一功能的语句块改为函数调用的方式，降低单个函数的环复杂度 * 5.2 静态白盒测试 静态结构分析局限性 在远离代码的条件下对程序进行分析 需要通过源代码评审、后续的动态白盒测试来进一步对源代码进行测试覆盖，以期找到更多潜伏的软件缺陷 * 5.2 静态白盒测试 测试小结 静态白盒测试是白盒测试的重要组成部分，它不需要执行程序，而是通过对比标准和规范，检查程序逻辑，直接定位缺陷 基于缺陷预防的思想，通过检查程序的各种图表定位那些具有高风险的程序代码，并承担部分代码质量度量的工作 可以更好地确保所提交的软件系统的质量 * 软件测试实用教程——方法与实践 PartII 软件测试技术 * 第5章 白盒测试技术 内容提要 介绍白盒测试基本原理，围绕最重要的5种测试方法展开讨论 静态白盒测试、对变量的测试主要采用静态方法进行测试，一般不需要设计测试用例 对判定的测试、对路径的测试和对循环的测试主要是动态测试的方法，需要设计测试用例 在对判定的测试中，需结合边界值的思想设计测试用例，而对路径的测试方法的思想可以用于对整个系统功能的业务流程进行测试 * 第5章 白盒测试技术 本章重点 静态白盒测试 对判定测试 对路径的测试 对循环的测试 对变量的测试 * 5.1 概述 基本原理 * 5.1 概述 白盒测试关注的对象 源代码：直接查看源代码，查看代码的规范性，并对照函数功能查找代码的逻辑缺陷、内存管理缺陷、数据定义和使用缺陷等 程序结构：通过函数调用图、算法流程图等反映程序设计的相关图表，找到程序设计的缺陷，或评价程序的执行效率，以利于程序的结构优化 * 5.1 概述 优势 针对性强，测试效率高，通过不同的白盒覆盖指标有助于衡量对被测对象的测试覆盖程度 在函数级别开始测试工作，缺陷修复的成本低 局限性 对测试人员的技术要求高，没有一定编程经验的人是无法做白盒测试的 * 5.1 概述 适用阶段 当被测对象为函数时 完成对函数代码和结构的测试 主要关注的是函数源代码的逻辑是否符合该函数的功能要求，查看源代码中是否存在典型的编程缺陷，或从设计优化的角度观察源代码结构是否合理、是否过于复杂等 对应的是单元测试阶段，主要由开发人员自己来完成测试工作 * 5.1 概述 适用阶段 当被测对象为功能时 白盒测试不再对源代码进行检查，此时更多的是借鉴白盒测试方法的思想，完成对业务流程的覆盖测试 对应的是集成测试甚至系统测试阶段，主要由测试人员来完成测试工作 * 5.1 概述 测试方法的评价 通过重点关注源代码中不同类型的结构，如判定表达式、执行路径、循环结构、数据变量等，引入不同的白盒覆盖指标，从而得到不同的白盒测试方法，这些方法的侧重点不同，对应源代码结构的覆盖程度也不同 通过引入白盒测试覆盖指标来评估黑盒测试方法的测试覆盖率 * 5.2 静态白盒测试 代码检查 方法分类 评审流程 评审结果 注意事项 * 5.2 静态白盒测试 代码检查 方法分类 评审流程 评审结果 注意事项 * 5.2 静态白盒测试 代码检查 方法分类 评审流程 评审结果 注意事项 * 5.2 静态白盒测试 3类评审结果 正常：评审专家做好了评审准备，评审会议顺利进行，达到了预期目的，达成明确的评审结论，不需要再次评审。 延期：30%以上的评审专家并未做好评审准备，会议无法正常进行，需要重新安排评审日程。 取消：初审阶段就发现工作产品中存在太多问题，需要作者进行修复，然后再进行第二次同行评审。 * 5.2 静态白盒测试 代码检查 方法分类 评审流程 评审结果 注意事项 * 5.2 静态白盒测试 1、计划和准备阶段 管理层的问题：不重视，无计划，无培训 主持人的问题：评审员不合理，评审员搭配不合理，让管理者参与评审，制订日程不合理，无检查表 作者的问题：不认真检查工作产品 * 5.2 静态白盒测试 2、评审会进行阶段 主持人的问题：过分注重会议时间，不控制进度，针对某个技术问题讨论时间过长 评审员的问题：无评审重点，不考虑数据间、业务间及系统间相关性，过分依赖检查表，在会议中措辞刻薄，不重视评审会