程序员检查程序通常包括以下步骤：
桌面检查
这是一种传统的检查方法，由程序员自己检查自己编写的程序。在程序通过编译之后，程序员会对源程序代码进行分析、检验，并补充相关文档，目的是发现程序中的错误。由于程序员熟悉自己的程序及其程序设计风格，桌面检查可以节省很多检查时间，但应避免主观片面性。
代码审查
由若干程序员和测试员组成一个审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。代码审查分两步：第一步，小组负责人提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为审查的依据。小组成员在充分阅读这些材料后，进入审查的第二步，召开程序审查会。在会上，首先由程序员逐句简介程序的逻辑。
检查标号的交叉引用表
验证所有标号的正确性，包括检查所有标号的命名是否正确，转型指定位置的标号是否正确。
检查子程序、宏、函数
验证每次调用与所调用位置是否正确，确认每次所调用的子程序、宏、函数是否存在，检验调用序列中调用方式与参数顺序、个数、类型上的一致性。
等价性检查
检查全部等价变量的类型的一致性，解释所包含的类型差异。
常量检查
确认每个常量的取值和数制、数据类型，检查常量每次引用同它的取值、数制和类型的一致性。
标准检查
用标准检查程序或手下检查程序中违反标准的问题。
风格检查
检查在程序设计风格方面发现的问题。
比较控制流
比较由程序员设计的控制流图和实际程序生成的控制流图，寻找和解释每个差异，修改文档和纠正错误。
选择、激活路径
在设计的控制流图上选择路径，再到实际的控制流图上激活这条路。如果选择的路径在实际控制流图上不能激活，则源程序可能有错。用这种方法激活的路径集合应保证源程序模块的每行代码都得到检查，即桌前检查应完成至少是语句覆盖。
单元测试
对代码的每个模块进行独立的测试，确保其功能正常且符合设计要求。单元测试通常由开发者编写，用于验证代码的正确性和可靠性。通过单元测试，可以尽早发现模块中的问题并进行修复，提高整个程序的质量。
集成测试
将多个模块组合在一起进行测试，确保模块之间的交互正常且符合预期。
通过上述步骤，程序员可以全面地检查程序，确保其质量、可读性和可维护性。建议在实际工作中根据具体情况选择合适的检查方法，并形成标准的检查流程，以提高检查效率和效果。
