基于简化系统依赖图的静态粗粒度切片方法

基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.     

软件理解研究与进展

软件理解是进行软件维护的一个重要步骤,是一个逐层推进的递增模式匹配过程。软件理解由任务,策略,概念,模型,方法和工具等环节组成。文中分析了软件理解的任务和策略。对软件理解的各种模型进行了比较,详细论述了目前活跃在学术界的各种软件理解方法,并对目前存在的各种软件理解工具或环境进行了归类和比较。     

一种基于类层次图的分析面向对象程序的框架

从类层次图CHG(class hierarchy graph)出发,提出一个基于CHG的分析面向对象程序的框架OOAF(object-oriented analyzing framework),讨论了OOAF的功能、算法和设计思想,给出了子对象识别以及可见方法、主导方法的确定算法,建立了可见方法类层次图;并且通过计算方法的继承集、改写集以及对方法改写边界的确定,生成程序的虚函数调用图,从而为理解面向对象程序中的虚函数调用问题提供了一种可行的解决方案.     

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

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

如何搞好厂长（经理）离任审计

论述了搞好厂长离任审计的重要意义，明确审计内容，重点和责任，提出了具体操作方法。     

MATLAB内存溢出及其解决方法

使用MATLAB进行大数据集的操作处理时的内存溢出会导致程序无任何预兆就直接异常终止,这一问题已经成为在MATLAB环境中高效率开发的最大障碍之一。本文首先简要介绍MATLAB内存限制,然后分析内存溢出问题产生的原因和背景,最后针对该问题提出两大类解决方法。