【摘 要】
：
程序切片是一种程序分析技术,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段.在研究静态类型面向对象的程序切片时发现,利用系统依赖图计算程序切片虽然是一
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
程序切片是一种程序分析技术,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段.在研究静态类型面向对象的程序切片时发现,利用系统依赖图计算程序切片虽然是一种有效的方法,但构造OO程序的系统依赖图是一件非常复杂的工作,而且构造过程中容易出错,这会导致切片的结果不正确,造成前功尽弃.为此,从程序逻辑分层的角度提出一种OO程序的层次模型,然后在OO程序的层次模型基础上采用逐步求精算法来分层计算OO程序的切片.
其他文献
在运行时刻，由于某些函数参数的取值会造成一些函数被重复调用，这在编译时刻是无法被传统的优化器发现的。针对这种情况，提出一种运行时刻的优化方法。它通过调用依赖图来消除重
对灰度图进行一般线性和非线性平滑会极大程度地模糊拐角 ,使得多尺度方法难以用于拐角检测 .由于非线性多尺度 CB(contour- based)形态滤波算子具有很好的拐角保持特性 ,而且能使拐角满足单调性 ,即当尺度增大时拐角数不增加 .用 CB形态滤波器对灰度图进行滤波 ,构成 CB形态学尺度空间 ,以实现对拐角的多尺度检测 .理论分析和实验结果证明了这种分析方法的有效性
提出了一类新的支撑矢量机核函数--坐标变换核.该类核函数是同维映射.理论证明和计算机仿真实验都表明了该类核的正确性和有效性.
Ｇｉａｍｍａｒｒｅｓｉ与Ｒｅｓｔｉｖｏ在一篇综述中总结出一个关于可识别的图像语言（即２维矩形语言）ＲＥＣ的等价性定理，对比１维字语言的相应结果，其中还缺少关于生成文法的相应一环，提出了一种（矩形的）格点文法，正好弥补了这一
本文对网上教学的模式进行了分类，提出基于局域网上（多媒体网，视频点播网）的教学模式和基于Intemet上（个别学习，1对1，1对多，多对多）的教学模式。讨论各种了网上教学模式的信息流程，教与
通过对珠三角地区旧村整治过程中存在的具体困难的深入研究,提出了目前旧村庄整治工作的应对措施。
首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的
提出了一种具有强分类能力的离散HMM(hidden Markov models)训练算法.该算法利用矢量量化技术将来自不同话者的训练数据进行混合训练,以生成包含各个话者特征的话者特征图案.