软件测试教程(华为培训专用)-第4章ppt课件.ppt

《软件测试教程(华为培训专用)-第4章ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、基于缺陷模式的软件测试基于缺陷模式的软件测试基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模式基于缺陷模式的软件测试系统（DTS）基于缺陷模式的软件测试概述缺陷模式必须满足下列几个条件：该模式下的缺陷是符合实际的。基于该模式的缺陷数目是可以容忍的。该模式下的缺陷是可以测试的。基于缺陷模式的软件测试概述基于模式的软件测试技术具有如下特点：针对性强：如果说某种模式的缺陷是经常发生的，并且在被测软件中是存在的，则面向缺陷的测试可以检测出此类缺陷。基于缺陷模式的软件测试技术往往能发现其他测试

2、技术难以发现的故障，如内存泄漏缺陷，空指针引用缺陷。工具自动化程度高以及测试效率高。缺陷定位准确：对测试所发现的缺陷能够准确定位。易学、易使用：对一般的IT专业专科以上的毕业生，该测试方法一般经过数天的培训即可掌握其使用方法。基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模式基于缺陷模式的软件测试系统（DTS）基于缺陷模式的软件测试基于缺陷模式的软件测试指标分析设P是待测程序，将缺陷模式M分成类M={M1，M2，…Mn}，每类分成种Mi={Mi1，Mi2，…，MiL},从P中计算出和

3、M相匹配的检查点的集合IP={IP1,IP2,…,IPm},可以定义如下技术指标：漏报率(ER)：设P是程序，M是缺陷模式，A是算法，IP（M，A，P）是IP总的数目，考虑到测试算法实现过程中的不同假设，会导致IP（M，A，P）不同。漏报率定义为：基于缺陷模式的软件测试指标分析准确率(CR)：误报率(DR)：基于缺陷模式的软件测试指标分析缺陷检测率(DDR)：自动缺陷检测率(ADR)：用IPAY（P，A，M）表示不需人工确认，工具可以自动缺陷的检测个数。基于缺陷模式的软件测试指标分析计算复杂性：在

4、理论上，基于缺陷的软件测试技术可以100%的检测所定义的缺陷模式，但由于缺陷的检测可以模型化程序的遍历问题，对于大型程序，全部遍历虽然可以提高精度，但需要花费大量的时间。因此，该技术有一个性价比的问题，在时间遍历过程中，往往都有一定的限制，如在一个函数内、一个类内、一个文件内等。基于缺陷模式的软件测试指标分析基于缺陷模式的软件测试基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模式基于缺陷模式的软件测试系统（DTS）缺陷模式缺陷模式概述故障模式安全漏洞模式缺陷模式缺陷模式概述缺陷模式是

5、和语言本身相关的，不同的语言有着不同的缺陷模式。我们以C++语言和Java语言为背景来描述其缺陷模式，将软件的缺陷模式分为四个层次，即故障模式、漏洞模式、缺陷模式和规则模式。故障模式:此类缺陷是故障，一经产生，会导致系统出错。存储器泄露模式资源泄漏模式指针使用错误模式数组越界模式非法计算模式使用未初始化变量模式死循环结构模式死锁模式缺陷模式概述缺陷模式概述安全漏洞模式：此类缺陷会给系统留下安全隐患，为攻击该系统开了绿灯。缓冲区溢出模式被感染的数据模式竞争条件模式风险操作模式缺陷模式概述缺陷模式：此

6、类缺陷是不应该发生的，它未必会造成系统的错误，但可能会隐含某些故障，或者是由初级软件工程师不理解造成的。性能缺陷模式：此类缺陷会降低系统的性能疑问代码模式：让人费解的代码缺陷模式概述规则模式：软件开发总要遵循一定的规则，某个团队也有一些开发规则，违反这些规则也是不允许的。代码规则复杂性规则控制流规则命名规则可移植性规则资源规则缺陷模式缺陷模式概述故障模式安全漏洞模式缺陷模式故障模式故障模式中给出的故障描述，是程序中可能存在的故障，这些故障一旦被激活，就会使系统发生错误。包括以下几种故障模式：故障模

7、式存储泄漏的故障模式（MemoryLeakFaultMLF）定义：内存泄漏故障（MemoryLeakFaults）：设在程序的某处申请了大小为M的空间，凡在程序结束时M或者M的一部分没被释放、或者多次释放M或M的一部分都是内存泄漏故障。MLF有三种形式：遗漏故障：是指申请的内存没有被释放。不匹配故障：是指申请函数和释放函数不匹配。不相等的释放错误：是指释放的空间和申请的空间大小不一样。故障模式数组越界故障的故障模式（OutofBoundsArrayAccessFaultOBAF）定义：数组越界故障

8、：设某数组定义为Array[minmax]，若引用Array[i]且imax都是数组越界故障。在C++中，若i<0或imax是数组越界故障。（1）对程序中任何出现Array[i]的地方，都要判断i的范围，可能有三种情况：若i是在数组定义的范围内，则是正确的；若i是在数组定义的范围外，则是OBAF；故障模式（2）字符串拷贝过程中存在的数组越界故障。（3）在结构类型中，由于结构体中的成员变量是连续存放的，在数组的拷贝过程中，多余的数据会自动的存放在后面所定义的成员