第09九章软件测试.ppt

第09九章软件测试
第1页，共80页，2022年，5月20日，14点5分，星期五
测试阶段的信息流程
*
*
第2页，共80页，2022年，5月20日，14点5分，星期五
测试阶段的信息流程
输入流分软件配置和> 基本路径 ==> 测试用例
*
*
第16页，共80页，2022年，5月20日，14点5分，星期五
Step1 根据程序的逻辑结构画出流程图
void Func(int nPosX, int nPosY) {
while (nPosX > 0) {
int nSum = nPosX + nPosY;
if (nSum > 1) {
nPosX--;
nPosY--;
}
else {
if (nSum < -1) nPosX -= 2;
else nPosX -= 4;
}
} // end of while
}
*
*
第17页，共80页，2022年，5月20日，14点5分，星期五
Step1 根据程序的逻辑结构画出流程图
*
*
第18页，共80页，2022年，5月20日，14点5分，星期五
Step2 根据流程图画出流图
*
*
第19页，共80页，2022年，5月20日，14点5分，星期五
Step3 确定基本路径的集合
基本路径
流图的Cyclomatic复杂度正好是基本路径的数目
V(G) = E – N + 2
V(G) = 11 - 9 + 2 = 4
*
*
第20页，共80页，2022年，5月20日，14点5分，星期五
Step3 确定基本路径的集合
1 - 11
1 - 2, 3 - 4, 5 - 10 - 1 - 11
1 - 2, 3 - 6 - 7 - 9 - 10 - 1 - 11
1 - 2, 3 - 6 - 8 - 9 - 10 - 1 - 11
*
*
第21页，共80页，2022年，5月20日，14点5分，星期五
Step4 对每条基本路径设计测试用例
对于路径1 – 11
nPosX 取-1, nPosY取任意值
1 - 2, 3 - 4, 5 - 10 - 1 - 11
nPosX 取1, nPosY取1
对于路径1 - 2, 3 - 6 - 7 - 9 - 10 - 1 – 11
nPosX 取1, nPosY取-1
1 - 2, 3 - 6 - 8 - 9 - 10 - 1 - 11
nPosX 取1, nPosY取-3
*
*
第22页，共80页，2022年，5月20日，14点5分，星期五
2. 控制结构测试
基本路径测试是控制结构测试技术的一种,下面介绍其他形式的控制结构测试,它们比基本路径测试法覆盖程度更大,进一步提高了白盒测试的质量。
*
*
第23页，共80页，2022年，5月20日，14点5分，星期五
条件测试法
条件测试主要考虑程序中的条件判断,以期发现条件判断内部的错误和程序中其他一些错误。
程序中“条件”分为简单条件和复合条件。简单条件为一个布尔变量或一个关系表达式(可能前缀逻辑非),复合条件由简单条件通过逻辑运算符(OR、AND、NOT)和括号连接而成。
因此条件中可能出现的错误类型包括:布尔运算符错、布尔变量错、括号错、关系运算符错和算术表达式错。
最简单的条件测试是分支测试。
*
*
第24页，共80页，2022年，5月20日，14点5分，星期五
分支和关系运算测试法BRO
能用少于2n次测试发现条件中大多数错误,采用该方法的前提是条件中每个布尔变量和关系运算符至多出现一次并无公共变量。
BRO方法引入条件约束的概念,含n个简单条件的复合条件C之约束D表示为(D1,D2,…Dn),Di(0＜i≤n)一般为某种符号,它指明简单条件Ci在C中出现的约束。C的一次执行覆盖约束条件D指，C中出现的每个简单条件Ci在这次执行中都满足D中对应的约束Di。对于一个布尔表达式,出现约束或为真(t)或为假(f);对于一个关系表达式,出现约束用符号＞、＜或＝表示。
*
*
第25页，共80页，2022年，5月20日，14点5分，星期五
数据流测试法
数据流测试法是根据程序中变量定义和引用的位置选择测试路径。
为说明数据流测试法,假设程序中每个语句都被赋与一个唯一的标号,并且每个函数都不修改其参数和全局变量,对以S为标号的语句定义下面两个集合:
DEF(S)={X|语句S中含X的定义}
USE(S)={X|语句S中含对X的引用}
当S为分支或循环语句时,DEF集合为空,USE集合由S所含条件确定。如果从语句S到语句S’存在一条路径并且在