数控铣床程序校验的步骤如下：
程序检查
在编写完数控铣床程序后，首先要仔细检查程序的正确性。检查包括程序是否存在错误、逻辑是否清晰、加工路径是否合理等。可以使用数控仿真软件进行程序验证，以确保程序能够正确运行。
上传程序
将编写好的数控铣床程序上传到数控设备中。确保程序能够正确读取并加载到数控设备中。一旦编程完成，需要再次检查程序是否正确，是否符合加工要求，以确保程序能够正常运行。
机床检查
在启动数控铣床之前，需要对机床进行安全检查，保证机床处于正常状态，无故障、无障碍物等安全隐患。然后按下启动按钮，观察机床运转情况，确认程序能否正确执行。
模拟仿真
使用数控仿真软件对编程程序进行虚拟的运行和测试，以验证程序的准确性和可行性。常用的动态校验方法包括数值模拟、碰撞检测、切削力分析等。
实际加工测试
在机床上进行实际加工测试，观察刀具的运动轨迹、切削速度等参数是否正常，并收集测试数据，如刀具磨损情况、工件尺寸变化等，以评估程序的性能并进行优化。
软件校验
使用专门的软件工具进行静态校验，包括语法检查、格式检查、几何检查和逻辑检查。静态校验可以自动发现程序中的错误并提供修改建议。
功能程序测试法
准备测试数据，安装工件，运行功能程序，观察加工过程，收集测试数据，分析测试结果，并根据分析结果对功能程序进行调整和优化。
前期准备工作
在编制加工程序前，仔细分析数控铣削加工工艺性，掌握铣削加工工艺装备的特点，确保充分发挥数控铣床的加工功能。将工件找正后装夹于工作台上，记录工件中心坐标，利用软件进行绘图和互检，确保程序无误后传送至NC。
通过以上步骤，可以全面校验数控铣床的程序，确保其正确性和可靠性，从而保障加工质量和人员安全。