基于扩展状态机的资源泄漏检测方法

摘要：

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表.设计和实现了资源泄漏检测算法.该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障.应用该算法对大型开源软件进行测试,发现多个资源泄漏故障.测试结果表明:该算法具有测试效率高和误报率低等特点.

关键词：软件测试、静态分析、缺陷模式、状态机

所属期刊栏目：23

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2009-04-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：70-72