程序测试员检查程序的方法主要包括以下几种：
桌上检查：
这是一种传统的检查方式，由程序员在程序通过编译之后根据错误表对程序代码进行检查。但这种方法效率较低，因为它违反了测试中开发人员不应测试自己的程序的原则，从而失去了客观性。
代码检查：
代码检查是以小组为单位，应用一系列检查错误的技巧来发现程序中的缺陷和错误。检查活动主要包括：
由讲解员逐条语句讲解程序的逻辑结构，然后由小组成员提出意见或发现的错误。
对照常见的错误检查表分析程序。
走查：
走查与代码检查类似，但进行规格和使用的错误发现技术稍有不同。在走查过程中，走查人员对程序进行模拟，一步步演示程序是如何处理相关数据的。这种方法能够高效地发现程序中的错误，并且可以精确地定位这些错误。
同行评审：
这是一种通过作者同行来确认缺陷和需要变更区域的检查方法。它涉及的范围较广，包括管理评审、技术评审、文档评审和过程评审等。同行评审可以发现一些在常规测试中可能被忽略的问题。
个人复查：
个人复查是指程序员自行设计测试用例，对源代码和详细设计进行仔细检查，并记录错误和不足之处。这包括检查变量的正确性、标号的正确性、子程序、宏、函数、常量检查、标准检查、风格检查、控制流、选择、激活路径、对照详细说明书，阅读源代码和补充文档等方面。
会审：
会审是指测试人员在会审前仔细阅读软件的有关资料，根据错误类型清单填写检测表，并提出根据错误类型要提出的问题。会审时，由程序设计人员讲解程序的设计方法，由程序编写人员逐个讲解程序代码的编写，测试人员需要逐个审查、提问、讨论可能出现的问题。会审对程序的功能、结构、逻辑和风格都要进行审定。
机器测试：
机器测试的目的是检查程序的动态性能，检查程序在执行过程中存在的错误，包括功能测试、逻辑通路、数值计算、数据处理、边界处理、错误处理等方面。机器测试分为白盒测试和黑盒测试。
静态分析工具：
静态分析工具利用自动化工具对程序代码进行静态分析，以发现可能存在的问题、错误或不规范之处。这些工具可以帮助开发者在代码编写期间及时发现潜在的问题，并指导开发者采取相应的措施。静态分析工具可以分为代码检查工具、代码规范检查工具和静态代码分析工具。
单元测试：
单元测试是指编写针对程序代码中特定函数或方法的测试用例，以确保其正确性和稳定性。单元测试可以检查程序代码中的边界条件和异常情况，并帮助开发者发现潜在的问题和错误。
结合以上方法，程序测试员可以全面、有效地检查程序，确保软件的质量和稳定性。在实际应用中，可以根据项目的具体需求和资源情况，选择合适的检查方法，以提高测试效率和效果。