基于层次切片模型的JAVA相互作用耦合度量

在Eder等人提出的三维耦合度量框架基础上,基于层次切片模型对JAVA中的相互作用耦合进行了研究,得到了JAVA中存在的相互作用耦合类型,并建立了一系列形式化的相互作用耦合度量公式.相对传统的耦合性度量,基于层次切片技术的耦合性度量更加精确,它不仅描述了度量对象之间的耦合关系,并在一定程度上描述了度量对象之间的耦合程度,从而为程序分析和理解等软件活动提供更多有用的信息.     

基于变量间依赖关系的软件可信度量模型

针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.     

有序加权平均算子在UML类图度量中的应用

随着面向对象技术在软件理论和应用的快速发展,如何科学合理的度量面向对象软件质量已成为软件工程中一个热点问题。目前,针对软件度量的研究很多,但是关于类图度量的研究较少。类图作为软件开发中一种非常重要的模型图,其复杂性对软件质量有着明显的影响。为研究类图的复杂性,将已有的基于OWA算子的多属性决策方法应用于UML类图的度量,提出一种度量UML类图复杂性的新方法,通过OWA算子度量的计算结果,可以有效的对面向对象软件的复杂性进行科学合理的度量。     

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.     

一种基于函数依赖图的构件抽取方法

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法.先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果.此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量.实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率.     

一种基于RRT技术的面向对象软件测试方法

针对目前面向对象软件的测试方法较少且效率不高的问题,提出将基于ART(adaptive ran-dom testing)思想的限制性随机测试RRT(restricted random testing)应用到面向对象程序中的方法.分析了面向对象软件测试用例的结构,提出了测试用例包含动态部分和静态部分.确定测试用例之间的距离为动态部分和静态部分的距离和,并分别给出了这2个距离的计算公式.设计了基于RRT的测试原型系统,该原型系统主要的功能模块有类图录入模块、测试用例距离度量模块、基于RRT测试用例生成模块、结果分析模块.通过试验对比了文中方法与随机测试方法.结果表明,文中提出面向对象的RRT方法在发现第1个程序错误的测试中比随机测试方法减少了约50%的测试用例数量,且在发现测试用例的质量上也几乎与随机测试相同.文中提出的测试用例度量机制能够有效地对面向对象软件中的测试用例进行区分,基于RRT的测试原型系统也能自动化地生成测试用例并自动测试从而大大提高了面向对象软件测试的效率.     

软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.     

面向对象软件度量工具的软件结构研究

从隔离变化入手,分析了面向对象软件度量过程中可能出现的变化点,提出一种基于知识库的面向对象度量工具的软件结构,设计并实现了该度量工具.最后给出了具体的实验度量数据实例,以证明该度量工具的实用性和可操作性.     

面向对象软件的程序级FMEA方法

软件失效模式及影响分析（FMEA）是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图描述代码间存在的复杂的依赖关系,并采用切片技术提高失效原因和影响分析的效率。     

面向对象系统自适应多级嵌套抗衰技术及模型

对面向对象计算系统执行自适应的细粒度软件抗衰策略,可以进一步增强软件抗衰技术的适用性 及灵活性,同时能更大程度地降低抗衰成本,提高软件的可靠性。针对面向对象软件系统中各级组件的性质 和特点,制定了将抗衰粒度细化到活动级的重启策略;同时根据各级组件间控制、调用及数据访问的关系,分 析了组件间的耦合度,给出了计算组件重启相关性和相关度的方法,判定了组件可达集,确定了各级组件重 启群,最终制定出自适应的多级嵌套的软件抗衰策略,并在此基础上构建了策略实施模型,为实现智能化面 向对象软件系统的细粒度软件抗衰提供了支持。     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键．但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．本在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术．     

面向对象思想在手机开发平台中的应用

为了把面向对象的分析和设计方式引用到手机开发平台设计中,利用模块化的设计思想提供良好设计公共接口,进行接口与实现的分离,从而实现手机软件开发的模块化以及解决手机开发平台对功能需求相对复杂、数据结构相对简单,但时实性和效率要求较高的问题。本文在面向对象分析思想的基础之上,采用了SINGLETON 设计模式,并提出了三种封装和访问机制,将接口与实现有效分离。另外通过到结构化编程环境的映射,在C语言环境下实现面向对象思想和三级封装和访问机制的方法,为软件开发模块化。实现证明,上述策略可以提高手机功能开发的扩展性以及降低后期系统维护的工作量。     

面向对象的软件测试研究

在对面向对象程序设计进行分析的基础上，提出了面向对象的软件测试方法的实现途径，以及面向对象的软件测试的内容和步骤。     

面向对象有限元方法及其C++实现

系统归纳了面向对象有限元的基本理论和实现方法，比较了传统有限元实现方法与现代面向对象有限元方法的共同点及不同点．通过针对空间结构分析软件的基于统一建模语言(UML)的系统设计和运用C 语言实现面向对象有限元的程序框架，表明了面向对象有限元方法的先进性和基于C 语言实现的可行性．     

面向对象方法与结构化方法

在归纳面向对象方法与结构化方法的内在一致性和主要区别基础上,对运用面向对象方法提出了5点建议,期望既坚持结构化方法已有成功经验,又不断追求面向对象方法的新发展,达到在软件开发中更好地运用面向对象方法的目的。     

An analysis method of business application framework

We discuss the evolution of object-oriented software development process based on software pattern. For developing mature software framework and component, we advocate the elicit and incorporate, soft-ware patterns for ensuing quality and reusability of software frameworks. On the analysis base of requirement specification for business application domain, we present analysis method and basic role model of software framework. We also elicit analysis pattern of framework architecture, and design basic role classes and their structure.     

Object-oriented software tools for parallel PDE solvers

An object-oriented approach is taken to the problem of formulating portable, easy-to-modify PDE solvers for realistic problems in three space dimensions. The resulting software library, Cogito, contains tools for writing programs to be executed on MIMD computers with distributed memory. Difference methods on composite, structured grids are supported. Most of the Cogito classes have been implemented in Fortran 77, in such a way that the object-oriented design is visible. With respect to parallel performance, these tools yield code that is comparable to parallel solvers written in plain Fortran 77. The resulting programs are can be executed without modification on a large number of multicomputer platforms, and also on serial computers. The uppermost level of abstraction in, Cogito concerns the problem of decoupling the numerical method from the PDE problem. The validity of these tools has been preliminarily demonstrated with a C++ implementation for one-dimensional problems.     

类内聚度量研究

类内聚被认为是面向对象软件的重要属性．内聚反应了类中成员相联系的紧密程度．讨论了面向对象范型软件度量的类内聚度量的研究现状．学术界已提出了几种关于面向对象范型类内聚度量，这些度量都是以类中关联成员为度量基础．多数的类内聚度量是基于实例变量访问准则、研究了上述内聚度量，总结定义了两种基本的方法关联准则：属性使用准则和方法调用准则。     

软件复用与Framework框架技术

讲述了软件复用的基本概念和关键技术因素,分析了框架技术的基本概念以及常见的框架系统,并将框架同构件、设计模式进行了比较,最后给出了基于面向对象框架的软件开发过程模型。