在UG加工中检查程序主要包括以下几个步骤：
语法检查
检查程序代码的语法是否符合UG编程语言的规范。
确认是否缺少分号、括号是否匹配、关键字是否正确拼写等。
语义检查
检查程序代码的语义是否正确，包括变量是否被正确声明和使用、函数是否被正确调用、类型是否匹配等。
逻辑检查
检查程序的逻辑是否正确，例如循环是否正确控制、条件语句是否正确判断等。
异常处理检查
检查程序是否包含异常处理机制，并确认是否正确捕获和处理了可能抛出的异常。
性能检查
检查程序的性能是否满足要求，识别是否存在性能瓶颈，以及是否有优化的空间。
自定义检查
根据具体项目的需求，可以添加自定义的检查选项，以确保编程规范的一致性。
模拟与检查
在生成刀轨后，通过模拟刀轨来检查是否存在干涉、是否满足加工要求，并进行相应的调整。
使用检查体来检查几何体是否过切，特别是在加工特殊形状如拐角时尤为重要。
后处理输出
通过后处理文件进行NC文件输出，并打印程序单，确保程序的正确性和完整性。
建议在实际编程过程中，结合上述步骤逐一进行检查，以确保程序的正确性和可靠性。