【摘 要】
：
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（61173021,61202092）, 上海市自然科学基金（15ZR1421400）
论文部分内容阅读
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低.
其他文献
为了研究公路滑坡运动的机理，减轻公路建设中滑坡灾害的影响，以陕西铜川一王石凹公路2#滑坡侵蚀为实例，论述了公路滑坡侵蚀的地质地貌条件和变形特征。认为2#滑坡为牵引式滑坡，是
为获得大型全容式LNG储罐混凝土外罐在风荷载作用下的响应特性,以有限元软件ANSYS为分析平台,针对一160 000 m3LNG储罐实际工程建立了静力风荷载及顺风向脉动风荷载作用下的
在免拆卸条件下，为实现实时监测倾斜安装在惯性测量单元（IMU，inertial measurement unit）中的液浮陀螺一次项漂移系数D1、D8，提出一种利用惯性测量单元标定参数解算液浮陀螺一次项
针对核反应堆一回路堆芯控制棒驱动机构可能发生卡棒、漏棒和滑棒故障,提出了以物联网为决策诊断框架的粗糙集神经网络融合算法,应用MEMS传感器、Zig Bee模块和Multi-Agent模
为更好地理解混凝土盐冻破坏机理,研究了NaCl溶液中NaCl质量分数对活性粉末混凝土溶液吸入量的影响规律,并比较了试件表面及芯部吸入面溶液吸入特性的差异;分析了冻融循环1 0