1.4. 控制结构测试
基本路径测试是控制结构测试的一个例子
1.4.1. 条件测试
条件测试目的是执行程序模型中的所有逻辑条件
可定义：
l 关系式：（ E1 opE2 ），其中E1和E2是算术表达式。
l 简单条件：布尔变量或关联表达式，可能优先级高于一个“非”操作
l 复合条件：由两个或两个以上简单条件组成，使用布尔运算符和括号连接
l 布尔表达式：没有关联表达式的条件
表达式错误有：
l 布尔运算符错误
l 布尔变量错误
l 布尔括号错误
l 关联运算错误
l 算术表达式错误
条件测试方法集中测试程序中的条件
测试策略包括：
分支测试：至少执行每个分支一次
域测试：每个关联运算使用3或4个测试
分支和关联运算测试：使用条件限制
例1: C1 = B1 & B2
l B1和B2是布尔条件
l 形式条件约束(D1，D2)D1和D2可为真（T）也可为假(F)
l 分支和关联运算测试要求C1的执行覆盖约束集{(t,t),(f,t),(t,f)}
对约束集的覆盖可确保对关联运算错误的检测。
1.4.2. 数据流测试
根据定义的位置和变量的使用选择测试路径。
1.4.3. 循环测试
多种算法的基本循环原理
循环可分为单循环（simple），串联循环(Nested)，嵌套循环(Concatendate)，和非结构化循环(Unstructured)
例子：
需要测试：
l 单循环：其中n是可允许通过循环的最大次数
（1）跳过整个循环
（2）只通过循环一次
（3）通过循环两次
（4）通过循环m次，其中m<n
（5）通过循环n-1次，n次，n+1次
l 串联循环
（1）从最内循环开始，设置所有其它的循环的值为最小
（2）在最内循环中进行单循环测试
（3）由里到外的测试循环
（4）照此进行，直到所有的循环都测试完毕
l 嵌套循环
（1）如果是独立循环，使用单循环测试
（2）如果是非独立循环，采用串联循环的测试方法
l 非结构化循环
（1）不用测试，需要重新设计
版权声明：51Testing软件测试网及相关内容提供者拥有51testing.com内容的全部版权，未经明确的书面许可，任何人或单位不得对本网站内容复制、转载或进行镜像。51testing软件测试网欢迎与业内同行进行有益的合作和交流，如果有任何有关内容方面的合作事宜，请联系我们。
