检验程序是否正确可以通过以下方法：
满足问题需求
程序是否实现了问题所要求的功能是衡量其正确性的主要标准。
程序规约
程序规约包括前置断言和后置断言，若程序开始执行之前前置断言为真，且执行终止时后置断言为真，则程序是完全正确的。
命名规范与文件检查
命名规范需要严格遵循题目要求，文件目录结构也应符合规定。
检查文件读写语句是否正确添加，并在提交代码前确保文件读写未被注释。
删除调试代码
调试时插入的输出语句等调试代码在提交前必须删除干净，以免影响程序正常运行和测试结果。
头文件和变量名检查
推荐使用万能头文件include，避免因缺失头文件导致的编译错误。
避免使用可能导致库内关键字冲突的变量名，如j0、j1等。
测试数据验证
提供至少3组数据验证程序正确性，包括能算出来的较大数据、边界数据和随机极限数据，以检验算法是否超时和数组是否开得够大。
使用调试器和单元测试
调试器可以帮助开发人员逐行执行代码、查看变量值和跟踪执行流程，从而找出错误位置。
单元测试是对程序中最小可测试单元进行测试，可以验证特定功能的正确性并捕捉潜在错误。
静态代码分析
通过静态代码分析工具检查代码中的语法错误、规范违规和潜在逻辑错误。
异常处理和代码审查
合理使用异常处理机制捕获和处理错误，通过代码审查发现并修复错误。
实际测试
在数控车床上通过模拟功能和实际测量检验程序的正确性和精度。
对于PLC程序，可以通过静态检查、动态仿真和实际测试来验证其正确性。
通过上述方法可以全面检验程序的正确性，确保程序在实际运行中能够满足需求和预期效果。