检验数控程序好坏的方法主要包括以下几种：
试切法
通过在专用设备上使用塑模、蜡模或木模进行试切，以验证数控加工程序的正确性。这种方法虽然有效，但需要占用设备工作时间，并且存在加工中的危险。
刀具轨迹仿真
在后置处理之前，通过读取刀位数据文件检查刀具位置计算是否正确，加工过程中是否发生过切，以及刀具、走刀路线和进退刀方式是否合理。这种方法通常采用动画显示，效果逼真。
三维动态切削仿真
利用计算机仿真模拟系统，将数控程序的执行过程在计算机屏幕上显示出来，观察刀具和工件的相对位置关系，以及加工过程的连续性和逼真度。这种方法可以很容易发现碰撞和其他错误的程序指令。
虚拟加工仿真
通过数控系统自带的模拟功能或第三方软件（如CIMCOEDIT）进行模拟运行，观察工件的运动轨迹和刀具路径，检查是否存在误差或冲突。
机床空运转
在正式加工之前，通过机床空运转检查机床动作和运动轨迹的正确性，以验证程序。这种方法主要用于调试程序，避免首件试切时的碰撞。
实际加工
在具有图形模拟显示功能的数控机床上，通过显示走刀轨迹或模拟刀具对工件的切削过程，对程序进行检查。对于形状复杂和要求高的零件，可以使用易切材料（如铝件、塑料或石蜡）进行试切，以确认程序的正确性和加工精度。
测量与比对
使用测量工具和仪器对加工工件进行实际测量，将测量结果与程序中设定的数值进行比对，检验程序的准确性和精度。
代码规范检查
检查数控程序是否符合编程语言的语法规范，包括正确的语法结构、关键字的使用、变量命名规范等。这有助于提高代码的可读性和可维护性。
功能性检查
确保数控软件编程能够正确地控制数控机床进行加工操作，实现预期的功能。
安全性检查
检查程序是否存在潜在的安全风险，如可能导致机床损坏、人身伤害或环境污染的代码。
通过上述方法的综合应用，可以全面检验数控程序的质量，确保其正确性、安全性和高效性。建议在实际操作中根据具体情况选择合适的检验方法，以提高检验的准确性和效率。