数控编程的校验程序运行主要包括 静态校验和 动态校验两种方法。
静态校验
语法检查：检查程序中是否存在语法错误，如括号不匹配、关键字错误等。
格式检查：检查程序的格式是否符合规范，如空格、缩进等。
几何检查：检查程序中的几何元素是否合理，是否存在冲突或不完整的情况。
逻辑检查：检查程序中的逻辑关系是否正确，如循环、判断等语句的嵌套、顺序等。
动态校验
数值模拟：将编程程序加载到数控仿真软件中，通过模拟数控系统的运行过程，检查编程程序在实际加工中的几何或运动问题。
碰撞检测：利用碰撞检测软件对编程程序进行检查，以防止加工过程中的刀具碰撞工件或夹具等问题。
切削力分析：通过分析编程程序中的切削参数和加工条件，对切削力进行估计和分析，以确保加工过程中切削力在可接受范围内。
此外，还可以使用以下几种常用的数控编程软件校验方法：
模拟仿真软件：在电脑上对数控编程程序进行虚拟的运行和测试，以验证程序的准确性和可行性。这种软件可以模拟机床的运动轨迹、切削过程、加工效果等，并提供反馈信息，帮助用户发现和修复潜在的问题。
数控机床空跑检查：在正式加工前，先开机、复位、进行加工前的检查和对程序进行校验，确保程序没有错误和冲突。
实际测量与图纸对比：在工件上进行测量，比较实际测量结果与工艺图纸的要求，确保几何位置和尺寸符合要求。
数控系统自带的模拟功能：利用数控系统自带的模拟功能，查看走刀路线，检查是否有撞车或细节错误。
样件试加工：在实际加工前，使用样件进行试加工，验证程序的准确性和可行性。
CAD/CAM软件：将设计好的零件图形转换为数控车能够理解的编程指令，并进行校验。通过CAD/CAM软件，可以实现对零件的三维建模、切割路径的生成以及刀具路径的优化等功能。
轨迹仿真软件：模拟数控车编程中的切削过程，通过虚拟的刀具与工件之间的交互，实现编程指令的校验。
剖面测量软件：对数控车编程的剖面进行测量和校验，确保实际剖面数据与编程指令中的理论剖面一致。
G-Code校验软件：对G-Code程序进行语法检查和逻辑校验，确保程序没有语法错误和逻辑错误。
建议在实际应用中，结合多种校验方法进行程序验证，以确保数控编程的准确性和可靠性。