10.3969/j.issn.1672-1497.2004.02.002
面向故障的软件测试方法研究
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.
静态测试、存储泄漏、空指针引用、数组越界
18
TP302.8(计算技术、计算机技术)
2004-08-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
6-8