文档介绍：基本概念
软件缺陷：与需求不一致的统称为缺陷
软件缺陷分类：功能性缺陷和非功能性缺陷
非功能性软件缺陷模式：能给出确切语法和语义定义，并在实践中经常发生或后果比较严重的缺陷的集合。
第1页/共65页
非功能性软件缺陷测试的必要性
从实践来看：国际上大量的测试工具的应用效果表明，大多数商用软件和开源软件其故障率可达1-2个/KLOC，安全漏洞密度可达3-4个/KLOC，其他类型的缺陷密度更大。
非功能性缺陷也会造成系统的死机等安全问题
非功能性软件缺陷大多是由开发者疏忽造成的，且众多与路径相关，这种缺陷是不可避免的。
第2页/共65页
相关工具
Metal：斯坦福大学(C/C++)
FindBugs：马里兰大学(Java)
PMD：一款开源源码静态分析工具(Java)
Klocwork：美国Klocwork 公司(C/C++/Java)
CodeSonar：GrammaTech 公司(C/C++)
Coverity Prevent:Coverity 公司(C/C++/Java)
Inspector for C/C++:Reasoning 公司
第3页/共65页
相关工具
Klocwork：中国有200多个用户
Coverity：美国政府指定测试工具，2008年测试代码超过100亿行，2009年上半年超过115亿行
DTS：北京邮电大学研发，已经在航天、武器装备、企业ERP、财务、铁路、电信、电力中使用，120多个试用户，已经测试了上千万行代码、数百个软件
第4页/共65页
作用及意义
软件缺陷模式与测试是软件测试领域中一种新型的软件测试技术
主要面向软件的非功能性缺陷，可以检测一般软件测试技术中难以检测的软件缺陷
􀂄与面向过程的软件测试具有很好的互补性
􀂄基于缺陷模式的测试技术与已往的软件测试有很大的不同，检测精度与效率比较高，测试成本低
第5页/共65页
基于缺陷模式的软件测试
基于缺陷模式的软件测试概述
基于缺陷模式的软件测试指标分析
缺陷模式
基于缺陷模式的软件测试系统（DTS）
第6页/共65页
基于缺陷模式的软件测试概述
缺陷模式必须满足下列几个条件：
该模式下的缺陷是符合实际的。
基于该模式的缺陷数目是可以容忍的。
该模式下的缺陷是可以测试的。
第7页/共65页
基于缺陷模式的软件测试概述
基于模式的软件测试技术具有如下特点：
针对性强：如果说某种模式的缺陷是经常发生的，并且在被测软件中是存在的，则面向缺陷的测试可以检测出此类缺陷。
基于缺陷模式的软件测试技术往往能发现其他测试技术难以发现的故障，如内存泄漏缺陷，空指针引用缺陷。
工具自动化程度高以及测试效率高。
缺陷定位准确：对测试所发现的缺陷能够准确定位。
易学、易使用：对一般的IT专业专科以上的毕业生，该测试方法一般经过数天的培训即可掌握其使用方法。
第8页/共65页
基于缺陷模式的软件测试概述
基于缺陷模式的软件测试指标分析
缺陷模式
基于缺陷模式的软件测试系统（DTS）
基于缺陷模式的软件测试
第9页/共65页
基于缺陷模式的软件测试指标分析
设P是待测程序，将缺陷模式M分成类M={M1，M2，…Mn}，每类分成种Mi={Mi1，Mi2，…，MiL},从P中计算出和M相匹配的检查点的集合IP={IP1,IP2,…,IPm},可以定义如下技术指标：
第10页/共65页