构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

基于元数据和UML的构件测试用例生成技术研究

概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。     

元数据在构件软件测试用例生成中的应用研究

首先分析了构件测试的基本过程，在对元数据的基本概念进行概述的基础上，给出了用例元模型、测试用例元模型以及用例到测试用例的转换．构造了元数据的组成元素，以及嵌入该元数据后的测试模型，最后，给出了一个用上述方法实现的一个实例．     

基于耦合测试信息元数据模型的构件集成测试

文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效.     

一种基于构件的回归测试用例选择方法

构件的使用给大规模软件系统开发带来了很多方便,但构件测试仍然是软件工程中很难解决的问题.由于构件使用者对构件内部结构及变更信息缺乏了解,因此很难进行有效的回归测试用例选择.针对这一问题提出了一种回归测试用例选择方法,通过论述及实验分析,初步证实了所提出的方法在实际中的可行性和有效性.     

一种基于构件的回归测试用例选择方法

构件的使用给大规模软件系统开发带来了很多方便．但构件测试仍然是软件工程中很难解决的问题。由于构件使用者对构件内部结构及变更信息缺乏了解,因此很难进行有效的回归测试用例选择。针对这一问题提出了一种回归测试用例选择方法,通过论述及实验分析．初步证实了所提出的方法在实际中的可行性和有效性。     

用于构件集成测试的分层元数据的设计与实现*

在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求.设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的实现思想.最后结合一个描述构件硬件运行环境的元数据实例,给出了相关的XML代码.     

模型检验在构件数据流测试中的应用

模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。     

基于领域本体的构件自动化组装原形系统

介绍了领域本体的概念,分析了构件自动化组装的阶段和方面,给出了一个基于领域本体的自动化构件组装原型系统（ontology based automated assembly system,OBAAS）,介绍了系统整体框架,并对该系统的基于领域本体的构件分类引擎,构件检索匹配和构件接口匹配验证模块的实现思想进行了详细说明,给出了利用朴素贝叶斯分类方法在领域本体基础上对构件的分类的算法、基于领域本体的构件检索和匹配算法,以及部分数据结构的描述。     

构件分层元数据对象参考模型的设计

在概述构件元数据的基本定义基础上,引入了分层元数据对象的概念,将其分为描述性元数据和操作性元数据两种类型,进一步对其中的具体内容按照层次概念进行了详细描述,并给出了其形式化定义.基于此,用UML的类图给出了构件元数据对象的形式化描述,并结合构件使用方对元数据系统的需求,给出了一个分层元数据系统的结构框架.     

构件软件变更风险分析技术

构件软件相较于传统软件系统有更快的演化速度,对其变更进行有效的度量将有利于后期的维护活动.本文分别针对代码可见及不可见两种类型的构件,运用改进的构件依赖图建模,表示构件软件系统.分两步分析构件变更所带来的风险:首先在计算变更比例的基础上度量单个构件的变更风险,再通过将构件依赖图转化成构件依赖树来计算变更的构件集给系统所带来的风险.此外,结合实例系统的分析给出了所提出的变更风险度量的若干性质.     

软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

嵌入式软件中一种修正QoS值的构件选择方法

CBSD(Component-Based Software Development)已经成为嵌入式软件开发的主流技术。在嵌入式环境下,有大量功能相似的构件,在开发过程中基于QoS的构件选择已成为研究热点。然而这些构件的QoS声明与提供者给出的往往并不一致。为此,提出一种基于修正QoS值的构件选择方法,该方法将QoS信任度作为权重,修正QoS值,再结合模糊逻辑,推理出该构件的综合服务能力。通过嵌入式VOD仿真实验,验证了算法的有效性,保证了构件选择的客观性和准确性。     

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

Building a distributed system from third-party components introduces a set of problems, mainly related to compatibility and communication. Our existing approach to solve such problems is to build a centralized adaptor which restricts the system’s behavior to exhibit only deadlock-free and desired interactions. However, in a distributed environment such an approach is not always suitable. In this paper, we show how to automatically generate a distributed adaptor for a set of black-box components. First, by taking into account a specification of the interaction behavior of each component, we synthesize a behavioral model for a centralized glue adaptor. Second, from the synthesized adaptor model and a specification of the desired behavior that must be enforced, we generate one local adaptor for each component. The local adaptors cooperatively behave as the centralized one restricted with respect to the specified desired interactions.     

基于JavaBeans的软件构件复用技术研究

软件构件技术作为一种软件复用技术，旨在解决软件系统开发所面临的困境。大多数构件组装工具都是基于某种特定的构件模型，选取JavaBeans 构件模型作为研究对象，分析了其与软件复用相关的特征，探讨了其对软件复用的支持程度，并对其中的一些特征进行了扩展。     

Failure-free coordinators synthesis for component-based architectures

One of the main problems in component assembly is how to establish properties on the assembly code by only assuming a limited knowledge of the single component properties. Our answer to this problem is an architectural approach in which the software architecture imposed on the assembly prevents black-box integration anomalies. The basic idea is to build applications by assuming a “coordinator-based” architectural style. We, then, operate on the coordinating part of the system architecture to obtain an equivalent version of the system which is failure-free. A failure-free system is a deadlock-free one and it does not violate any specified coordination policy. A coordination policy models those interactions of components that are actually needed for the overall purpose of the system. We illustrate our approach by means of an explanatory example and validate it on an industrial case study that concerns the development of systems for safeguarding, fruiting, and supporting the Cultural Heritage.     

Integrated model for software component selection with simultaneous consideration of implementation and verification

One important objective of component-based software engineering is the minimization of the development cost of software products. Thus, the costs of software component implementation and verification, which may involve substantial expenses while under development, should be reduced. In addition, the costs for these processes should not be considered individually, but in an integrated manner, to further reduce development cost. In the current paper, an integrated decision model is proposed to assist decision-makers in selecting reuse scenarios for components used for implementation and in simultaneously determining the optimal number of test cases for verification. An objective of the model is the minimization of development cost, while satisfying the required system and reliability requirements. The Lagrange relaxation decomposition (LRD) method with heuristics was developed to solve integrated decision problems. Based on LRD, the nonlinear model is condensed into a 0–1 knapsack problem for the subproblem on reuse scenario selection and an integer knapsack problem for the subproblem on the determination of the optimal number of tests. Combined with the Lagrange multiplier-determined heuristic, the proposed algorithm can determine the global optimum solution. Simulations of varying sizes for problems and sensitivity analyses were conducted, and the results indicate that LRD is more effective than previous methods in determining global optimal solutions for the integrated decision problem.     

一种基于CBD的软件测试方法

基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研完,提出了CBD软件的测试样式,通过构件规格说明构架和构件交互图对构件间交互关系建模,并在此基础上给出了构件软件系统的测试技术和方法。     

重用部件的建模和管理中若干问题的研究

部件重用技术得到了广泛的应用,其中部件的建模和管理是关键的技术内容。该文从部件的描述与存储这两个建模问题以及部件的检索与重用度度量这两个管理问题出发,给出了相应的解决方案,这些模型和算法已经在实际的应用系统或原型系统中得到了体现和初步验证。