第四章软的件测试.ppt

健壮性测试的基本思想 健壮性测试是边界值分析的一种简单扩展，除了使用五个边界值分析取值，还要过采用: 一个略超过最大值(max+)的取值 一个略小于最小值(min-)的取值 X2 两个变量函数的健壮性测试用例 6n+1 健壮性测试的讨论 健壮性测试最有意思的部分不是输入而是预期的输出 健壮性测试的主要价值是观察异常情况的处理 3.最坏情况测试 最坏情况测试的基本思想 边界值测试分析采用了可靠性理论的单缺陷假设 最坏情况测试拒绝这种假设，关心当多个变量取极值时会出现什么情况？ 最坏情况测试用例设计方法 对每一个变量首先进行包含最小值、略高于最小值、正常值、略低于最大值、最大值五个元素集合的测试，然后对这些集合进行笛卡尔积计算，以生成测试用例。 一个变量个数为n的函数的最坏情况测试会产生5n个测试用例。 两变量函数的最坏情况测试用例 X2 5n 最坏情况与边界值分析的比较 基本边界值分析测试用例是最坏情况测试用例的真子集。 最坏情况测试显然更彻底 最坏情况测试工作量大得多 n变量函数的最坏情况测试会产生5的n次方个测试用例， 边界值分析只产生4n+1个测试用例 4. 健壮最坏情况测试 对每一个变量，首先进行包含最小值、略高于最小值、正常值、略低于最大值、最大值五个元素集合的测试，还要采用一个略超过最大值的取值，以及一个略小于最小值的取值。然后对这些集合进行笛卡尔积计算以生成测试用例。 满足路径覆盖的一组测试用例 用例 A B X 执行路径 Case1 2 0 3 ace Case7 1 0 1 abd Case8 2 1 1 abe Case11 3 0 1 acd 小结 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 路径覆盖的例子 不同路径数高达520条。假定： 每一条路径进行测试需要1毫秒， 一天工作24小时， 一年工作365天， 需要3170年。 基本路径测试法 通过分析程序控制流图的环路的复杂性，导出基本路径集合，从而设计测试用例，保证这些路径至少通过一次。 控制流图 控制流图是退化的程序流程图，图中每个处理都退化成一个结点，流线变成连接不同结点的有向弧。 控制流图将程序流程图中结构化构件改用一般有向图的形式表示。 控制流图 在控制流图中用圆“○”表示节点，一个圆代表一条或多条语句。 控制流图中的基本元素： 节点 边 基本控制流图 顺序结构 IF选择结构 While循环结构 Until循环结构 Case多分支结构 复合逻辑下的控制流图 a or b x++ x-- (a) (b) (c) a x++ x++ x-- b 圈复杂度 圈复杂度：是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目。 独立路径必须包含一条在定义之前不曾用到的边。（每一条新的路径都包含了一条新边） 程序图的圈复杂度计算方法（三种）： V（G）=e – n + 2； e：边数，n：节点数 V（G）=P+1；P是图G 中判定节点的数量 程序图中区域的数量对应于环路的复杂性； 圈复杂度（续） 圈复杂度举例 3 E D B A C F G 9 1 8 7 6 5 4 2 10 R1 R5 R4 R3 R2 圈复杂度计算举例 计算环路复杂度示意图 2 3 5 7 8 9 6 4 路径1 路径2 路径3 (1) (2) (3) (4) (5) (6) (8) (9) 路径1：2?6 路径2：2?3 ? 4 ? 6 路径3：2 ?3 ?5 ?7 ?9?2?6 路径4：2 ?3 ?5 ?8 ?9?2?6 节点数量： N=8 导出边数量：E=10 对应上面图中的圈复杂度，计算如下： 流图中有四个区域； V(G)=10条边-8结点+2=4; V(G)=3个判定结点+1=4。 路径4 图形矩阵 导出控制流图和决定基本测试路径的过程均需要机械化，为了开发辅助基本路径测试的软件工具，称为图形矩阵(graph matrix)的数据结构很有用。 图形矩阵 定义：有m个节点的控制流图矩阵，是一个m×m矩阵：A=( a (i，j) )，其中a(i，j)是1，当且仅当从节点i到节点j有一条弧，否则该元素为0。 例： 1 2 3 4 5 6 7 1 0 1 0 0 0 0 0 2 0 0 1 0 0 0 1 3 0 0 0 1 1 0 0 4 0 0 0 0 0 1 0 5 0 0 0 0 0 1 0 6 0 1 0 0 0 0 0 7 0 0 0 0 0 0 0 6 3 5 4 2 1 7 基本路径测试步骤： 1.导出程序的控制流图； 2.计算控制流图的环路复杂度V(G)； 3.确定只包含独立路径的基本路径集； 4.设计测试用例； 基本路径测试法 白盒测试工具 Java语