空指针引用相关论文
空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重......
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该......
介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法.该方法利用变量区间来表示状态的前提条件,对程序中不......
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障......
为实现基于静态分析技术充分地检测出C程序中的空指针引用缺陷，提出了一种基于属性可靠分析的缺陷检测方法。首先介绍了空指针引用......
可信软件的相关研究是软件工程领域的一个焦点,如何在软件的开发过程或测试阶段中尽早的发现并消除掉软件缺陷,是构建可信软件的重......
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序......
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。本文研究利用静态测试的方法对一类空指针引用故障......
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化......
空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源。而现有的静态分析方法主要存在......
