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