在编程中，检查正确性的方法有多种，以下是一些常用的策略：
编译器检查
编译器是基本的错误检查工具，它会在代码编译过程中检查语法错误和类型错误。如果代码中存在错误，编译器会给出相应的错误提示，帮助开发者快速定位并修复问题。
静态代码分析工具
这些工具可以扫描代码并检测潜在的问题，例如未使用的变量、未初始化的变量、内存泄漏等。它们通过分析代码的结构和规则来发现潜在的错误，并提供相应的警告或错误信息。
调试器
调试器是一种交互式工具，用于追踪和调试代码中的错误。通过在代码中插入断点，可以逐步执行代码并观察变量的值，从而找到错误所在的位置。调试器还可以提供单步执行、变量监视等功能，帮助开发者更好地分析和修复错误。
单元测试
单元测试是一种用于验证代码功能的测试方法。通过编写针对每个函数或方法的测试用例，并对其进行测试，可以检查代码是否按照预期的方式工作。单元测试有助于尽早地发现错误，并提供一种可靠的方式来检查代码的正确性。
集成测试
集成测试是测试多个组件或模块之间的交互是否正常。这种测试方法可以确保不同部分的代码能够正确地协同工作，并发现模块集成时可能产生的问题。
用户验收测试
用户验收测试是由最终用户或代表用户的人员进行的测试，以确保程序满足用户的需求和期望。
代码审查
通过与其他开发人员一起检查代码来发现错误，可以提高代码的质量，并减少错误的出现。代码审查可以发现潜在的问题，并提出改进的建议。
比较结果
在测试或比赛中，可以通过比较两个程序对同一问题的输出结果来检测程序的正确性。例如，可以运行一个已知的正确程序（如参考程序）和待测试程序，比较它们的输出是否一致。
使用标准库和函数
在编程中，尽量使用标准库和经过验证的函数，以确保程序的正确性。例如，在排序算法中，可以使用已知的排序函数（如Java的`Arrays.sort`）作为参考，以确保自己的实现是正确的。
遵循命名规范和代码细节
遵循命名规范和代码细节，例如文件读写语句、头文件包含、变量命名等，可以减少错误的出现，并提高代码的可读性和可维护性。
通过综合运用上述方法，可以有效地检查编程的正确性，并确保程序按照预期的方式工作。