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

Software Errors Static Testing Method for Systematic Collapse

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

This paper puts forward a software errors static testing method for systematic collapse, which is meant for five types of errors, namely bad deallocation, memory leak, null pointer dereference, out of bounds array access, un-initialized variables. The proposed method can be effective in finding out the errors in software based on accidence analysis and syntax analysis, use examining point searching arithmetic to search for suspicious point, with appropriate manual confirmation whenever possible.