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

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

一种基于依赖性分析的类内聚度度量方法

内聚度是指模块内各成分之间的联结强度．在面向对象程序中，内聚度主要是指类内部各成分之间的联结强度．在深入剖析了类的属性与属性、方法与属性以及方法与方法之间的关系及其性质的基础上，提出了一种基于依赖性分析的内聚度度量方法，并证明了它满足优良的内聚度度量方法应该具有的性质，从而克服了已有方法只是分析了某个方面的不足，为综合评价类内聚度提供了指南。     

基于多agent的程序理解方法研究

一、引言软件逆向工程的研究是软件工程领域的一个重要而实用的研究内容。逆向工程是在给定源代码的情况下理解软件结构的一个途径,其目的是标识软件系统中的构造块,抽取结构依赖关系,为系统创造另一种更高抽象形式的表示。软件逆向工程是基于以下的假设:构造软件系统的过程是从问题域到实现域的映射过程,这种映射是在正向工程中完成的,而且也是一个可逆的过程,可以在不同的抽象级别上被重构。程序理解是软件逆向工程的一个重要组成部分,程序理解技术的研究具有广阔的应用前景:如1)对软件复用的支持,用于标识可复用的软构件;2)对软件测试的支持,有助于选择测试用例;3)用于设计验证和错误检测等;4)对软件维护的支     

面向对象程序开发中数据类的设计

本文介绍了面向对象程序开发中数据类设计的重要性及其分类,结合ＭＩＳ系统中典型主从数据对象给出相关数据类的设计方法和建议,这对提高ＭＩＳ软件的开发效率和提高软件可靠性,可维护性具有十分 重要的方法论意义。     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器OpenC++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C 进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

OOPSE——一种基于C^＋＋／Java的程序分析系统

面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用。面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发。尽管面向对象的软件开发方法具有很大优点,但也存在着一些问题。例如、语言的灵活性、描述能力和程序可靠性、功能之间难以统一,多态性和动态连使得运行时很难确定在给定的程序点对象的动     

OOPSE——一种基于C^＋＋／Java的程序分析系统

面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用。面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发。尽管面向对象的软件开发方法具有很大优点,但也存在着一些问题。例如、语言的灵活性、描述能力和程序可靠性、功能之间难以统一,多态性和动态连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低。为此,人们纷纷研究各种类型的支持面向对象软件开发过程的工具和环境,其中最具代表性的有：由北京大学以杨芙清院士为首开发的“青鸟工程”工具,由贝尔实验室的Ｐrem Devanbu 和Laura Eaves共同开发的Ｇen^＋＋,由Danny B.Lange和Yuichi Nakamura共同开发的环境Ｐrogram Explorer等等。这些工具或环境的研制给面向对象的程序设计带来了极大的便利。为了探索新的软件分析支持工具和环境设计和开发的新思路、新方法,围绕面向对象程序设计工具和环境,我们重点研究开发了一种基于Ｃ^ /Java的程序分析系统－－ＯＯＰＳＥ,本文详细介绍了ＯＯＰＳＥ的设计思想,总体框架和实现技术。     

反跟踪程序设计的几点技巧

软件跟踪是指利用程序调试工具,跟踪软件的运行,窃取软件的设计技术,取消防拷贝和加密功能,从而实现对软件的动态破译。反跟踪则是从程序设计的角度来防止他人进行软件跟踪,它是软件安全不可少的一个重要技术。我们知道,在ＰＣ机的ＤＯＳ系统中,配有ＤＥＢＵＧ等动态调试?..     

基于围线追踪的完全欧氏距离变换算法

本文以吴立德等１９９６年中文提出了基于边过程的围线追踪算出发点，设计并实现了一个在二值图像中进行完全欧氏距离变换的算法，算法首先求出二值图像的围线，然后沿围线从近向远扩展计算欧氏距离，算法能够计算精确的欧氏距离，对算法的时间和空间需求进行了简要的分析，讨论了算法的一些有关性质，并给出了实现程序运行中得到的一些实验数据，结果表明算法在多数情况下能够运行快，占用内存少，有较好的自适应性，因此有较好的实     

基于边界跟踪的区域面积计算

给出了一种基于边界跟踪的区域面积计算.根据图像边界跟踪时下一次和上一次跟踪方向,确定图像的左右边界.利用边界像素的横坐标进行加权求和计算,求得图像区域面积.与现有的面积计算方法相比,该算法只需跟踪边界一遍,即可获得区域面积,且算法不用借助链编码,具有速度快、计算量小、结果准确等优点.     

基于光线跟踪的数字影像重建技术

本文讨论了CT模拟中的数字图像重建技术,提出了基于光线跟踪的处理方法,并对分辨率、CT值转换和增强技术进行了探讨,给出了在治疗计划系统中的实现。     

基于离散点的光线跟踪的研究

在计算机图形中,光线跟踪是获得具有正确的反射、折射和阴影等效果的更加真实的图像的一个有效方法.研究了基于离散点造型的光线跟踪方法,探讨了在只有物体的离散采样点集合而没有点之间的连接信息的情况下,如何进行光线与物体求交的具体过程.     

一种改进的基于边界追踪的区域统计算法

区域个数统计在计算机图形和图像分析中有着很重要的应用.通过对传统的区域统计方法的研究,指出了它们的优点和不足,复现了这些算法,提出一种优化的基于边界追踪的区域统计算法.在对二值图像进行近似单次扫描之后,可以统计出图像中黑白区域个数,同时通过增加少量的代码可以获得黑色区域边界点序列.这些点对于图像的存储和复现有很重要的作用.     

一种基于类构架的agent程序设计方法

本文给出了一种以类构架为基础、消息驱动的ａｇｅｎｔ模型及其程序设计方法,介绍了基于Ｃ＋＋的ａｇｅｎｔ程序设计语言ＣＯＡＬ０,并指出进一步应做的工作。     

一种基于用户的自适应类选择算法

针对QoS管理模型中的自适应处理模块进行了深入研究,提出了基于用户的自适应类选择算法,该算法不仅能够提高用户的满意度,而且能够均衡各个服务类别在网络中的负荷,保证应用的服务质量,实现QoS管理的自适应性.算法采用了基于下一时刻的预测方法进行估算,从而优化了参数取值,使用户选择的服务类别更加精确.     

UML类模式在数据库中的应用

关系模型是当前成熟的、普遍应用的数据库设计技术,随着面向对象技术的迅猛发展,UML对建模符号进行了统一,在面向对象方法作出了重要贡献,将UML静态设计模型与关系数据库设计相结合,提出一套完整的对象-关系映射方法,并进行相应规范化,满足3NF,在创建数据库方面具有很大优越性.     

基于狭义相对论的新光线跟踪算法

传统计算机图形学绘制算法建立在经典牛顿力学基础上，无法模拟高速运动物体的独特视觉现象．本文按照狭义相对论原理，应用Java面向对象技术，构造了惯性参照系、摄像机、物体、光源、材料和纹理等新的场景对象．通过创建求交、跟踪、照射、测试和阴影等虚拟光线事件，方便地实现了融时空伸缩和多谱勒效应于一体的新光线跟踪算法．揭示了摄像机、物体和光源处于多个不同惯性参照系时的相对论全方位反射、折射和阴影等全新的光照效果．     

基于动态执行特性分析的JAVA软件系统架构恢复

恢复软件系统架构对于理解和重用遗留系统具有重要意义。本文提出了一种基于程序动态执行特性分析的JAVA软件系统架构修复方法。首先根据用户需求设计测试用例,然后在测试用例的执行过程中收集动态执行信息,再将信息整理成上下文后进行FC分析,最后将实现类似功能的子系统组合在一起,由此得到系统的逻辑组织结构视图。原型系统的实验结果表明,此方法能有效恢复中小规模JAVA软件系统的系统架构。