程序检查是一种 审查监督方法，用于确保计算机系统中的会计数据准确无误。它通过模拟手工查账的方式，编制各种程序来指挥计算机，并检查电算系统中的各项会计数据。程序检查法可以分为通用审计程序和专用审计程序两种。通用审计程序用于检查和核对一般会计数据，而专用审计程序则是为被审计单位的特殊问题量身定制的，以协助审计人员结合审查专题的特点对文件记录进行编制。
程序检查的具体方法包括：
静态代码分析：
在程序不运行的情况下，通过人工或使用工具对源代码进行阅读、审查，以找出潜在的错误或漏洞，以及不良的编码习惯。这种方法可以提前发现代码中的问题，提高代码质量，并减少运行时错误。
动态程序分析：
在程序运行时观察其行为，通过设置断点、监控变量值、跟踪执行流程等手段，检测实际运行过程中的错误和异常，帮助开发者定位问题并进行修复。
单元测试：
对代码的每个模块进行独立的测试，确保每个模块的功能正常且符合设计要求。单元测试通常由开发者编写，用于验证代码的正确性和可靠性，以便尽早发现问题并进行修复。
集成测试：
将多个模块组合在一起进行测试，确保模块之间的交互正常且符合预期。
代码规范性检查：
评估代码是否符合编程规范，如变量命名、缩进、注释等。
代码可读性检查：
评估代码的易读性和可维护性，确保代码易于阅读、理解和修改。
代码健壮性检查：
检查代码是否能够处理异常情况，防止程序崩溃或产生错误。
代码复用性检查：
评估代码的模块化和复用程度，以提高代码利用率和减少重复劳动。
运行时性能检查：
评估程序的运行时间，包括响应速度和执行效率。
桌面检查：
由程序员在程序通过编译之后，进行单元测试之前，对源程序代码进行分析、检验，并补充相关文档，目的是发现程序中的错误。
代码审查：
由若干程序员和测试员组成审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。这种方法可以发现程序员自己可能忽略的错误，并通过讨论和争议促进问题的暴露。
这些方法可以单独使用，也可以结合使用，以确保程序的正确性、安全性和效率。在实际的审计工作中，审计人员会根据具体情况选择合适的检查方法，以提高审计质量和效率。
