在C语言中，判断编程的正确性可以通过以下几个步骤进行：
语法检查
使用C语言的编译器进行编译。编译器会检查代码的语法正确性，并在发现语法错误时给出提示。这是最基本的检查步骤，因为任何语法错误都会导致程序无法成功编译和运行。
功能测试
在代码通过编译后，进行功能测试以验证程序是否按照预期工作。这包括编写和执行测试用例，检查程序的功能是否完整，是否存在逻辑错误或遗漏。
性能测试
在功能正确的基础上，进行性能测试以评估程序在不同负载下的表现。这包括检查程序在处理大量数据或高并发情况下的响应速度和稳定性。
代码审查
通过画流程图、标注重要结点并做验证程序，使用条件编译（如分发行版与调试版）以及利用集成开发环境（IDE）的DEBUG模式和TRY/CATCH机制等手段，来进一步确保代码的正确性和健壮性。
静态和动态测试
进行静态测试，如代码审查，以发现潜在的编程错误。
进行动态测试，如运行测试用例，以验证程序在实际运行中的正确性。
使用判断语句
在C语言中，使用if-else、switch等判断语句来根据不同的条件执行不同的代码块，确保程序逻辑的正确性。
合理使用运算符
熟练使用比较运算符、逻辑运算符和三元运算符等，来进行正确的条件判断和逻辑运算。
通过上述步骤，可以较为全面地判断C语言程序的正确性。建议在实际开发过程中，结合使用这些方法，并在代码审查中特别关注程序的逻辑和性能方面，以提高代码质量。