论文部分内容阅读
DTS是基于软件缺陷模式的静态测试工具,采用了函数摘要的相关方法进行过程间分析,但目前由于函数摘要中缺少路径信息,缺陷检测往往存在一定的误报和漏报。本文针对这种问题提出了一种路径敏感函数摘要的解决方案,研究工作主要包含以下内容：(1)在原有摘要概念的基础上加以创新,定义出适用于记录路径信息的新摘要模型Summary(PSF)。在此模型中提出了新的函数特征子模型PSF(Path Sensitive Features)。为了抽象表示生成方法,本文定义了路径约束向量PX,并描述了其性质、运算,阐述了其在摘要生成中的应用。(2)基于路径敏感摘要的模型,提出了摘要生成和传递算法。生成算法中主要提出了基于有限状态机的摘要生成数据流分析。其中提出了摘要生成状态机的抽象模型{D,T,C},并对状态机模型中的创建和迁移条件算法进行了详细地设计。对其中出现的指针别名等问题也提出了相应的解决方案。同时也提出了另一种生成路径敏感函数摘要的逆向数据流分析方法。(3)在内存/资源泄漏中应用了路径敏感函数摘要,改进了缺陷状态机设计。提出了新的状态迁移算法,并举代码实例说明了算法的应用。此外,本文还对过程间循环路径处理提出了新的缺陷模式解决方案MLF LOOP。本文结构分为七部分：第一部分对研究背景和内容进行了介绍；第二部分提出了路径不敏感摘要在缺陷检测中的问题；第三部分提出了路径敏感函数摘要的模型；第四部分提出了摘要生成和传递算法；第五部分讨论了摘要在缺陷检测中的应用并举出实例说明；第六部分通过实验验证了本方法,最后第七部分进行了总结和展望。