基于缺陷模式的软件测试.pptVIP

软件测试技术 主讲人：刘 伟 缺陷模式 缺陷模式是和语言本身相关的，不同的语言有着不同的缺陷模式。 故障模式 漏洞模式 缺陷模式 规则模式 故障模式 此类缺陷是故障，一经产生，会导致系统出错。 内存泄露模式 资源泄漏模式 指针使用错误模式 数组越界模式 非法计算模式 使用未初始化变量模式 死循环结构模式 死锁模式 故障模式 故障模式中给出的故障描述，是程序中可能存在的故障，这些故障一旦被激活，就会使系统发生错误。包括以下几种故障模式： 故障模式 1、内存泄漏的故障模式（Memory Leak Fault， MLF） 定义：设在程序的某处申请了大小为MB的空间，凡在程序结束时MB或者MB的一部分没被释放、多次释放MB或MB的一部分都是内存泄漏故障。 MLF有三种形式： 遗漏故障：是指申请的内存没有被释放。 不匹配故障：是指申请函数和释放函数不匹配。 不相等的释放错误：是指释放的空间和申请的空间大小不一样。 例题 例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-2/3：申请函数和释放函数不匹配 str=malloc(10) ; … ; delete(str) ; … str=new(10);... ; free(str);... malloc与free匹配；new与delete匹配 例4-6：申请内存的pointer发生了变化 char *p=malloc(10); ++p; free(p); 例：“=”指针赋值，不能重复删除。 char *str=new char[100]; char *p; str=abc; p=str; delete str; delete p; 文件检索系统中关于内存错误 D0005（D0012、D0013、D0018同）： 报错行：delete l_Link-m_node.m_dirname; 原因：l_Link-m_node.m_dirname = (char*) new char(strlen(l_Buf1)+1); D0017： 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; } 故障模式 2、数组越界故障的故障模式（Out of Bounds Array Access Fault OBAF） 定义：设某数组定义为Array[min?max]，若引用Array[i]且imin或imax都是数组越界故障。 故障模式 （1）对程序中任何出现Array[i]的地方，都要判断i的范围，可能有三种情况： 若i是在数组定义的范围内，则是正确的； 若i是在数组定义的范围外，则是OBAF； 若i是不确定的，则Array[i]是否是OBAF则不确定 例4-10：数组越界 int data[10]; for(i=0; i=10; i++){data[i]=...}; （2）字符串拷贝过程中存在的数组越界故障 。 例（文件检索系统，集成测试）： #define MAXPATTERN 3 #define MAXFILELEN 12 char l_Pat[MAXPATTERN+1][MAXFILELEN+1]; …… memset(l_Pat, 0, 20*(MAXFILELEN+1)); （3）在结构类型中，由于结构体中的成员变量是连续存放的，在数组的拷贝过程中，多余的数据会自动的存放在后面所定义的成员变量中，这种情况数组并不产生越界错误。 故障模式 3．使用未初始化变量故障模式（Uninitialized Variable Fault，UVF） 定义：使用未初始化变量故障：存在一个路径，在该路径上使用前面没有被赋初值的变量是使用未初始化变量故障。 例4-13 使用未初始化变量 char c; while(c!=EOF (c=getchar())!=‘\n’) ...; 文件检索系统中使用未初始化变量错误 D0001（D0002同）： DirSettingLink *l_Link ; while(l_Link) { g_DirRoot =