基于缺陷模式的软件测试.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：申