在UG编程中检查程序主要包括以下几个方面：
语法检查
UG编程环境会对编写的代码进行语法检查，确保代码符合语法规范，避免出现语法错误。
逻辑检查
UG编程环境会对代码进行逻辑检查，确保代码的逻辑正确，避免出现逻辑错误导致程序运行出错或产生不正确的结果。
数据类型检查
UG编程环境会对变量的数据类型进行检查，确保变量的使用符合规定的数据类型，避免出现类型错误。
潜在错误检查
UG编程环境会对代码进行潜在错误的检查，比如未初始化的变量、未使用的变量、未关闭的文件等，以帮助程序员发现潜在的错误并进行修正。
编码规范检查
UG编程环境可以进行编码规范的检查，比如变量命名规范、代码缩进规范等，确保代码的可读性和可维护性。
性能优化检查
UG编程环境可以对代码进行性能优化的检查，比如检查循环结构是否合理、是否存在冗余的计算等，以提高代码的执行效率。
模型完整性检查
UG编程提供了一系列的检查选项，用于检查模型的完整性，包括检查模型是否有任何未闭合的边界、无效的面片、重叠的实体等。
尺寸和比例检查
UG编程可以检查模型中的尺寸和比例是否满足设计要求。
拓扑关系检查
UG编程可以检查模型中的拓扑关系是否正确。
指定检查
在UG编程中，指定检查是常用的编程技术之一，它通常用于对设计模型的几何结构进行检查，以确保其符合要求和限制。
检查区域
UG编程中的检查区域是用来设置一系列特定的条件，以便在程序运行时进行检查和触发相应的操作。
通过这些检查选项，可以确保UG编程中的程序在语法、逻辑、数据类型、潜在错误、编码规范、性能优化、模型完整性、尺寸和比例、拓扑关系等方面都符合要求，从而提高程序的正确性和可靠性。建议在实际编程过程中，充分利用这些检查选项，及时发现并修正潜在问题，确保程序的稳定性和可靠性。