程序检查代码的方法可以分为人工检查和自动化工具检查两大类，具体方法如下：
人工代码审查
桌面检查：开发人员自行检查编写的程序，对照错误列表和推演测试数据进行缺陷检测。这种方法依赖于开发人员的经验和专业知识，但容易受到自我肯定与认知偏差的影响。
代码审查：由多个开发人员和测试人员组成审查小组，通过阅读、讨论和争议，对程序进行静态分析。审查过程包括提前分发设计规格说明书、控制流程图、程序文本及相关要求，然后召开会议进行逐句简介和集体讨论。
走查：与代码审查类似，但更强调实际测试用例的准备和“充当”计算机的角色，以发现潜在问题。
自动化工具检查
静态代码分析工具：利用自动化工具对程序代码进行静态分析，发现潜在的问题、错误或不规范之处。这些工具包括代码检查工具、代码规范检查工具和静态代码分析工具，分别用于检查语法错误、代码逻辑错误、代码结构问题、编码规范、潜在缺陷和安全问题等。
单元测试：编写针对程序代码中特定函数或方法的测试用例，确保其正确性和稳定性。单元测试可以检查边界条件和异常情况，帮助发现潜在的问题和错误。
建议
结合使用：人工检查和自动化工具检查可以相互补充，提高代码检查的效率和准确性。自动化工具可以处理大量代码，但可能遗漏一些复杂或隐蔽的问题，而人工检查可以发现这些问题。
制定检查标准：建立统一的代码检查标准和流程，确保检查的一致性和完整性。
定期进行：代码检查应该是一个持续的过程，而不是一次性活动，定期进行可以及时发现和修复问题。
培训人员：对开发人员进行代码检查的培训，提高他们的检查技能和意识。
通过上述方法，可以有效地检查程序代码，提高软件的质量和稳定性。