软件测试论文：软件测试 静态分析 缺陷模型 跨函数分析 函数摘要 不良行为.docVIP

软件测试论文：基于缺陷模式的资源不良行为的静态检测 【中文摘要】随着现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求。基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大大降低软件的缺陷密度,提高软件的可信性。本文研究的基于故障模式的资源不良行为的静态检测就是利用静态测试的理论进行资源相关的缺陷检测。本文从软件测试的基本概念入手,深入剖析软件缺陷模式和静态测试相关理论。以DTSJava框架为出发点,利用静态测试的基本理论,采用函数摘要的技术进行函数间分析,使用约束求解来改进区间运算的局限性,通过缺陷模式状态机来完成缺陷的检测。最后着重分析了资源泄露和过期资源重调用等资源不良行为缺陷模式,并指出相应的解决办法,从而提高DTSJava的检测性能。本文在DTSJava原有资源相关缺陷模式检测的基础上进行改进,旨在提高DTSJava测试系统的精度。通过对二百多个典型测试用例以及十个开源项检测,来验证对资源不良行为检测的有效性和精确性,说明基于缺陷模式的静态测试系统在高可信软件测试领域的作用。 【英文摘要】With modern society becoming increasingly dependent on software, high confidence software testing is needed in a wide range. The sudden e