程序切片技术的研究与应用

来源 :计算机科学 | 被引量 : 0次 | 上传用户：gx7411

【摘要】

：

<正> 软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其

【作者】

：

张勇翔李必信

【机构】

：

南京大学计算机软件新技术国家重点实验室计算机科学与技术,南京大学计算机软件新技术国家重点实验室计算机科

【出处】

：

计算机科学

【发表日期】

：

2000年1期

【关键词】

：

程序切片面向对象软件逆向工程软件维护 Program slicing PDG SDG Dynamic slicing OOP slicing

【基金项目】

：

江苏省应用基础编号BJ97036 资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

<正> 软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependen

其他文献

基于Bezier曲线的潮流能水轮机层流翼型优化设计研究

为了提高潮流能水轮机专用层流翼型的水动力学性能,在初始翼型的基础上,采用3阶Bezier曲线对翼型进行参数化建模,使用MATLAB对遗传算法进行编程,以高升阻比为目标寻求最优解;

期刊

BEZIER曲线潮流能水轮机层流翼型遗传算法Bezier curvetidal turbinelaminar hydrofoilgenetic a

基于低碳激励型出清的跨省区发电权交易双层优化模型

为打破省间交易壁垒,在经济发展的同时,促进清洁能源在全国范围内的优化配置,建立了基于低碳激励型出清的清洁能源跨省区交易双层优化模型。针对传统出清方式未充分考虑常规

期刊

清洁能源跨省区交易碳减排效益低碳激励型出清双层优化clean energytrans-provincial tradebenefit of car

基于时变通信拓扑的可再生能源主动配电系统规划模型

在考虑信息通信系统和电力物理系统深度交互耦合的高比例可再生能源主动配电系统中,配电网优化规划决策不可避免地受到通信网络性能的影响。文章提出基于时变通信拓扑的可再

期刊

可再生能源主动配电系统规划多智能体一致性时变通信拓扑renewable energy active distribution networks plann

生物燃气及生物燃气掺氢燃烧特性的实验研究

为了获得生物燃气及生物燃气掺氢的燃烧特性,文章通过高速纹影系统在定容燃烧弹中研究了CH4/CO2在不同CO2比例、不同当量比、不同初始压力以及不同掺氢比下的层流燃烧特性。

期刊

生物燃气拉伸率层流燃烧速度氢气比例biogas flame stretch rate laminar burning velocity hydro

含光热-光伏联合发电的电力系统随机生产模拟研究

针对光伏发电出力的随机性和时序性等不确定因素,提出了基于稀疏卷积递推间隔-频率曲线法的电力系统随机生产模拟方法。将间隔-频率曲线法和稀疏卷积递推法相结合,评估光伏发

期刊

不确定因素光热-光伏稀疏卷积递推间隔-频率曲线法随机生产模拟uncertain factorsphotothermal-photovoltaicre

大型光伏电站电压故障鲁棒在线诊断模型

当具有一定规模的光伏电站接入区域电网的某一节点后，由于电网和光伏电站运行特性的不确定性，导致电网与光伏电站间产生复杂的相互影响，对并网点电压故障的诊断造成困难。针对该

期刊

电压故障诊断鲁棒在线诊断在线判别光伏电站并网点grid-connected point on-line discrimination PV powe

磷钨酸铯催化工业蔗渣木质素制备酚类化学品

通过催化降解的方法,可以有效将木质素转为高附加值的单酚类化学品。文章首先以酸析法从蔗渣碱法造纸黑液中回收工业蔗渣木质素（IBL）,接着采用Cs（2.5）H（0.5）PW（12）O（40）为催化剂,在250

期刊

生物质木质素多孔炭酚类化合物催化甘蔗渣biomass lignin porous carbon phenolic compound cata

风浪对多浮筒半潜浮式风机关键部位弯矩的影响研究

针对半潜型浮式基础横撑和塔柱底部的弯矩特性,文章采用了气动-水动力-结构弹性耦合的时域分析方法,以DeepCwind浮式风机系统为研究对象,进行了不同风浪组合下的全耦合分析。

期刊

多浮筒浮式风机全耦合分析塔柱底端横撑multi-column floating wind turbinefully coupled simulatio

偏航对水平轴风力机尾迹的影响

文章采用数值模拟结合理论分析的方法,对在偏航工况下额定功率为300 W的S翼型水平轴风力机进行计算和分析。首先进行网格无关性验证,在此基础上对4个偏航工况进行数值模拟,对

期刊

水平轴风力机偏航尾迹数值模拟horizontal axis wind turbine yaw wake numerical simulation

计及模型鲁棒性的有源配电网动态等值建模方法研究

在分析有源配电网与大电网相互作用时,准确的有源配电网模型至关重要。由于有源配电网内部可再生能源具有随机性和时变性,基于有源配电网某些特定运行点处系统动态特征所建立

期刊

有源配电网动态等值建模模型鲁棒性two-step聚类法Elman神经网络active distribution networkdynamic equ

程序切片技术的研究与应用

与本文相关的学术论文