白盒测试用例设计方法课件.ppt

第4章 白盒测试用例设计方法 ;本章内容;白盒测试;;不可能进行彻底的白盒测试;基本路径测试;基本路径测试;控制流图;控制流图;控制流图;环复杂度;环复杂度;环复杂度;基本路径 ;基本路径;基本路径示例:;基本路径测试示例:;三角形问题;控制流图;环复杂度;基本路径和测试用例（1）;基本路径和测试用例 81-86->87->88->92->93 ->94->102 相应的测试用例: 测试输入 = (68,68,68) 预期结果= 这是一个等边三角形！ 81-86->87->89-90->92->99-100->102 相应的测试用例: 测试输入 = (68,8,60) 预期结果= 这不是一个三角形！ ;基本路径与环复杂度;基本路径与环复杂度;练习;练习;对节点粒度的讨论;对节点粒度的讨论;思考;分支-条件测试;;分支-条件测试;案例;案例;对分支-条件测试的讨论;案例;结论;推荐;练习;循环测试 ;循环类型 ;测试简单循环;测试嵌套循环;测试连接循环;测试非结构循环;其它白盒测试方法;数据流测试;;指出变量X的定义节点、使用节点和定义-使用路径 定义节点：Def(x,1) 使用节点：USE(x,2), USE(x,3), USE(x,4) 定义-使用路径：1，2； 1，2，3； 1，2，4；;指出变量X的定义节点、使用节点和定义-使用路径 定义节点：Def(x,1),Def(x,5) 使用节点：USE(x,3), USE(x,6), USE(x,9) 定义-使用路径：1,2,3； 1,2,3,4,5,6； 1,2,3,8,9； 5,6;;数据流的应用;说明 借助往被测程序中插入操作来实现测试目的的方法 设计插桩需考虑的问题 探测哪些信息 在代码的什么部位设置探测点 需要设置多少个探测点 断言 是一种特殊的插桩 在程序中的特定部位插入的用以判断变量特性的语句;思想 用代数符号代替具体的数值作为程序的输入,如果用符号运算相应获得的结果是正确的，那么所有符合条件的输入数值产生的结果都将是正确的。 问题 分支问题 二义性问题 大程序问题 ;运用白盒测试方法;参考答案 ;以复合条件为节点P79（方案1）;以简单条件为节点P80（方案2）;环复杂度（方案1）;基本路径（方案1）;基本路径(方案1);环复杂度（方案2）;基本路径（方案2）;基本路径(方案2);基本路径(方案2);分支-条件测试;分支-条件测试;分支-条件测试;分支-条件测试;循环测试;循环测试;循环测试;结果合并;结果合并;补充测试用例;补充测试用例;Assert;使用JUnit;使用JUnit对被测对象进行白盒测试可参考以下步骤： 根据被测对象的逻辑情况设计测试用例 引用JUnit测试框架，用Java语言编写测试代码实现测试用例。为了使用JUnit测试框架，编写的包含实现测试用例的类应是TestCase的子类（下称测试类）。如果用TestSuite处理实现的测试用例，则在编写时需遵循如下规定： 测试类必须是公有类并且继承于TestCase 测试类中的实现测试用例的方法必须是公有的并且声明为void 测试类中的实现测试用例的方法名必须是以test开始 测试类中的实现测试用例的方法无任何参数 ;使用JUnit对被测对象进行白盒测试可参考以下步骤： 选择一种TestRunner运行测试代码，确定被测代码中是否存在缺陷 如果存在缺陷，定位并修改缺陷 再次运行测试代码验证缺陷是否被修改正确是否引入新问题 ;JUnit安装 获取Junit安装包： /projects/Junit/ 解压 junit.zip 文件到你的安装目录 在CLASSPATH中添加junit.jar ，比如：set classpath=%classpath%;INSTALL_DIR\junit\junit.jar ;JUnit安装 验证安装的正确性，在Dos窗口输入如下命令 Batch TestRunner ??? java junit.textui.TestRunner junit.samples.AllTests Graphical TestRunner ??? java junit.awtui.TestRunner junit.samples.AllTests Swing based graphical TestRunner