要检查入编程序是否正确，可以采用以下几种方法：
单元测试
单元测试是指对程序中最小的可测试单元进行测试。针对每个函数或方法编写对应的单元测试用例，验证其功能是否正确。通过单元测试可以快速发现代码中的问题，并进行修复，从而保证程序的正确性。
集成测试
集成测试是指将多个模块或组件进行组合，对它们进行整体的测试。这有助于发现模块之间接口的问题，确保整个程序按预期工作。
使用调试器
调试器是一种交互式工具，用于追踪和调试代码中的错误。通过在代码中插入断点，可以逐步执行代码并观察变量的值，从而找到错误所在的位置。调试器还可以提供单步执行、变量监视等功能，帮助分析和修复错误。
静态代码分析工具
静态代码分析工具可以扫描代码并检测潜在的问题，例如未使用的变量、未初始化的变量、内存泄漏等。这些工具通过分析代码的结构和规则来发现潜在的错误，并提供相应的警告或错误信息。
代码审查
代码审查是一种通过与其他开发人员一起检查代码来发现错误的方法。这有助于发现潜在的逻辑错误和代码风格问题，提高代码质量。
对比验证
对程序计算出的结果与现实物理实验的参数进行对比，建立对物理原理和初始版本程序的信心。随着程序的发展，可以使用旧版本程序的输出结果作为参照，或者用不同的原理或实现开发另外的程序进行对比。
使用IDE的调试功能
许多集成开发环境（IDE）提供调试模式，可以通过设置断点、单步执行、查看变量值等方式来检查程序的正确性。一些IDE还提供try/catch等机制来捕获运行时错误。
建议在实际编程过程中，结合以上方法，从多个角度对程序进行检查，确保其正确性和可靠性。