由于软件程序员在变成中的失误和操作者在使用中的错误都会是程序出现这样那样的问题。因此，我们必须熟知程序错误的类型和分类，以便于我们解决这些错误，是我们的程序更加的完美。
错误鉴定是确定什么错误导致失败的过程，错误纠正或者清除是修改系统除去错误的过程。计算和精度的错误在公式的执行或者不需计算所需精度结果的情况下发生。当文档和程序实际运行不匹配，常见的错误有文档错误。超载错误。容载、边缘错误，时钟和协调错误，吞吐或性能错误，恢复错误，，硬件和系统软件的错误，标准和程序错误。
软件测试分为模块测试，组件测试或单元测试，。集成测试是一个确保系统各组件按照系统描述和设计需求统一工作的过程。功能测试评估一个系统是否能够作为一个完整的系统实现需求分析中描述的功能。结果是一个功能系统。
检查代码分为代码预排，代码检查，成功的代码复查，最后还要证明代码的正确性，一个程序，必然有好有坏，所以我们还需要特定的方法来证明他的好坏。
原文：http://www.cnblogs.com/twentytwo/p/4298371.html