在C语言中，判断编程是否正确可以通过以下几个步骤进行：
语法检查
使用C语言编译器对代码进行编译。编译器会在编译阶段对代码进行语法检查，如果代码中存在不符合语法规则的元素或语法错误，编译器会报错，并显示错误的位置和具体信息。这是判断编程是否正确的第一步。
类型匹配
C语言是一种静态类型语言，每个变量都有固定的数据类型。在表达式中，不同类型的变量或常量可能会发生隐式类型转换，但必须满足一定的规则。例如，整数和浮点数之间的转换、指针之间的转换等。如果表达式中的类型不匹配，编译器会报错。通过检查类型匹配情况，可以进一步确保代码的正确性。
逻辑判断
在C语言中，布尔表达式通常用于条件判断，如if语句、while循环等。布尔表达式的结果只有两种可能：真（非零值）或假（零值）。通过合理地使用逻辑运算符（如&&、||、!等）以及正确的条件判断，可以判断一个表达式的正确性。
运行结果
除了在编译阶段进行静态检查外，还可以通过运行程序来验证表达式的正确性。在程序运行过程中，可以打印出表达式的结果，或者根据结果进行相应的处理，以验证表达式是否满足预期。
调试和测试
使用IDE的DEBUG模式及TRY/CATCH语句进行调试。在调试模式下，可以通过Trace语句显示的字符串信息，或者使用Try/Catch语句来捕获和处理异常，从而确保程序在各种情况下都能正确运行。
代码审查
在开发过程中，进行代码审查可以帮助发现潜在的错误和不足。通过同行评审，可以确保代码的质量和正确性。
性能测试
在程序功能正确的基础上，还需要进行性能测试。通过模拟不同的数据量和并发量，检查程序是否会出现异常，如运行缓慢、响应速度明显下降等问题。
黑盒测试和白盒测试
黑盒测试：测试人员不需要知道软件内部的工作过程与实现原理，只需按照界面提示进行测试，检查程序是否满足需求。
白盒测试：测试人员知道软件内部的工作过程与实现原理，可以进行更深入的测试，以便更高效地发现问题。
通过以上步骤，可以全面检查C语言程序的语法、逻辑和功能正确性，确保程序能够按照预期运行。