面向对象方法对象间关系的研究

本文论述了面向对象技术对象间关系作为第一级建模概念的重要性，分析研究了对象间关系在现有面向对象分析，设计以及面向对象有程序设计语言中的描述和表达，针对对象间关系的分析建模和语言实现作了分析，指出了现有典型方法的优缺点，并总结提出了对象间关系描述和实现的要素。     

基于UML顺序图的面向对象软件簇级测试

提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从＊．MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。     

面向对象方法中对象间关系的研究

本文论述了面向对象技术中对象间关系作为第一级建模概念的重要性 ,分析研究了对象间关系在现有面向对象分析、设计以及面向对象程序设计语言中的描述和表达 .针对对象间关系的分析建模和语言实现作了分析 ,指出了现有典型方法的优缺点 ,并总结提出了对象间关系描述和实现的要素     

面向对象程序中方法间分析模型

为了开发串行面向对象程序中对象间的并行性，需要进行方法间的分析，西方给出了类成员变量的表示，概要信息的计算，多态的处理，并在此基础之上进行了同一执行环境下对象方法的依赖关系分析。     

面向对象簇级测试中类间测试序确定方法研究

通过对传统的对象关系图进行扩展，提出了EORD图和WORD图的概念．在确定类间测试序时，把需要生成的存根数目作为优化目标，还定义了联系强度、成环权重、边向因子等启发式规则，并将此作为剪去关联边破除环路的重要准则．分析目前已有算法的优缺点，提出了我们的确定类间测试序的AICTO算法．该算法首先着重处理环偶对中的关联边，较大地提高了算法效率，还具有创建存根时涉及到的类的数目少、能保留关联强度大的边和稳定性好等优点，并在原型系统CppTest中进行了实现．     

基于UML顺序图的面向对象软件簇级测试用例生成

本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从＊．MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。     

混合遗传算法在面向对象软件集成测试中的应用

提出了一种在面向对象软件集成测试中确定类间测试序列的混合遗传算法。该算法在基本遗传算法的基础之上增加局部搜索以增强局部搜索能力,以及使用缓冲池以减少运行时间。实验结果表明,该算法的性能优于现有的其他方法。     

面向对象簇级测试方法IPI的改进

本文首先介绍基于规格说明的一种面向对象簇级测试的动态方法IPI，然后对其作了改进，并且设计了一种原型系统以实现改进后的算法。     

基于扩展对象关系图的集成测试研究

测试顺序是面向对象软件集成测试中的一个重要问题。本文提出使用扩展对象关系图作为测试模型研究面向对象软件集成测试顺序问题,并给出计算测试顺序的算法以及设计测试用例的策略。     

支持对象间关系的程序设计语言研究

在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后,该文设计并实现了显式支持对象间关系的RCPP(relational C++)语言.它提供了显式描述对象间关系特性和语义的机制,利用关系来动态地控制对象行为的作用和传播.它的运行是通过一个转换器把RCPP代码翻译成C++代码,再经C++环境编译后,形成可执行程序而实现的.文章对RCPP语言的模型、语言提供的服务以及具体系统的描述和实现作了深入阐述.     

面向对象程序复杂性度量层次模型

程序复杂性度量可以实现定量地分析程序复杂性,从而为估计成本提供一个标准。为了度量面向对象程序复杂性,在讨论了度量的定义．度量的理论基础后,提出了一种面向对象程序复杂性度量的层次模型。该模型分成5个层次：系统层、类簇层、类继承树层、类层和方法层,每个层次都有自己的度量方法。采用这种分层度量模型的好处是：它是一个框架,各度量方法归属到各层中;各层之间相互独立;一层中方法的修改并不影响其它层。     

面向对象XML的对象迁移方法研究

针对面向对象的XML数据的对象迁移问题,提出基于集中式和分布式两种存储模式下的对象迁移方法,解决了对象标识符模糊性问题。集中式存储模式对象的OID是唯一的,但是在集中式存储模式中更新已存在的对迁移对象的引用代价很大;分布式存储模式对象的OID是多重的,但对象迁移的代价相对较小。     

面向对象软件测试的蜕变关系构造方法

针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与GFT算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66%,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率。     

基于拉力算法的面向对象程序结构可视化研究

面向对象程序整体结构及其特性的逆向分析和可视化在软件维护、软件重用等过程中起着重要作用。现有的逆向工程工具尽管可以通过对程序代码的静态分析自动获取类模型,但是在自动布图方面仍存在一些明显的问题,特别是难以直观展现类之间的耦合性、聚集效应等程序整体结构的重要特性,从而影响其实际应用。Force-Directed Layout算法能够自然展现复杂结构的耦合关系和聚集现象,因此,将其应用于类图的逆向生成,使其在充分展示程序整体结构的同时,清晰展现类之间的耦合性和聚集效应等结构特征,为软件结构演化分析、缺陷分布分析等提供辅助支持。据此,开发了软件分析与测试工具系列QESat的子工具——基于拉力算法的类图可视化工具QESat/FCD（QualityEasy-Software Analysis and Testing Tools：Force-Directed Class Diagram）,通过实例展示了其在大型类图结构特性方面的展现效果。     

基于页面对象的Web应用测试用例生成方法

针对Web应用测试用例生成过程中导航图规模过大以及存在冗余测试路径的问题,提出了一种基于Selenium页面对象设计模式和图遍历算法的Web应用测试用例生成方法。首先,通过将原始页面对象进行分类,以导航页面对象类为节点、导航方法为迁移边构建页面对象导航图;其次,结合图的最短路径算法提出了一种页面对象图算法（POGA）来遍历导航图以生成测试路径集;最后,提取测试路径,利用Faker生成模拟数据,进一步生成可以直接执行的测试用例。实验结果表明：与爬取Web应用生成导航图的规模相比,该方法约简率约为89%;与基于状态迁移生成Web应用测试用例的方法相比,该方法减小了冗余和不可行路径的数量,并进一步提高了页面对象的复用率和测试用例的可维护性。     

基于随机游走模型的物体识别

针对传统物体识别算法中只依赖于视觉特征进行识别的单一性缺陷,提出了一种结合先验关系的物体识别算法。在训练阶段,通过图模型结构化表示先验关系,分别构建了图像-图像、语义-语义两个子图以及两子图之间的联系,利用该图模型建立随机游走模型;在识别阶段,建立待识别图像与随机游走模型中的图像节点和语义节点的关系,在该概率模型上进行随机游走,将随机游走的结果作为物体识别的结果。实验结果证明了结合先验关系的物体识别算法的有效性;提出的物体识别算法具有较强的识别性能。     

面向对象软件的测试评估

软件测试的目的是发现错误,而不是确认其正确性,是为了增强人们对软件能够按照需求者的期望正确运行的信心,因此需要对软件测试质量进行度量.由于面向对象软件所具有的特性,面向对象软件的测试的度量相对于在过程测试中的测试度量已经不再适应.利用切片和领域的概念,通过多层次的测试度量来对面向对象软件的测试进行评估,该方法能够为改进对面向对象软件系统的测试过程和测试策略提供帮助.