基于缺陷模式的软件测试基于缺陷模式的软件测试基于缺陷模式的软件测试概述基于缺陷模式的软件测试概述基于缺陷模式的软件测试概述基于缺陷模式的软件测试指标分析缺陷模式基于缺陷模式的软件测试系统（DTS）基于缺陷模式的软件测试指标分析漏报率(ER)：设P是程序，M是缺陷模式，A是算法，IP（M，A，P）是IP总的数目，考虑到测试算法实现过程中的不同假设，会导致IP（M，A，P）不同。漏报率定义为：准确率(CR)：误报率(DR)：缺陷检测率(DDR)：自动缺陷检测率(ADR)：用IPAY（P，A，M）表示不需人工确认，工具可以自动缺陷的检测个数。计算复杂性：在理论上，基于缺陷的软件测试技术可以100%的检测所定义的缺陷模式，但由于缺陷的检测可以模型化程序的遍历问题，对于大型程序，全部遍历虽然可以提高精度，但需要花费大量的时间。因此，该技术有一个性价比的问题，在时间遍历过程中，往往都有一定的限制，如在一个函数内、一个类内、一个文件内等。基于缺陷模式的软件测试缺陷模式缺陷模式概述故障模式:此类缺陷是故障，一经产生，会导致系统出错。存储器泄露模式资源泄漏模式指针使用错误模式数组越界模式非法计算模式使用未初始化变量模式死循环结构模式死锁模式缺陷模式概述缺陷模式概述缺陷模式概述缺陷模式故障模式故障模式故障模式故障模式故障模式故障模式故障模式故障模式缺陷模式安全漏洞模式安全漏洞模式安全漏洞模式安全漏洞模式安全漏洞模式缺陷模式缺陷模式