第7章_带上X光眼镜测试软件.ppt

第7章 带上X光眼镜测试软件 动态白盒测试 回顾：测试用例的设计 软件测试中最重要的是设计有效的测试用例 完全发现软件中的错误是不可能的，如何发现尽可能多的错误？ 软件测试最关键的问题 在给定的时间和成本下，在所有可能的测试用例中，哪个子集最有可能发现最多的错误？ 采用某种策略设计测试用例 随机输入测试：低效 有策略的黑盒测试和白盒测试 7.1 动态白盒测试 动态白盒测试是指：通过查看代码功能（做什么）和实现方式（如何做）所得到的信息，确定哪些需要进行测试、如何进行测试。 特点：通过代码决定测试方式并实际运行测试用例。 重点：根据代码的编写结构（如分支、循环）来设计测试用例，因此又称为结构化测试。 请回忆一下动态黑盒测试重点关注的是什么？ 可以实现下列工作 直接测试底层函数、过程、子程序和函数库 以完整的形式从顶层测试软件，并根据运行情况调整测试用例。 可以获得运行期间变量和状态信息的访问权并进行监视，也可强制软件按正常测试难以实现的方式运行。 估算测试时“命中”的代码量和具体代码，并调整测试尽量覆盖更多的代码。 测试和调试 编程时我们都会花很多时间调试代码，但是这和动态白盒测试有本质的差别。 目标不同： 调试一般是为了修正缺陷 测试是为了寻找缺陷 但使用的手段有很多相似之处，如编译、跟踪、设置断点，甚至为测试开发单独的代码。 提示 本章同样补充增加了大量的内容，和教材差异很大。 教材内容基本不专门讲，大多涵盖在相应的部分了。 本章结束后认真将教材内容看一遍。 主要的白盒测试技术 控制流测试 数据流测试 程序插桩 程序变异测试 白盒测试工具 …… 路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法路径测试方法。 测试策略 以上的每种方法都能提供一组有用的测试用例，但是都不能单独提供一个完整的测试用例集合。 一般过程先考虑黑盒测试方法，例如在任何情况下都应该优先使用边界值分析方法。 在上述黑盒测试用例基础上，检查程序的逻辑结构，使用多种逻辑覆盖方法 如果前几步确定的测试用例尚未满足覆盖准则，那么在可能的情况下，增加足够的测试用例，使覆盖准则尽可能得以满足。 练习 if (g3) { x = x / 3; } if (g==0 || x1) { x = x + 1; } 实验三：逻辑覆盖测试用例的设计 NextDate 函数的设计、实现和测试 函数有3个参数：月份、日期和年；它们都具有整数值，且满足以下条件： 1=月份=12 1=日期=31 1900=年=2100 函数返回输入日期之后的那个日期；如果输入无效数据类型，输出相应的错误提示；对于无效的日月年组合，如“1999年13月32日”输出“无效输入日期”。 实验要求 每人实现该函数（应保证在1小时之内完成） 两人一组，使用各种逻辑覆盖方法设计测试用例（可在前方法基础上补充），互相测试对方的程序 提交被测源程序和测试报告，注明采用的测试用例设计技术，测试结果，并对测试效果进行简要分析。 7.2.7 覆盖测试的一些其它问题 除了基本的6种逻辑覆盖测试方法外，还有一些其它方法。 有些是上述方法的变体，有些是关注其它方面的覆盖问题。 本小节对这些内容只做简单介绍，大家有个大致了解即可 对于程序中的所有路径可以用路径树来表示 得到某一程序的路径树后，从其根结点开始一次遍历，回到根节点后把所经历的叶结点名排列起来，就得到一个路径。 如果我们设法遍历了所有的叶结点，那就得到了所有的路径。 当得到所有的路径后，生成每个路径的测试用例，就可以做到Z路径覆盖测试。 典型的循环控制结构 一个循环的例子 void Sort ( int x, int y ){ 1 int a=1,b=2; 2 while ( x 0 ) { 3 if (y==0 ) 4 a=b-3; 5 else 6 if (y==1 ) 7 a=b+5; 8 else 9 a=b*2; 10 x=a; 11 } …… 12 } 程序流程图和对应的控制流图 得到的基本路径并设计测试用例 根据控制流图可以很容易得到以下基本路径： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 对于每一路径，可以设计相应测试用例 对于Z路径覆盖，只考虑0次和1次循环