面向程序理解的系统依赖图构建算法
王克朝1,2, 王甜甜1, 苏小红1, 马培军1, 童志祥1
(1.哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨; 2.哈尔滨学院 软件学院, 150086 哈尔滨);1.哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨;2.哈尔滨学院 软件学院, 150086 哈尔滨
摘要:
为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.
关键词: 程序理解 系统依赖图 程序信息提取 控制依赖 数据依赖
DOI:10.11918/j.issn.0367-6234.2013.01.015
分类号:TP311
基金项目:国家自然科学基金资助项目(2,1);高等学校博士学科点专项科研基金资助项目(20112302120052);中央高校基本科研业务费专项资金资助项目(HIT.NSRIF.201178);黑龙江省高教学会“十二五”重点规划课题资助项目(HGJXH B1110957).
Program comprehension oriented construction algorithm of system dependence graph
WANG Kechao1,2, WANG Tiantian1, SU Xiaohong1, MA Peijun1, TONG Zhixiang1
(1.School of Computer Science and Technology, Harbin Institute of Technology, 150001 Harbin, China; 2.School of Software, Harbin University, 150086 Harbin, China);1.School of Computer Science and Technology, Harbin Institute of Technology, 150001 Harbin, China ;2.School of Software, Harbin University, 150086 Harbin, China
Abstract:
To reduce the complexity of program comprehension such as program standardization and program matching, a program comprehension oriented construction algorithm of system dependence graph is proposed. This algorithm can be divided into three stages: program information extraction, control dependence sub-graph construction and data dependence sub-graph construction. Control dependency and data dependency are independently computed. Data flow is directly analyzed based on control dependent sub-graph without extra control flow graph, and computed on demand, which reduces the algorithm complexity. Selection statements and loop statements are uniformly represented, and expressions are represented as abstract syntax trees, which can facilitate program transformation and analysis. The system dependence graph has been used in automatic grading system of student programs and program recognition. Application results show that it can facilitate program comprehension and analysis and reduce the complexity of program comprehension and analysis.
Key words: program comprehension system dependence graph program information extraction control dependence data dependence
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
面向程序理解的系统依赖图构建算法
本站小编 哈尔滨工业大学/2019-10-24
相关话题/程序 控制 系统 数据 科研
MutPrimerDesign:用于人类基因编码区域突变位点的引物设计程序
MutPrimerDesign:用于人类基因编码区域突变位点的引物设计程序曹英豪,彭公信(中国医学科学院基础医学研究所&北京协和医学院基础医学院,北京100730)摘要:位于基因编码区的DNA突变与基因的功能密切相关。在已知人类基因编码区的突变位点时,如何在基因组上设计引物验证该突变是一个重要的问题 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05液压轮毂马达辅助驱动系统控制策略实车验证
液压轮毂马达辅助驱动系统控制策略实车验证曾小华,崔臣,张轩铭,宋大凤,李立鑫(汽车仿真与控制国家重点实验室(吉林大学),长春130025)摘要:为充分提升重型牵引车辆通过不良路面的能力,对国内某款重型牵引车在传统结构的基础上加装了前轴液压轮毂马达辅助驱动系统,并针对该混合动力系统,开发了工程化的控制 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05基于格子玻尔兹曼方法的侧窗水相分析与控制
基于格子玻尔兹曼方法的侧窗水相分析与控制辛俐1,高炳钊1,2,胡兴军1,2,桑涛1,2,葛长江1,2,刘江1(1.吉林大学汽车工程学院,长春130022;2.吉林大学汽车仿真与控制国家重点实验室,长春130022)摘要:侧窗雨水污染会损害侧窗的清晰度,进而影响汽车的安全驾驶.针对汽车雨天行驶时侧窗水 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05铁锰复合阴极MFC-EF耦合系统产电及降解RhB效能
铁锰复合阴极MFC-EF耦合系统产电及降解RhB效能史珂1,2,赵庆良1,2,王维业2,王琨1,2(1.城市水资源与水环境国家重点实验室(哈尔滨工业大学),哈尔滨150090;2.哈尔滨工业大学环境学院,哈尔滨150090)摘要:为实现微生物燃料电池(MFC)微电的原位利用,结合电芬顿(EF)技术的 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05新建隧道下穿运营公路引起的路面沉降控制基准
新建隧道下穿运营公路引起的路面沉降控制基准郑俊1,丁振杰2,3,吕庆1,范祥4,娄宝娟2(1.浙江大学建筑工程学院,杭州310058;2.宁海县交通建设工程质量安全监督站,浙江宁波315600;3.宁海县交通集团有限公司,浙江宁波315600;4.长安大学公路学院,西安710065;)摘要:针对如何 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05城市交通信号自组织控制规则的邻域重构
城市交通信号自组织控制规则的邻域重构钟馥声,王安麟,姜涛,花彬(同济大学机械与能源工程学院,上海201804)摘要:为解决城市交通信号自组织控制中,交通流相变频繁及路网拓扑结构复杂等时空条件带来的固定局部规则控制精度的问题,提出一种城市交通信号自组织控制规则邻域的重构方法.首先,定义邻域为当前路口自 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05偏最小二乘法在系统故障诊断中的应用
偏最小二乘法在系统故障诊断中的应用梁北辰,戴景民(哈尔滨工业大学仪器科学与工程学院,哈尔滨150001)摘要:为研究结合关键性能指标(KPI)的偏最小二乘法(PLS)在系统故障诊断中的作用和应用,通过活性污泥数学模型(BSM1),结合偏最小二乘算法,建立了可以模拟污水处理的仿真模型.通过收集系统在正 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05航天器编队飞行自适应协同避碰控制
航天器编队飞行自适应协同避碰控制史小平1,林晓涵1,李师轮2,王子才1(1.哈尔滨工业大学控制与仿真中心,哈尔滨150080;2.哈尔滨工业大学航天学院,哈尔滨150001)摘要:为解决航天器编队飞行系统中存在通信时延、参数不确定的跟踪问题,并实现避免碰撞的控制目标,基于编队航天器的相对运动非线性动 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05火箭垂直返回双幂次固定时间收敛滑模控制方法
火箭垂直返回双幂次固定时间收敛滑模控制方法崔乃刚1,吴荣1,韦常柱1,徐大富2(1.哈尔滨工业大学航天学院,哈尔滨150001;2.上海宇航系统工程研究所,上海201109)摘要:垂直起降可重复使用火箭返回飞行时受到复杂扰动和强不确定性影响,其姿态系统呈现出强非线性和高动态的特点.为克服扰动影响实现 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05椭圆轨道绳系卫星系统释放的类反步法控制
椭圆轨道绳系卫星系统释放的类反步法控制仲小清1,金雪松2,王敏1,李晓磊3,孙光辉3(1.中国空间技术研究院通信卫星事业部,北京100094;2.中国航天科技集团宇航部,北京100048;3.哈尔滨工业大学航天学院,哈尔滨150001)摘要:为解决椭圆轨道上绳系卫星系统的稳定和快速释放问题,在传统反 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05