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.

• 该方法在词法分析和语法分析的基础上,利用检查点查 找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障。