| 内存泄露静态检测模型 |
| |
| 引用本文： | 柯平,宫云战,杨朝红.内存泄露静态检测模型[J].计算机科学,2009,36(4):175-178. |
| |
| 作者姓名： | 柯平 宫云战 杨朝红 |
| |
| 作者单位： | 1. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
2. 北京邮电大学网络与交换技术国家重点实验室,北京,100876;装甲兵工程学院信息工程系,北京,100072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 内存泄漏故障是程序中莱处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃.从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率.根据以上模型实现了一个自动测试工具,并已用于软件测试.
|
| 关 键 词： | 内存泄露 区间运算 静态测试 故障模型 别名分析 |
| 收稿时间： | 2008/10/10 0:00:00 |
Common Model for Detecting Invalid Arithmetic Operation |
| |
| KE Ping,GONG Yun-zhan,YANG Zhao-hong.Common Model for Detecting Invalid Arithmetic Operation[J].Computer Science,2009,36(4):175-178. |
| |
| Authors: | KE Ping GONG Yun-zhan YANG Zhao-hong |
| |
| Affiliation: | State Key Laboratory of Networking and Switching Technology;Beijing University of Posts and Telecommunications;Beijing 100876;China;Department of Information Engineering of the Academy of Armored Force Engineering;Beijing 100072;China |
| |
| Abstract: | Memory leak is a kind of error which does not free the memory apply by the program completely,or free the same memory more then one time.It is a common error which may cause system collapse.Based on the defect-oriented test strategy and combining the advantage of static analysis,the paper gave a static analysis model to analyse memory leak,and also added interval analysis to this model to reduce the rate of misinformation and omission.This model has been implemented and used in software testing. |
| |
| Keywords: | Memory leak Interval computation Static detection Fault mode Alias analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
