面向程序理解的系统依赖图构建算法

为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.

从静态草图到参数化绘图程序自动转换

结合参数化设计和机械工程的实际,提出并深入研究了从静态草图到参数化绘图程序的自动转换问题。在建立图形转换模型的基础上,用AutoLISP编制了图形信息提取程序,用C++编制了转换程序。该转换程序能输出参数化的AutoLISP绘图程序,实现了从静态草图到参数化绘图程序的自动转换。实验结果表明:解决思路是可行的,在机械工程设计中有较大的使用价值。