软件bro测试中文意思,测试-BRO-2.ppt

测试-BRO-2

第 7 章 实 现 第7章 软件实现 7.1 编码 7.2 软件测试基础 7.3 单元测试 7.4 集成测试 7.5 确认测试 二、控制结构测试——1.基本路径 问题：实际问题中的程序路径是庞大的，因此要将覆盖的路径压缩到一定限度才能解决这个问题。 思想：在程序控制流图的基础上，通过分析控制构造的环形复杂性，导出基本路径集合，从而设计测试用例、保证这些路径至少通过一次。 二、控制结构测试——1.基本路径 特点：基本路径测试介于分支覆盖和路径覆盖之间，确保程序中的所有基本路径都被执行过一次。 步骤：1. 画流图 2. 计算环形复杂度 3. 确定独立路径 4. 设计覆盖独立路径的测试用例 1.画流图：流图不对程序的过程性细节进行刻画； 流图仅仅刻画了程序的控制结构。 2.计算环形复杂度： 3.确定独立路径集合： 例如： 4.针对每条基本路径设计测试用例，强迫每条基本路径都被执行一次。 P156 例 二、控制结构测试——2.条件测试 简单条件：一个布尔变量或一个关系表达式 (允许含有NOT符号) 关系表达式：E1E2 条件成分:(每个成分都可能会出错) 布尔算符：AND(&&)、OR(||)、NOT(!) 布尔变量 布尔括号：用于括住简单条件或复合条件 关系算符：、<=、>=、==、!= 算术表达式 二、控制结构测试-2.条件测试P159 BRO(Branch and Relational Operator)条件测试： 适用情况：条件中所有布尔变量和关系算符都只出现一次且没有公共变量。 => BRO测试一定能发现条件中的 分支错和关系算符错 二、控制结构测试-2.条件测试P159 复合条件的分支错： 整个复合条件的真分支和假分支，以及每个简单子条件都应至少执行一次 E1E2中的关系算符错： 需要3个测试：分别使E1的值大于、等于、或小于E2的值。 为了发现E1和E2中的错误：要使得E1大于或小于E2时，E1和E2的值之间的差别尽量小。 二、控制结构测试-2.条件测试P159 BRO(Branch and Relational Operator)条件测试： C1：B1 && B2:下行表达式中(t,f)表示左边B1值为true，右边B2值为false 测试约束集为：{ (t, t), (f, t), (t, f) } 此三个选项为固定 C2：B1 && (E3=E4) 测试约束集为：{ (t, =), (f, =), (t, >), (t, E2) && (E3=E4) 测试约束集为：{ (>,=), (,>), (>,