white-boxTesting.pptVIP

第二讲：白盒测试 Lian Yu The School of Software and Microelectronics Peking University No.24 Jinyuan RD, Beijing 102600 提纲 白盒测试 基本路径测试 条件测试 数据流测试 循环测试 代码检查法 代码审查 桌面检查 走查 白盒测试 白盒测试 (White-box Testing)，有时称为玻璃盒测试(Glass-box Testing)，是一种基于源程序或代码的测试方法，分为静态和动态两种类型。 静态方法是指按一定步骤直接检查源代码来发现错误，而不用生成测试用例并驱动被测程序运行来发现错误，也称为代码检查法； 动态方法是指按一定步骤生成测试用例并驱动被测程序运行来发现错误。 白盒测试（续） 动态方法有: 基本路径测试 条件测试 数据流测试 循环测试 静态方法有: 桌面检查 代码审查 走查 白盒测试（续） 白盒测试是一项测试技术，它根据被测试程序的结构或内部逻辑来产生测试用例。 在白盒测试中，程序结构通常用程序图来表达,并从程序图来产生测试用例。 白盒测试努力达到一个既定的覆盖标准（比如说，基本路径覆盖，语句覆盖，分支覆盖，等等）。 白盒测试（续） 提纲 白盒测试 基本路径测试 条件测试 数据流测试 循环测试 代码检查法 代码审查 桌面检查 走查 基本路径测试 基本路径测试是Tom McCabe于1976首先提出的一种白盒测试技术，基本路径测试给测试用例设计者提供方法来 求出程序或过程设计的逻辑复杂性测度，并 使用该测度作为指南来定义执行路径的独立基本集。 路径的独立基本集的作用？ 从该基本集导出的测试用例保证对程序中的每一条语句至少执行一次。 思路 流图（flow graph）符号 流程图与流图 流图（续） 程序设计中遇到复合条件时，生成的流图变得稍微为复杂。 流图定义 G=（V，E），其中V是顶点的集合，E是有向边的集合。 V = {vb，ve} ∪ D ∪ S， 初始节点vb的入度函数indegree(vb)的值为零，indegree（vb）= 0，结束节点ve的出度函数outdegree（ve）的值为零, outdegree(ve) = 0， D是原子二元判定条件的节点集， S是顺序的节点集，每一个节点表示一块连续的语句群； E = D×D ∪ D×S ∪ S×D是有向边的集合。 基本路径 路径p可以表示为一系列的顶点： p= vb，v1，v2，…，vn，ve， 其中{vb，vi (i=1，…， n)，ve} ? V, {vb,v1,v1,v2,…,vn,ve } ? E。 路径p= vb，v1，v2，…，vn，ve是一条基本路径， 如果p不包含两个子序列的s1,s2使得s1 = s2并且length(s1)﹥1和length(s2)﹥1。其中：路径p的子序列s1，subseq(s1,p)当且仅当(?s0)(?s2)(s0,s1,s2 = p)。 即：?(?s1)(?s2)(subseq(s1,p) ? subseq(s2,p) ? s1 = s2 ? |s1|﹥1 ? |s2|﹥1) 例子 计算复杂性 如何才能知道需要寻找多少条路径呢？对环形复杂性的计算结果为这个问题提供了答案。 环形复杂性以图论为基础，为我们提供了非常有用的软件度量。 环形复杂性 (Cyclomatic Complexity) 环形复杂性是一种为程序逻辑复杂性提供定量测度的软件度量。 当该度量用于基本路径测试方法，计算所得的值给出了程序基本集的独立路径数量，这是为确保所有语句至少执行一次而必须进行测试数量的上界。 可用如下三种方法之一来计算复杂性。 三种方法计算复杂性 给定流图G的环形复杂性——CC(G)，流图中区域的数量。 给定流图G的环形复杂性——CC(G)，定义为CC (G)=E-N+2，E是流图中边的数量，N是流图节点数量。 给定流图G的环形复杂性——CC(G)，也可定义为CC (G)=P+1，P是流图G中判定节点的数量。 例子 导出测试用例 利用基本路径测试产生测试用例的一系列步骤 以设计或代码为基础，画出相应的流图 确定结果流图的环形复杂性 确定线性独立的路径的一个基本集 准备测试用例，强制执行基本集中每条路径 导出测试用例（续） 1.以设计或代码为基础，画出相应的流图。 使用符号和构造规则创建一个流图。 创建流图时，要对将被映射为流图节点的语句进行标号（1）－（10） 导出测试用例（续） 2.确定结果流图的环形复杂性。 可采用上一节中的任意一种算法来计算环形复杂性——CC (G)。 导出测试用例（续） 补充： 计算CC (G)并不一定要画出流图，计算PDL中的所有原子