基于指针分析的空指针引用故障测试方法 (2005年)

【文件属性】：

文件名称：基于指针分析的空指针引用故障测试方法 (2005年)

文件大小：425KB

文件格式：PDF

更新时间：2024-06-04 14:49:31

自然科学 论文

提出了一种基于指针分析的空指针引用故障测试方法，分析了指针与内存地址之间的映射关系，并给出了故障测试算法。实验结果表明，该方法能够有效检测空指针引用故障。