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

第4章 基于缺陷模式的软件测试 ;第4章 基于缺陷模式的软件测试;4.1 基于缺陷模式的软件测试概述;基于缺陷模式的软件测试概述;缺陷模式;缺陷模式的概念;;;作用及意义;软件缺陷模式;4.1 基于缺陷模式的软件测试概述 4.2 基于缺陷模式的软件测试指标分析 4.3 缺陷模式 4.4 基于缺陷模式的软件测试系统（DTS）;4.2 基于缺陷模式的软件测试指标分析 ;4.2 基于缺陷模式的软件测试指标分析;4.2 基于缺陷模式的软件测试指标分析;准确率(CR)： 误报率(DR)： ;缺陷检测率(DDR)： 自动缺陷检测率(ADR)： 用IPAY（P，A，M）表示不需人工确认，工具可以自动缺陷的检测个数。;计算复杂性： 在理论上，基于缺陷的软件测试技术可以100%的检测所定义的缺陷模式， 但由于缺陷的检测可以模型化程序的遍历问题，对于大型程序，全部遍历虽然可以提高精度，但需要花费大量的时间。 因此，该技术有一个 性价比 的问题，在时间遍历过程中，往往都有一定的限制，如在一个函数内、一个类内、一个文件内等。;基于缺陷模式的软件测试;4.3 缺陷模式 ;4.3.1 缺陷模式概述;软件缺陷模式的分类：按缺陷严重程度;1. 故障模式: 此类缺陷是故障，一经产生，会导致系统出错。 主要有： 存储器泄露模式 资源泄漏模式 指针使用错误模式 数组越界模式 非法计算模式 使用未初始化变量模式 死循环结构模式 死锁模式 ;4.3.1 缺陷模式概述;4.3.1 缺陷模式概述;4.3.1 缺陷模式概述;4. 缺陷模式;4.3.2 故障模式 ;4.3.2 故障模式;4.3.2 故障模式;4.3.2 故障模式;4.3.2 故障模式;4.3.2 故障模式;4.3.2 故障模式;4.3.2故障模式;4.3.2故障模式;4.3.2故障模式;（1）不正确的同步;（2）可能导致死锁;（3）多线程应用中方法调用时机或方式不正确;（4）同一变量的双重验证;（5）相互初始化的类和临界区内调用阻塞函数;4.3 缺陷模式 ;4.3.3 安全漏洞模式 ;4.3.3 安全漏洞模式;1 、缓冲区溢出（buffer overflow）漏洞模式;4.3.3 安全漏洞模式;2 被污染的数据模式;4.3.3 安全漏洞模式;4.3.3 安全漏洞模式; 23种类型及其对应实例;23种类型及其对应实例;4.3 缺陷模式 ;4.3.4 缺陷模式;1 低性能模式;1 低性能模式;1 低性???模式:;（3）显示垃圾回收 定义：在java中，垃圾回收是很耗费资源的，显示地调用垃圾回收机制会导致应用的性能急剧下降，此类缺陷为垃圾回收缺陷。 ;1 低性能模式:;1 低性能模式:;1 低性能模式:;1 低性能模式:;;2 代码国际化模式; 3 疑问代码模式;4 基于缺陷模式的软件测试;基于缺陷模式的软件测试系统（DTS） ;DTS系统结构 ;DTS缺陷模式描述 1．缺陷模式状态机 有限自动机是计算机科学的重要基石，它在软件开发领域内通常被称作有限状态机。 2．缺陷模式状态机的xml描述 作者用xml来对缺陷模式状态机进行描述。 xml schema定义了描述缺陷模式状态机的语法，包括标签以及标签的各个属性。 ;DTS的测试界面 ;补充：基于缺陷模式测试的三个研究领域;;;区间运算技术;区间运算研究;函数间分析技术;函数间分析研究;变量相关性分析技术;课堂练习题： 分析一下各代码段的的缺陷类型，及其改进方式