《软件测试教程(华为培训专用)-第4章》由会员分享,可在线阅读,更多相关《软件测试教程(华为培训专用)-第4章(40页珍藏版)》请在金锄头文库上搜索。
1、基于缺陷模式的软件测试 基于缺陷模式的软件测试n基于缺陷模式的软件测试概述 n基于缺陷模式的软件测试指标分析 n缺陷模式 n基于缺陷模式的软件测试系统(DTS) 基于缺陷模式的软件测试概述n缺陷模式必须满足下列几个条件: n该模式下的缺陷是符合实际的。n基于该模式的缺陷数目是可以容忍的。n该模式下的缺陷是可以测试的。基于缺陷模式的软件测试概述n基于模式的软件测试技术具有如下特点:n针对性强:如果说某种模式的缺陷是经常发生的, 并且在被测软件中是存在的,则面向缺陷的测试可 以检测出此类缺陷。n基于缺陷模式的软件测试技术往往能发现其他测试 技术难以发现的故障,如内存泄漏缺陷,空指针引 用缺陷。n工
2、具自动化程度高以及测试效率高。n缺陷定位准确:对测试所发现的缺陷能够准确定位 。 n易学、易使用:对一般的IT专业专科以上的毕业生 ,该测试方法一般经过数天的培训即可掌握其使用 方法。 n基于缺陷模式的软件测试概述 n基于缺陷模式的软件测试指标分析 n缺陷模式 n基于缺陷模式的软件测试系统(DTS)基于缺陷模式的软件测试基于缺陷模式的软件测试指标分析 n设P是待测程序,将缺陷模式M分成类 M=M1,M2,Mn,每类分成种 Mi=Mi1,Mi2,MiL,从P中计算 出和M相匹配的检查点的集合 IP=IP1,IP2,IPm,可以定义如下技 术指标:n漏报率(ER):设P是程序,M是缺陷模 式,A是
3、算法,IP(M,A,P)是IP总 的数目,考虑到测试算法实现过程中的 不同假设,会导致IP(M,A,P)不 同。漏报率定义为:基于缺陷模式的软件测试指标分析 n准确率(CR): n误报率(DR): 基于缺陷模式的软件测试指标分析 n缺陷检测率(DDR): n自动缺陷检测率(ADR): 用IPAY(P,A,M)表示不需人工确 认,工具可以自动缺陷的检测个数。基于缺陷模式的软件测试指标分析 n计算复杂性:在理论上,基于缺陷的软件测试技术可 以100%的检测所定义的缺陷模式,但由于 缺陷的检测可以模型化程序的遍历问题, 对于大型程序,全部遍历虽然可以提高精 度,但需要花费大量的时间。因此,该技 术有
4、一个性价比的问题,在时间遍历过程 中,往往都有一定的限制,如在一个函数 内、一个类内、一个文件内等。基于缺陷模式的软件测试指标分析 基于缺陷模式的软件测试n基于缺陷模式的软件测试概述 n基于缺陷模式的软件测试指标分析 n缺陷模式 n基于缺陷模式的软件测试系统(DTS)缺陷模式 缺陷模式概述 故障模式 安全漏洞模式 缺陷模式 缺陷模式概述n缺陷模式是和语言本身相关的,不同的 语言有着不同的缺陷模式。我们以C+ 语言和Java语言为背景来描述其缺陷模 式,将软件的缺陷模式分为四个层次, 即故障模式、漏洞模式、缺陷模式和规 则模式。n故障模式:此类缺陷是故障,一经产生,会导致系统 出错。存储器泄露模
5、式资源泄漏模式指针使用错误模式数组越界模式非法计算模式使用未初始化变量模式死循环结构模式死锁模式 缺陷模式概述缺陷模式概述n安全漏洞模式:此类缺陷会给系统留下安全 隐患,为攻击该系统开了绿灯。缓冲区溢出模式被感染的数据模式竞争条件模式风险操作模式缺陷模式概述n缺陷模式:此类缺陷是不应该发生的,它未 必会造成系统的错误,但可能会隐含某些故 障,或者是由初级软件工程师不理解造成的 。性能缺陷模式:此类缺陷会降低系统的性能疑问代码模式:让人费解的代码缺陷模式概述n规则模式:软件开发总要遵循一定的规则, 某个团队也有一些开发规则,违反这些规则 也是不允许的。代码规则复杂性规则控制流规则命名规则可移植性
6、规则资源规则缺陷模式缺陷模式概述 故障模式 安全漏洞模式 缺陷模式 故障模式 n故障模式中给出的故障描述,是程序中 可能存在的故障,这些故障一旦被激活 ,就会使系统发生错误。包括以下几种 故障模式:故障模式n存储泄漏的故障模式(Memory Leak Fault MLF) 定义:内存泄漏故障(Memory Leak Faults): 设在程序的某处申请了大小为M的空间,凡在程序 结束时M或者M的一部分没被释放、或者多次释放M 或M的一部分都是内存泄漏故障。MLF有三种形式:遗漏故障:是指申请的内存没有被释放。不匹配故障:是指申请函数和释放函数不匹配。不相等的释放错误:是指释放的空间和申请的空间
7、 大小不一样。故障模式n数组越界故障的故障模式(Out of Bounds Array Access Fault OBAF) 定义:数组越界故障:设某数组定义为 Arrayminmax,若引用Arrayi且imax 都是数组越界故障。在C+中,若i0或imax是数组 越界故障。 (1)对程序中任何出现Arrayi的地方,都要判断i的 范围,可能有三种情况: 若i是在数组定义的范围内,则是正确的; 若i是在数组定义的范围外,则是OBAF;故障模式(2)字符串拷贝过程中存在的数组越界故障 。 (3)在结构类型中,由于结构体中的成员变量是连续 存放的,在数组的拷贝过程中,多余的数据会自动 的存放在后
8、面所定义的成员变量中,这种情况数组 并不产生越界错误。 故障模式3使用未初始化变量故障模式(Uninitialized Variable Fault,UVF) 定义:使用未初始化变量故障:存在一个路径, 在该路径上使用前面没有被赋初值的变量是使用未 初始化变量故障。4空指针使用故障(NULL Pointer Dereference Fault NPDF) 定义:空指针使用故障:引用空指针或给空指针 赋值的都是空指针使用故障。故障模式5非法计算类故障(Illegal Computing Fault ILCF) 定义:非法计算类故障:是指计算机不允许的计算 。 一旦非法计算类故障产生,系统将强行退
9、出。例如:除数为0故障。对数自变量为0或负数故障。根号内为负数的故障。故障模式6死循环结构模式(Dead Loop Fault DLF) 定义:在控制流图中,对任何一个循环结构,包括:FOR语句中的死循环结构;WHILE语句中的死循环结构;DO-WHILE语句中的死循环结构;GOTO语句中的死循环结构;函数循环调用造成的死循环结构。故障模式7资源泄漏故障(RLF) 定义:资源泄漏故障:在Java程序中,当一个资 源被打开后,如果并不是在所有的可执行路径上都 对其进行了显式的释放操作,则是一个资源泄漏故 障。故障模式8. 并发故障模式 该模式主要是针对程序员对多线程的编码机制、 各种同步方法、J
10、ava存储器模式和java虚拟机的工作 机制不清楚,而且由于线程启动的任意性和不确定 性使用户无法确定所编写的代码具体何时执行而导 致对公共区域的错误使用。这类模式主要包括不正 确的同步、死锁、多线程应用中方法调用时机或方 式不正确、同一变量的双重验证、相互初始化的类 和临界区内调用阻塞函数等。缺陷模式 缺陷模式概述 故障模式 安全漏洞模式 缺陷模式 安全漏洞模式 n安全漏洞模式为他人攻击软件提供可能 。而一旦软件被攻击成功,系统就可能 发生瘫痪,所造成的危害较大,因此, 此类漏洞应当尽量避免。n下面以C+为基础,介绍基于安全漏洞 检测的缺陷模式。 安全漏洞模式n缓冲区溢出(buffer ov
11、erflow)漏洞模式定义:当程序要在一个缓冲区内存储比该缓冲 区的大小还要多的数据时,即会产生缓冲区溢出漏 洞。缓存区溢出主要有2种类型:数据拷贝造成的缓 冲区溢出和格式化字符串造成的缓冲区溢出。安全漏洞模式n被污染的数据模式(Tainted Data)定义:程序从外部获取数据时,这些数据可能含 有具有欺骗性或者是不想要的垃圾数据,如果在使 用这些数据前不进行合法性检查则将威胁到程序的 安全,造成一个tainted data缺陷。tainted data可能 会导致程序不按原计划执行,也有可能直接或间接 地导致缓冲区溢出缺陷。被污染的数据模式主要有两种类型:使用的数据 来自外部的全局变量和使
12、用的数据来自输入函数。安全漏洞模式n竞争条件(Race Condition)定义: 如果程序中有两种不同的I/O调用同一文 件进行操作,而且这两种调用是通过绝对路径或相 对路径引用文件的,那么就易出现Race Condition问 题。在两种操作进行的间隙,黑客可能改变文件系 统,那么将会导致对两个不同的文件操作而不是同 一文件进行操作。这种典型的问题发生在用户拥有不同的权限运 行的程序中(例如:setuid程序、数据库和服务器程序 等)。 安全漏洞模式n风险操作(Risky Operation)定义:如果不恰当地使用了某些标准库函数, 可能会带来安全隐患。甚至在某些情况下,某些函 数一经被使
13、用, 就可能会带来安全隐患。例如像rand()和random()这样的随机数生成函 数,它们在生成伪随机值的时候表现出来的性能是非 常差的, 如果用它们来生成默认的口令, 这些口令将很容易被攻击者猜测到。 缺陷模式 缺陷模式概述 故障模式 安全漏洞模式 缺陷模式 缺陷模式低性能模式:该模式导致软件运行效率低下,因此建议采用 更高效的代码来完成同样的功能。这类模式主要包 括使用低效函数/代码、使用多余函数、Java中显式 垃圾回收、冗余代码、头文件中定义的静态变量、 不必要的文件包含、字符串低效操作和有更简单的 运算可以替代等。基于缺陷模式的软件测试n基于缺陷模式的软件测试概述 n基于缺陷模式的
14、软件测试指标分析 n缺陷模式 n基于缺陷模式的软件测试系统(DTS)基于缺陷模式的软件测试系统( DTS) n下面以作者自主开发的基于缺陷模式的测试 系统DTS为例,介绍基于缺陷模式的软件测 试的基本原理。DTS是作者在国家863“软件 的故障模式与面向故障的软件测试系统”资助 下开发的测试系统,能对上面介绍的缺陷模 式进行有效测试。nDTS系统结构 基于缺陷模式的软件测试系统( DTS) nDTS缺陷模式描述 1缺陷模式状态机 有限自动机是计算机科学的重要基石,它在软件 开发领域内通常被称作有限状态机。 2缺陷模式状态机的xml描述 作者用xml来对缺陷模式状态机进行描述。 xml schema定义了描述缺陷模式状态机的语法,包括标签以及标签的各个属性。 基于缺陷模式的软件测试系统( DTS) nDTS的测试界面 基于缺陷模式的软件测试系统( DTS)