[工学]06-动态白盒测试与单元测试.pdfVIP

动态白盒测试 与单元测试 单击此处编辑母版副标题样式 第四章 软件测试技术 回顾：静态白盒测试  基本概念 在不执行软件的条件下有条理地仔细审查软件的设计、体系结构和代 码，从而找出软件缺陷的过程 ，有时也称为结构化分析  原因 尽早发现软件错误 ; 为黑盒测试人员提供建议  方式： 正式审查： 1. 确定问题 2. 遵守规则 3. 准备期间 4. 编写报告  方法： 互查、走查、会议评审 软件测试技术 动态白盒测试  检查代码并观察运行状况 .  利用查看代码（做什么）和实现方法 ( 怎么做 ) 得到 的信息来确定哪些需要测试、哪些不要测试、如何开 展测试  又称为结构化测试 (structral testing) 软件测试技术 明确概 白盒测试 测试与调试 调试 不执行代码 不执行代码 发现缺陷 解决缺陷 4 软件测试技术 动态白盒测试内容  直接测试底层函数、过程、子程序和库。  以完整程序的方式从顶层测试软件。但是根椐对软件 运行的了解调整测试用例；  从软件获得读取变量和状态信息的访问权，以便确定 测试与预期结果是否相符，同时强制软件以正常难以 实现的方式运行 ;  估算执行测试时“命令”的代码量和具体代码，然后 调整测试，去掉多余的测试用例，补充遗漏的用例 . 软件测试技术 白盒测试期望达到的目的  所有独立路径至少都能测试一遍；  所有逻辑判断都能测试 True 和 False 两条路径；  所有循环结构都能测试到边界和循环域内的情况；  确保内部数据结构的有效性。 软件测试技术 白盒测试主要方法  3-1 逻辑覆盖测试法  3-2 基本路径测试法  3-3 循环路径覆盖法 软件测试技术 3-1 逻辑覆盖测试法  语句覆盖  判定覆盖  条件覆盖  判定 / 条件覆盖  条件组合覆盖  路径覆盖 软件测试技术 逻辑覆盖测试法  语句覆盖  每条语句至少执行一次。  判定覆盖  每个判定的每个分支至少执行一次。  条件覆盖  每种条件下的语句都应该被执行。 软件测试技术 逻辑覆盖测试法  判定 / 条件覆盖  同时满足判定覆盖和条件覆盖  条件组合覆盖  每个判定中，各条件的每一种组合至少出现一次。  路径覆盖  程序中每一条可能的路径至少执行一次。