数控程序校验方式主要包括以下几种：
静态校验
语法检查：检查程序中是否存在语法错误，如括号不匹配、关键字错误等。
格式检查：检查程序的格式是否符合规范，如空格、缩进等。
几何检查：检查程序中的几何元素是否合理，是否存在冲突或不完整的情况。
逻辑检查：检查程序中的逻辑关系是否正确，如循环、判断等语句的嵌套、顺序等。
动态校验
数值模拟：将编程程序加载到数控仿真软件中，通过模拟数控系统的运行过程，检查编程程序在实际加工中的几何或运动问题。
切削力分析：通过分析编程程序中的切削参数和加工条件，对切削力进行估计和分析，以确保加工过程中切削力在可接受范围内。
模拟仿真软件：模拟仿真软件可以在电脑上对数控编程程序进行虚拟的运行和测试，以验证程序的准确性和可行性。这种软件可以模拟机床的运动轨迹、切削过程、加工效果等，并提供反馈信息，帮助用户发现和修复潜在的问题。
三维可视化软件：三维可视化软件可以将数控编程程序转化为三维模型，直观地展示加工过程和结果。
人工校验
试切：通过实际加工，检验程序的正确性和可行性。
刀具轨迹仿真：在计算机上模拟刀具的轨迹，检查其是否符合编程要求。
三维动态切削仿真：通过模拟三维环境下的切削过程，验证程序的准确性和合理性。
虚拟加工仿真：在虚拟环境中进行加工仿真，检查程序在实际加工中可能遇到的问题。
其他方法
在数控系统中选择零件，进行程序验证。
根据工艺图纸要求，选取需要加工部分中的四个对角点或任意便于测量的多个坐标，控制程序依次在工件上找到此点的位置并做好标记，然后在工件上进行测量这些点与点的几何位置，相互位置是否与编程数据一致。
建议在选择校验方法时，根据具体的加工要求、精度要求和时间成本，选择适合的校验方法。通常，结合静态校验和动态校验，可以更全面地确保数控程序的正确性和可靠性。