软件测试(宫云战版)第4章

32
死循环

例4-19：无增量

for(i=1; i<=100; j++ ) for(i=1;i++)

例4-20：无结束条件


例4-21：增量变化不能使程序结束

for(i=1;i==100;i=i+2)
33
故障模式
7．资源泄漏故障（RLF）


定义：资源泄漏故障：在Java程序中，当一个资源 被打开后，如果并不是在所有的可执行路径上都对 其进行了显式的释放操作，则是一个资源泄漏故障。 简单泄露 异常泄露 交叉函数的情况 “静态”情况

若i是在数组定义的范围内，则是正确的； 若i是在数组定义的范围外，则是OBAF； 若i是不确定的，则Array[i]是否是OBAF则不确定 int data[10]; for(i=0; i<=10; i++){data[i]=...};

例4-10：数组越界

25


（2）字符串拷贝过程中存在的数组越界 故障 。 例（文件检索系统，集成测试）：

D0005（D0012、D0013、D0018同）：


D0017：

报错行：delete l_Link->m_node.m_dirname; 原因：l_Link->m_node.m_dirname = (char*) new char(strlen(l_Buf1)+1);

while(l_DirSearch){ l_Link1 = l_DirSearch; l_DirSearch = l_Link1->m_next; if(l_DirSearch == NULL) { l_DirSearch = l_DirSet; //l_DirSet = NULL;} delete l_Link1; }
char *p=malloc(10); ++p; free(p);

例：“=”指针赋值，不能重复删除。

char *str=new char[100]; char *p; str="abc"; p=str; delete str; delete p;
22
文件检索系统中关于内存错误
35
缺陷模式
•
• • •
缺陷模式概述 故障模式 安全漏洞模式 缺陷模式

例4-18：引用空指针


提示：在申请空间后、fopen打开文件之后，都需要判断是 否申请、打开成功。
29
文件检索系统中空指针错误

D0009：

str=NULL； if((strlen(str) > 3) || (str == NULL)) { return FALSE; } path=NULL; ……； l_Out = fopen(path,"wt");



#define MAXPATTERN 3 #define MAXFILELEN 12 char l_Pat[MAXPATTERN+1][MAXFILELEN+1]; …… memset(l_Pat, 0, 20*(MAXFILELEN+1));

（3）在结构类型中，由于结构体中的成 员变量是连续存放的，在数组的拷贝过 程中，多余的数据会自动的存放在后面 所定义的成员变量中，这种情况数组并 不产生越界错误。
基于缺陷模式的软件测试指标分析
2.
准确率(CR)：
IP ( M , A, P) IP ( M , A, P) U CorrectRat Y io IP( M , A, P)
3.
误报率(DR)：
IPN ( M , A, P) DistortRat io IP( M , A, P)
基于缺陷模式的软件测试指标分析
23
故障模式
2、数组越界故障的故障模式（Out of Bounds Array Access Fault OBAF）

定义：设某数组定义为Array[minmax]， 若引用Array[i]且i<min或i>max都是数组 越界故障。
24
故障模式

（1）对程序中任何出现Array[i]的地方，都要 判断i的范围，可能有三种情况：
基于缺陷模式的软件测试指标分析
1.
漏报率(ER)：设P是程序，M是缺陷模 式，A是算法，IP（M，A，P）是IP总 的数目，考虑到测试算法实现过程中的 不同假设，会导致IP（M，A，P）不 同。漏报率定义为：
| IP( M , A, P) IP( M , P) | ErrorRatio | IP( M , P) |

例4-13 使用未初始化变量

27


文件检索系统中使用未初始化变量错误
D0001（D0002同）：
DirSettingLink *l_Link ; while(l_Link) { g_DirRoot = l_Link->next; l_Link->next = NULL; delete l_Link->m_node.m_dirname; delete l_Link; l_Link = g_DirRoot; }
缺陷模式
•
• • •
缺陷模式概述 故障模式 安全漏洞模式 缺陷模式
故障模式

故障模式中给出的故障描述，是程序中 可能存在的故障，这些故障一旦被激活， 就会使系统发生错误。包括以下几种故 障模式：
故障模式
1、内存泄漏的故障模式（Memory Leak Fault，
MLF） 定义：设在程序的某处申请了大小为MB的空间， 凡在程序结束时MB或者MB的一部分没被释放、多 次释放MB或MB的一部分都是内存泄漏故障。

MLF有三种形式：

遗漏故障：是指申请的内存没有被释放。 不匹配故障：是指申请函数和释放函数不匹配。 不相等的释放错误：是指释放的空间和申请的空间 大小不一样。
20
例题

例4-1：申请的内存没有被释放

listrec *add_list_entry(listrec *entry,int value){ listrec *new_entry=(listrec *)malloc(sizeof(listrec)); if(!new_entry) return NULL; if(!entry) return NULL; … …}
4.
缺陷检测率(DDR)：
IP ( M , A, P) DefectDete ctingRatio Y IP( M , A, P)
5.
自动缺陷检测率(ADR)： 用IPAY（P，A，M）表示不需人工确 认，工具可以自动缺陷的检测个数。
基于缺陷模式的软件测试指标分析
6.
计算复杂性： 在理论上，基于缺陷的软件测试技术可 以100%的检测所定义的缺陷模式，但由于 缺陷的检测可以模型化程序的遍历问题， 对于大型程序，全部遍历虽然可以提高精 度，但需要花费大量的时间。因此，该技 术有一个性价比的问题，在时间遍历过程 中，往往都有一定的限制，如在一个函数 内、一个类内、一个文件内等。
基于缺陷模式的软件测试概述

1.
2.
3. 4. 5.
基于模式的软件测试技术具有如下特点： 针对性强：如果说某种模式的缺陷是经常发生的， 并且在被测软件中是存在的，则面向缺陷的测试可 以检测出此类缺陷。 基于缺陷模式的软件测试技术往往能发现其他测试 技术难以发现的故障，如内存泄漏缺陷，空指针引 用缺陷。 工具自动化程度高以及测试效率高。 缺陷定位准确：对测试所发现的缺陷能够准确定位。 易学、易使用：对一般的IT专业专科以上的毕业生， 该测试方法一般经过数天的培训即可掌握其使用方 法。
26
故障模式
3．使用未初始化变量故障模式 （Uninitialized Variable Fault，UVF）

定义：使用未初始化变量故障：存在一个路 径，在该路径上使用前面没有被赋初值的变 量是使用未初始化变量故障。
char c; while(c!=EOF && (c=getchar())!=‘\n’) ...;

31
故障模式
6．死循环结构模式(Dead Loop Fault DLF)

定义：在控制流图中,对任何一个循环结构, 包括:

FOR语句中的死循环结构； WHILE语句中的死循环结构； DO-WHILE语句中的死循环结构； GOTO语句中的死循环结构； 函数循环调用造成的死循环结构。
基于缺陷模式的软件测试
基于缺陷模式的软件测试

基于缺陷模式的软件测试概述 基于缺陷模式的软件测试指标分析 缺陷模式 基于缺陷模式的软件测试系统（DTS）
基于缺陷模式的软件测试概述

1. 2. 3.
缺陷模式必须满足下列几个条件： 该模式下的缺陷是符合实际的。 基于该模式的缺陷数目是可以容忍的。 该模式下的缺陷是可以测试的。
34
故障模式
8. 并发故障模式
该模式主要是针对程序员对多线程的编码机制、 各种同步方法、Java存储器模式和java虚拟机 的工作机制不清楚，而且由于线程启动的任意 性和不确定性使用户无法确定所编写的代码具 体何时执行而导致对公共区域的错误使用。 这类模式主要包括不正确的同步、死锁、多线 程应用中方法调用时机或方式不正确、同一变 量的双重验证、相互初始化的类和临界区内调 用阻塞函数等。
缺陷模式概述
1.
故障模式:此类缺陷是故障，一经产生，会导致系统 出错。 • 存储器泄露模式 • 资源泄漏模式 • 指针使用错误模式 • 数组越界模式 • 非法计算模式 • 使用未初始化变量模式 • 死循环结构模式 • 死锁模式