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

作     者：杨朝红 刘海燕 肖庆 YANG Zhao-hong;LIU Hai-yan;XIAO Qing

作者机构：装甲兵工程学院信息工程系 

出 版 物：《装甲兵工程学院学报》 (Journal of Academy of Armored Force Engineering)

年 卷 期：2009年第23卷第1期

页      码：70-72页

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

主 题 词：软件测试 静态分析 缺陷模式 状态机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-1497.2009.01.017

馆 藏 号：203563720...