检验数控对刀程序的方法如下：
开机并回参考点
打开机床电柜后门，推上强电闸刀，并确认系统面板电源开关为通电状态。
进行回参考点操作，即回到机床的机械零点。确保刀架位置在机械零点负方向以内，并通过功能指令选择“ZRN”状态进行回零，避免选择手动“JOG”状态。
装夹工件和刀具
选择合适的工件和刀具，装夹到车床的卡盘上，确保夹持平稳均匀，检查工件是否有明显跳动，如有则重新装夹。
清洁刀具和刀架槽，装夹刀具时注意高度和角度的稳定性。
启动对刀程序
启动对刀程序，机床将自动移动刀具至对刀仪位置。
测量刀具
刀具缓慢接触对刀仪，系统会检测并记录刀具的位置和尺寸数据。
验证测量结果
在机床控制系统中检查测量数据，确保数据的准确无误。
如有需要，根据测量结果对刀具参数进行微调，以确保加工精度。
执行程序并观察
执行对刀程序中的试切端面对Z轴的步骤，观察刀尖是否与工件的外圆表面齐平，刀尖距离右端面是否为5mm，以此判断对刀是否准确。
通过以上步骤，可以有效地检验数控对刀程序的正确性和精度。建议在每次对刀后都进行严格的检验，以确保加工过程中的质量和效率。