在机床上验证程序的方法包括以下几种：
机床空运转
通过机床空运转的方式，检查机床的动作和运动轨迹的正确性，以检验程序。
图形模拟显示
利用具有图形模拟显示功能的数控机床，通过显示走刀轨迹或模拟刀具对工件的切削过程，对程序进行检查。
试切
使用铝件、塑料或石蜡等易切材料进行试切，通过检查试件确认程序是否正确，并了解加工精度是否符合要求。若条件允许，最好使用与被加工零件材料相同的材料进行试切，以更真实地反映实际加工效果。
实际测量
在工件上进行测量，检查加工点的几何位置和相互位置是否与图纸工艺相符，同时对比对角线距离与工艺图纸上的尺寸，确保对角线通过中心点。
参数设置与仿真
进行参数设置，包括机床最大速度、加速度、刀具半径等，然后通过加工仿真和示教来校验程序，确保程序在各种条件下的正确性和稳定性。
模拟运行
在数控系统中选择零件，进行程序验证，并通过模拟模式在屏幕上进行仿真运行，观察工件的运动轨迹和刀具与工件的相对位置关系，以便及时发现和修正错误。
使用检验工具
利用千分尺、示值卡尺、千分表等测量工具对加工工件进行实际测量，验证程序的准确性和精度。
软件模拟
使用CIMCOEDIT等软件模拟加工路径，查看整体和局部细节，确保没有碰撞和错误，然后进行实际加工测试。
通过上述方法，可以全面验证数控机床程序的正确性、准确性和可靠性，从而确保加工过程的顺利进行和加工质量。建议在正式加工前，综合运用这些方法进行程序验证，以最大限度地减少潜在风险。