| 内存泄漏的一种静态分析方法 |
| |
| 引用本文： | 肖庆,张威,宫云战,陈曼青.内存泄漏的一种静态分析方法[J].装甲兵工程学院学报,2004,18(2):23-26. |
| |
| 作者姓名： | 肖庆 张威 宫云战 陈曼青 |
| |
| 作者单位： | 装甲兵工程学院信息工程系,北京,100072 |
| |
| 摘 要： | 内存泄漏是C程序中常见的错误.从面向具体错误类型的测试思想出发,结合静态测试的特点,给出了一种静态查找此类错误的方法.此方法已经实现,并将应用于实际的测试过程.
|
| 关 键 词： | 软件测试 静态分析 内存泄漏 别名 |
| 文章编号： | 1672-1497(2004)02-0023-04 |
| 修稿时间： | 2004年4月20日 |
A Static Analysis Method for Memory Leak |
| |
| XIAO Qing ZHANG Wei GONG Yun-zhan CHEN Man-qing.A Static Analysis Method for Memory Leak[J].Journal of Armored Force Engineering Institute,2004,18(2):23-26. |
| |
| Authors: | XIAO Qing ZHANG Wei GONG Yun-zhan CHEN Man-qing |
| |
| Institution: | XIAO Qing ZHANG Wei GONG Yun-zhan CHEN Man-qing |
| |
| Abstract: | Memory leak is a common kind of error in C language programs. Basing on the defect-oriented test strategy and combining the advantage of static analysis, this paper describes a method to find this kind of error. We have implemented this algorithm and used it in real-life test process. |
| |
| Keywords: | software test static analysis memory leak |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
