车床程序检验的方法可以分为以下几种：
程序代码的自动检测
使用专门的软件工具对程序代码进行自动检测，识别代码中的潜在错误，如语法错误、逻辑错误等，并给出相应的提示或警告。
机械加工的物理检测
在车床上进行试切试验，将实际的工件放置在机床上，运行程序进行加工，并检查加工后的工件与预期结果的差异。如果存在差异，则需要进一步调整程序以确保加工的精度和质量。
数值模拟的虚拟检测
利用计算机对机械加工过程进行模拟和分析，以评估程序的可用性和效果。通过数值模拟，可以预测加工过程中可能出现的问题，并进行相应的优化和改进。
工艺试验的实际检测
在实际生产环境下进行的试验，以验证编程后的程序的可行性和可靠性。
空运行
数控车床空运行用于调试程序，按下空运行和机床锁住来看程序的模拟图形，从而验证程序是否正确。空运行可以检验加工程序的路线或指令，但不能直观地看出零件的精度和粗糙度。
手动测量
使用测量仪器如游标卡尺、千分尺等手动测量加工零件的尺寸、平直度、圆度等几何参数来检测加工精度。
三坐标测量
将零件固定在测量台上，使用三坐标测量机进行自动测量，获取零件的三维坐标数据，并与编程要求进行对比，判断零件是否合格。
光学测量
利用光学原理进行测量，可以对零件的表面形貌、轮廓等进行检测。常用的光学测量设备有投影仪、激光扫描仪等。
数控测量
利用数控设备进行测量，可以实现自动化的检测过程。通过将编程后的零件放置在数控测量设备上，设定测量程序，自动进行测量并生成测量报告。
人工检测
操作人员根据零件的图纸和编程要求，使用测量工具如卡尺、游标卡尺等进行测量，检查零件的尺寸、形状、位置等是否与要求一致。
建议根据具体的加工要求和零件的精度要求，选择合适的检测方法进行综合应用，以确保车床程序的正确性和可靠性。