面向故障的软件测试方法研究

作者：张威; 肖庆; 卢庆龄; 马雪雁

来源：装甲兵工程学院学报, 2004, (02): 10-12.

• 静态测试
• 存储泄漏
• 空指针引用
• 数组越界 static testing
• memory leak
• null pointer dereference
• out-of-bounds arrayaccess

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该方法在词法分析和语法分析的基础上,利用检查点查 找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障。

• 单位
  中国人民解放军装甲兵工程学院