数控编程的检查主要包括以下几个步骤：
语法规范检查
检查数控程序是否符合编程语言的语法规范，包括正确的语法结构、关键字的使用、变量命名规范等。例如，检查是否存在语法错误、缺少必要的代码段等。
几何形状检查
检查数控程序中的几何形状是否符合要求，包括轮廓、尺寸、位置、角度等。例如，检查是否存在尺寸超出范围、轮廓闭合性等问题。
刀具路径检查
检查数控程序中的刀具路径是否合理，包括刀具的进给速度、转向、刀具半径补偿等。例如，检查是否存在刀具碰撞、刀具路径重叠等问题。
切削参数检查
检查数控程序中的切削参数是否设置正确，包括切削速度、切削深度、进给速度等。例如，检查是否存在切削参数超出范围、切削参数设置错误等问题。
加工顺序检查
检查数控程序中的加工顺序是否合理，包括加工轮廓的顺序、切削路径的顺序等。例如，检查是否存在加工顺序冲突、加工路径交叉等问题。
后处理代码检查
检查数控程序生成的后处理代码是否正确，包括数控机床的特定指令格式、参数设置等。例如，检查是否存在后处理代码错误、参数设置错误等问题。
代码规范性检查
检查代码是否符合编程规范，包括命名规范、缩进规范、注释规范等。这可以提高代码的可读性和可维护性。
功能性检查
检查代码是否实现了预期的功能。这包括检查数控软件编程是否能够正确地控制数控机床进行加工操作。
安全性检查
检查代码是否存在潜在的安全风险。
校验和首件试切
利用数控机床的空运转或图形演示功能来校验刀具运动的轨迹是否正确。通过首件试切，当发现错误和误差时，应分析原因加以修正。
数控编程仿真检查
包括数控程序的正确性检查、加工路径的合理性检查、加工过程的时间估算、可视化检查和程序优化检查。通过这些检查，可以确保数控编程的准确性、高效性和优化性。
使用专门的编程编辑器
如Notepad++、Sublime Text和Visual Studio Code等，这些编辑器具有语法高亮、自动完成、代码折叠等功能，使得编程过程更加高效和准确。
通过上述步骤，可以全面检查数控编程的正确性、合理性和有效性，从而确保数控机床加工的质量和安全性。