[计算机]测试 第4章

[计算机]测试 第4章

ID:40004486

大小:565.00 KB

页数:66页

时间:2019-07-17

[计算机]测试   第4章_第1页
[计算机]测试   第4章_第2页
[计算机]测试   第4章_第3页
[计算机]测试   第4章_第4页
[计算机]测试   第4章_第5页
资源描述:

《[计算机]测试 第4章》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、基于缺陷模式的软件测试简介软件缺陷模式与测试是2000年后在美国诞生的一种新型软件测试技术主要面向软件中的非功能性缺陷,并以缺陷检测效率高、定位准确、自动化程度高、易用等特点而受到广泛关注国际上目前主流软件测试技术之一,是可信软件系统中必须要做的一步测试,是美国政府指定,众多大企业都普遍使用的测试技术。基本概念软件缺陷:与需求不一致的统称为缺陷软件缺陷分类:功能性缺陷和非功能性缺陷非功能性软件缺陷模式:能给出确切语法和语义定义,并在实践中经常发生或后果比较严重的缺陷的集合。非功能性软件缺陷测试的

2、必要性从实践来看:国际上大量的测试工具的应用效果表明,大多数商用软件和开源软件其故障率可达1-2个/KLOC,安全漏洞密度可达3-4个/KLOC,其他类型的缺陷密度更大。非功能性缺陷也会造成系统的死机等安全问题非功能性软件缺陷大多是由开发者疏忽造成的,且众多与路径相关,这种缺陷是不可避免的。相关工具Metal:斯坦福大学(C/C++)FindBugs:马里兰大学(Java)PMD:一款开源源码静态分析工具(Java)Klocwork:美国Klocwork公司(C/C++/Java)CodeSon

3、ar:GrammaTech公司(C/C++)CoverityPrevent:Coverity公司(C/C++/Java)InspectorforC/C++:Reasoning公司相关工具Klocwork:中国有200多个用户Coverity:美国政府指定测试工具,2008年测试代码超过100亿行,2009年上半年超过115亿行DTS:北京邮电大学研发,已经在航天、武器装备、企业ERP、财务、铁路、电信、电力中使用,120多个试用户,已经测试了上千万行代码、数百个软件作用及意义软件缺陷模式与测试是

4、软件测试领域中一种新型的软件测试技术主要面向软件的非功能性缺陷,可以检测一般软件测试技术中难以检测的软件缺陷?与面向过程的软件测试具有很好的互补性?基于缺陷模式的测试技术与已往的软件测试有很大的不同,检测精度与效率比较高,测试成本低基于缺陷模式的软件测试基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模式基于缺陷模式的软件测试系统(DTS)基于缺陷模式的软件测试概述缺陷模式必须满足下列几个条件:该模式下的缺陷是符合实际的。基于该模式的缺陷数目是可以容忍的。该模式下的缺陷是可以测试的。

5、基于缺陷模式的软件测试概述基于模式的软件测试技术具有如下特点:针对性强:如果说某种模式的缺陷是经常发生的,并且在被测软件中是存在的,则面向缺陷的测试可以检测出此类缺陷。基于缺陷模式的软件测试技术往往能发现其他测试技术难以发现的故障,如内存泄漏缺陷,空指针引用缺陷。工具自动化程度高以及测试效率高。缺陷定位准确:对测试所发现的缺陷能够准确定位。易学、易使用:对一般的IT专业专科以上的毕业生,该测试方法一般经过数天的培训即可掌握其使用方法。基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模

6、式基于缺陷模式的软件测试系统(DTS)基于缺陷模式的软件测试基于缺陷模式的软件测试指标分析设P是待测程序,将缺陷模式M分成类M={M1,M2,…Mn},每类分成种Mi={Mi1,Mi2,…,MiL},从P中计算出和M相匹配的检查点的集合IP={IP1,IP2,…,IPm},可以定义如下技术指标:漏报率(ER):设P是程序,M是缺陷模式,A是算法,IP(M,A,P)是IP总的数目,考虑到测试算法实现过程中的不同假设,会导致IP(M,A,P)不同。漏报率定义为:基于缺陷模式的软件测试指标分析理论上I

7、P(M,P)是确定的,但在实践中很难得到;IP通常需要人工确定该IP是否真的是缺陷,考虑程序的复杂性以及测试代价等因素,IP经确认后分3中情况:IPY(P,A,M),IP确认为缺陷的数目IPN(P,A,M),确认为非缺陷的数目.IPU(P,A,M),不能确定是否缺陷的数目基于缺陷模式的软件测试指标分析准确率(CR):误报率(DR):基于缺陷模式的软件测试指标分析缺陷检测率(DDR):自动缺陷检测率(ADR):用IPAY(P,A,M)表示不需人工确认,工具可以自动缺陷的检测个数。基于缺陷模式的软件

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

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。