空指针引用相关论文
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该......
介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法.该方法利用变量区间来表示状态的前提条件,对程序中不......
