CAJ | 학술논문

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且出于规则定义较为全面,漏报和误报率也较低.
동태내존고장재사용지침적정서중시보편존재적,채용동태측시방법진행측시난이준학정위고장원.이현유적정태분석방법주요존재루보화오보과다적정황.침대저사문제,제출료지침영사대수계통적개념,전면지반영료지침여내존지간적영사관계,병급출료면향불동고장적지침영사집적구조규칙,이차위기출건립료동태내존고장모형.통과지침영사집화고장모형,가이자동검측내존석방이상、내존설로화공지침인용등동태내존고장,제고료측시효솔.재분석과정중,환종합응용료공제류도화로경조건,제고료측시결과적정도.실험결과표명,해방법능구유효검측동태내존고장,이차출우규칙정의교위전면,루보화오보솔야교저.
Dynamic memory faults are ubiquitous in the program with pointers. It is difficult to locate faults sources adopting dynamic testing method. Static analysis methods nowadays often miss some faults and produce too many false alarms. Considering of these problems, this paper puts forward the notion of pointer mapping algebra system that reflects the mapping relationship of pointer and memory completely, and gives the construction rules of pointer mapping sets for different faults class, and then establishes dynamic memory faults model. Through pointer map-ping sets and fault model, it can detect bad deallocation, memory leak and null pointer derefer-ence faults automatically and increase the testing efficiency. In the process of analyzing, it adopts synthetically control flow chart and path condition in order to increase the precision of testing re-sults. Results of experimentation show that this method can detect dynamic memory faults effec-tively. Since rule definition is general, the probability of missing faults and producing false alarms is lower.