一种基于静态分析的资源泄漏检测方法
资源泄漏是指资源分配后未及时释放的现象，这类故障可能导致系统资源被耗尽。在本文中，我们首先分析资源泄漏故障原因，介绍Java语言的资源泄漏故障模式。然后，建立可扩展的资源行为模型(简称RBM)，用于描述程序中与资源有关的操作。接着以RBM为基础，设计一种函数间资源泄漏检测方法。该方法通过函数摘要实现跨函数分析，能够检测函数间的资源泄漏故障。最后实验证明，我们的方法能够检测出更多的故障点，而且误报率低，执行效率高，可用于大规模代码检测。
软件测试 静态分析 资源泄漏 函数摘要 数据流分析
杨绣 宫云战 金大海
北京邮电大学 网络与交换技术国家重点实验室，北京 100086
国内会议
海拉尔
中文
541-547
2009-07-20（万方平台首次上网日期，不代表论文的发表时间）