软件测试课件3.pptxVIP

第三章：单元测试韦庆杰;软件测试理论 单元测试 系统集成测试 系统测试 … …;完成对最小的软件设计单元—模块的验证工作 目标是确保模块被正确地编码 使用过程设计描述作为指南，对重要的控制路径进行测试以发现模块内的错误 通常情况下是面向白盒的 对代码风格和规则、程序设计和结构、业务逻辑等进行静态测试，及早地发现和解决不易显现的错误;静态单元测试 动态单元测试;通过2中方式进行： 审查(Inspection) 一步步的组内结对来检查一个产品，每一步都按照预先约定好的标准进行检查 走查(walkthrough) 代码的作者带领团队使用预先定义好的场景来手动或模拟执行产品;驱动模块（Driver）：所测模块的主程序。它接收测试数据，把这些数据传递给所测试模块，最后再输出测试结果。当被测试模块能完成一定功能时，也可以不要驱动模块。 桩模块（Stub）：用来代替所测模块调用的子模块;动态单元测试环境的构成;实例（以C语言为例）;桩模块的使命除了使得程序能够编译通过之外，还需要模拟返回被代替的模块的各种可能返回值(什么时候返回什么值需要根据测试用例的情况来决定)。 驱动模块的使命就是根据测试用例的设计去调用被测试模块，并且判断被测试模块的返回值是否与测试用例的预期结果相符 ;控制流测试 （4章） 数据流测试 （5章） 域测试 （6章） 功能程序测试 （9章）;一种考察测试数据（测试用例）完备性的技术 程序的一次变异：对源代码一次单一、微小、符号语法的更改 测试用例执行引起变异体失败时，称变异被杀死 一个变异体总是产生和原始程序相同的输出，称它与原始程序等价 一组测试用例的变异分数（mutation score）是指，不等价的变异体被这组测试用例杀死的百分比 一个测试套件的变异分数是100%则称变异充分 ; —— 检验故障原因的过程 三种调试方法： 蛮力调试法： 跟踪代码执行的打印语句、日志 原因排除法： 包含归纳和推理的过程 回溯调试法： 以发现失败的代码为起点追溯执行的代码到达发生问题的点;极限编程（eXtreme Programming)使用测试驱动编程TDD（Test Driven Programming)来开发代码 TDD的关键做法是???序员在编写代码前先要设计详细的测试用例，这在软件开发中称为测试优先;JUnit：Java语言的单元测试框架 JUnit框架中的思想被移植到其他语言 例如：C#(Nunit)、Python(PyUnit)、C++(CPPUnit) 这个单元测试框架系统统称为xUnit;参考课文和其他资料;单元测试的测试数据选择可以基于如下方法 控制流测试（第4章 ） 数据流测试（第5章 ） 域测试（第6章 ） 功能程序测试（第9章）;数据流异常： 二次定义错误（类型1） 未定义但被引用（类型2） 定义但未被引用（类型3)