构件功能行为测试的研究

由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试.     

基于状态的EJB构件集成测试

针对构件源代码的不可知性问题，该文提出了从构件规格说明、接口中提取两类测试信息，生成构件状态测试用例，通过测试这两类“测试信息”进行构件属性分析和状态判定，通过“属性-状态”依赖关系，划分属性关联关系中理想状态空间，并构造测试树，利用不同的覆盖准则生成测试用例。     

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

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

构件式实时系统建模与验证研究

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.     

面向测试的构件系统模型及测试用例生成方法

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。     

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

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

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。     

基于逻辑推理的构件行为片段提取与重组研究

从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。     

运用切片技术和模型检验进行构件接口测试

为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。     

基于场景构件式实时软件设计的一致性检验

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.     

基于构件的测试脚本复用技术研究*

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构件自动生成、验证及不同测试语言之间的自动转换。     

构件模型研究综述

基于构件的软件复用被认为是解决软件危机的重要手段,而描述构件本质特征及构件组合的构件模型是实现构件复用的关键技术。本文分析和研究了现有的构件模型,并根据构件接口和构件组合方式对各个构件模型进行了分类比较;结合已有的研究成果,展望了构件模型未来研究方向。     

一种面向对象的软件复用框架

本文利用面向对象技术,提出了一种面向对象的软件复用框架,该框架采用面向对象的类来实现构件,为了提高构件库的组织管理效率,采用为构件库建立多个索引链等策略,构件检索采用模糊查询和详细查询的两个阶段来实现,构件集成采用基于星型拓扑结构的构件集成方法。     

基于刻面描述的构件查询匹配模型及算法研究

在软件复用研究不断深入的情况下，软件构件库的管理研究得到了产业界与学术界越来越多的重视．作为构件库管理的两个核心技术，构件的表示与检索技术已经成为研究热点，其中基于刻面描述的构件相关应用得到了广泛研究，针对构件查询的特点，结合模式分析中的树匹配思想，提出了新颖的构件树路径包含匹配模型及其相应的构件查询匹配算法，该算法可以在保持构件查准率的前提下，有效提高构件的查全率，算法的时间复杂度和空间复杂度是线性的，实验表明具有良好的查询效率．     

Component Verification with Automatically Generated Assumptions

Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying properties of software components is to check them for all possible environments. In reality, however, a component is only required to satisfy properties in specific environments. Unless these environments are formally characterized and used during verification (assume-guarantee paradigm), the results returned by verification can be overly pessimistic. This work introduces an approach that brings a new dimension to model checking of software components. When checking a component against a property, our modified model checking algorithms return one of the following three results: the component satisfies a property for any environment; the component violates the property for any environment; or finally, our algorithms generate an assumption that characterizes exactly those environments in which the component satisfies its required property. Our approach has been implemented in the LTSA tool and has been applied to the analysis of two NASA applications.This paper is an expanded version of Giannakopoulou et al. (2002).     

基于软件体系结构的可复用构件模型*

在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用.     

基于COM的软件组件

先引入组件对象模型,然后简要阐述组件的结构及实现,包括COM对象和接口IUnknown接口、COM对象的创建、组件与客户之间的通讯。最后,用VC＋＋中的ATL创建一进程内组件,用VB调用其功能服务。     

基于MMF的互操作性软构件库管理模型的研究

提出了一种基于MMF的互操作性软构件库管理模型。该软构件库管理模型能够保证现有的异构软构件库之间的互操作性,增强了构件库管理软构件的能力,并且大大提高了构件库中所管理的软构件的重用度。     

构件检索维度匹配模型及算法研究

随着构件复用研究的深入和构件库规模的扩大,构件的描述、检索及适配技术成为当前研究的热点。然而传统的构件描述与检索方法存在查准率和查询效率低,查询结果也不利于下一步构件适配的问题。针对这些问题并结合分而治之和树匹配思想,提出了一种新的易扩展的维度匹配模型,并给出了相应的构件检索匹配算法,有效提高了构件的查询效率和查准率,缓解了适配的压力;且该算法的时间复杂度和空间复杂度是线性的。