静态切片相关论文
程序切片是一种传统的程序分析方法:通过去除程序中的无关代码,获取可能影响到程序中某行代码的代码子集。程序切片在程序理解、软......
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维......
为了提高静态切片精度，本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测，找出那些确定没有执行的方法或语句，设计并......
程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实......
为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法.只需通过分析控制依赖,获得程序整体框架,再从切片点......
以一种自定义的模型面向对象语言MOOL为例，采用分层切片和逐步求精的混合算法，使用Perl语言设计并实现了一个完整的MOOL静态切片工具......
由于程序量大，当前针对学生编写程序的评测一般采用判断其输出结果的正误进行判定。这种评测方法机械，导致学生编程关注点偏颇，影响一......
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片......
程序切片是一种软件调试、测试、理解和维护技术。通过寻找程序内部的相关性来分解程序，从而达到快速错误定位的目的。对程序切片的......
<正>传统的空间数据应用模式概括来说主要是两种:一种是定性的图像解译,尤其是在传统的卫星侦察等应用中,通过对遥感图像的判读来......
