摘要
空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源。而现有的静态分析方法主要存在漏报和误报过多的情况。针对这些问题,提出了一种基于指针映射关系分析的测试方法,给出了面向故障的指针映射集的构造规则,以此为基础建立了故障模型。通过指针映射集和故障模型,可以自动检测空指针引用内存故障,提高了测试效率。在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
Null pointer dereference fault is ubiquitous in the program with pointers.It is difficult to locate fault sources adopting dynamic testing method.Static analysis methods nowadays often have false alarm.Aiming at these problems,it puts forward the testing method based on analysis of pointer mapping relationship,and then it gives the construction rules of pointer mapping set aiming at faults.h constructs faults model based on it.Through pointer mapping set and fault model,it can detect null pointer dereference faults automatically and increases the testing efficiency.In the process of analyzing,it adopts synthetically control flow chart and path condition and increase the precision of testing results.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第4期71-72,94,共3页
Computer Engineering and Applications
基金
国家部委"十五"预研基金项目资助
关键词
软件测试
空指针引用
静态分析
software testing,null pointer dereference,static analysis
