计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 175-178.

• • 上一篇    下一篇

内存泄露静态检测模型

  

  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本文受国家“863”计划(2006AA012184),国家“863”重点项目(2007AA010302)资助.

  • Online:2018-11-16 Published:2018-11-16

摘要: 内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。

关键词: 内存泄露 区间运算 静态测试 故障模型 别名分析

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 ad

Key words: Memory leak,Interval computation,Static deteetion,FaUlt mode,Alias analysis

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!