构件化软件系统缺陷的正交分类

构件技术越来越多地应用于软件系统中,了解这类软件系统中可能存在的缺陷及其详细信息,可以对这类软件系统进行有效的分析和测试。为此我们应用正交缺陷分类方法定义了构件化软件系统缺陷类型、缺陷来源、缺陷等级和缺陷状态四种属性。通过对构件化软件系统缺陷类型的了解,把正交缺陷分类方法应用在软件开发过程中,能够较好的预防引入同类缺陷;在软件测试阶段,利用正交缺陷分类方法,设计测试用例发现缺陷,提高构件化软件系统的质量。     

基于Catalysis的面向构件建模方法研究

介绍了基于Catalysis应用面向构件建模方法进行系统分析、设计、建立系统模型的简洁方法。通过对集团型全面预算管理系统的建模过程，给出了该方法的应用细节，将基于构件的软件开发和企业级应用的特点结合起来，给基于分层结构的企业级软件系统的开发以明确的指导。     

基于动态构件框架的构件演化

软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化。软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护。软件演化包括软件系统的过程、方法、技术、组织方式等的演化。基于软件构架和构件的开发方法实现的系统比传统的开发方法具有更好的易演化性。软件构架高度抽象地描述了软件系统的结构,包括系统元素的描述、元素之间的交互、用于指导元素复合的模式和这些模式的约束。我件是组成构架的基本元素,是对系统应用功能的实现;构件封装了功能性,有着自己的内部状态信息;构件的实现是异质的（可以用多种语言实现）,而且在系统实现中可能使用的是第三方提供的构件。基本构架和构件的系统可以有两种方式的演化：一是整体构架的演化,重组系统的构架,增加、删除系统的构件,修改构件之间的拓扑结构;二是系统中单个构件的演化,着眼于系统的单个构件,修改构件的接口、功能。本文着重于研究构架构件系统中构件的演化,对系统使用的构件进行演化,在不修改系统中其他的构件,保持构件之间的基本连接拓扑结构不变的情况下,将演化后的构件替换系统中的原有构件,实现对系统功能的修改。     

基于构件的软件可靠性分析

现代软件工程的一个重要目标是实现聚合性和重用性，构件技术就是以此为目标的。随着该技术的快速发展，以构件设计复杂软件系统的软件开发方法日趋成熟。但是基于该技术的软件可靠性分析却比较落后。目前，在这领域的研究中，多数是使用软件可靠性增长模型（SGRM），对于软件系统的可靠性预测研究较少。在已有的文献中，给出了基于组件的具有层次结构的系统可靠性预测分析，但没有考虑模块之间循环调用的可靠性问题。循环调用在软件中是经常发生的事件，对软件系统的可靠性具有举足轻重的作用。本文在对已有模型的不足进行分析后，增加了循环调用的可靠性预测分析，建立了一个较为全面的系统可靠性预测分析模型。     

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

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

基于构件的软件演化波及效应分析

随着新技术的采用和系统环境的变化,构件和软件系统的演化在所难免,演化会影响系统的整体行为。分析了基于构件的软件系统中的耦合性对演化波及效应的影响,对软件系统中构件内部各种依赖关系、构件与连接件之间的各种耦合关系进行矩阵表示,提出一种能够防止波及效应扩大化的软件系统动态演化的波及效应方法,实现了对软件系统的构件和连接件的演化波及效应研究。在基于构件的软件系统的动态演化中,可以根据波及效应的分析获得需要进行重新修改或演化的构件和连接件,从而保证动态演化的一致性和连续性。     

一种基于分布构件装配元信息动态重构的表示方法

动态重构技术使得软件系统自身进行演进的同时，仍然能够提供服务。本文提出了一种基于构件装配元信息的动态重构操作的表示方法。该表示方法以Jeff提出的动态重构系统设定为基础，采用集合来表达构件应用中的构件、连接子和节点，为动态重构规划的生成以及等价性验证等提供了量化方法，并在基于CORBA构件模型的StaCCM分布构件平台中加以实现。     

一种基于运行时交互约束的COTS构件集成测试用例生成方法

COTS(Commercial Off-The-Shelf)构件的源代码不可得,而且规约通常缺少交互语义信息,使得集成了COTS的构件软件系统无法采用基于源代码和基于规约的集成测试用例生成方法.提出基于运行时交互约束的COTS构件集成测试用例生成方法.方法在构件软件系统的初始功能测试用例执行过程中,获取COTS构件在系统上下文环境中的运行时接口交互约束信息,建立COTS构件与系统中其它构件的交互约束模型,根据建立的构件交互约束模型生成集成测试用例.当替换、更新集成的COTS构件时,采用生成的集成测试用例验证重新集成的COTS构件与系统其它构件交互的正确性.实现方法的自动化工具原型,并采用真实的系统实例对生成的测试用例的有效性进行了初步评估.     

基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

一种面向OSGi的构件化软件再工程方法

面向服务的构件模型可以解决当前大型软件系统难于管理、维护困难和缺乏动态性等问题,而OSGi框架为基于构件系统的服务化开发提供了有力支持。把OSGi作为基础框架对遗留软件系统进行再工程,设计了OSGi化软件的总体框架,提出了软件系统构件化方法,并针对再工程过程中普遍存在的问题给出了相应的解决方案。最后,通过对Web容器再工程的实例研究,验证了面向OSGi的构件化软件再工程方法的有效性。     

基于随机Petri网的软件可靠性分析

文章介绍了一种基于随机Petri网、在软件体系结构设计阶段对构件化软件进行可靠性早期分析的方法.该方法建立起的模型可以很好的描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为分析系统运行一定时间后的可靠性情况提供了有利的手段.     

基于构件的网构软件系统动态演化

为适应网构软件系统在线演化的需求,提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位,基于软件体系结构部署和实施演化,给出构件添加、删除和替换需求的演化算法,通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性,软件系统无须进行大量的改动即可适应该演化模型。     

基于构件的开放式网络化自动测试技术研究

针对当前网络化自动测试系统的软件复用局限于代码复用的问题,提出基于构件的开放式网络化自动测试系统软件开发方法,实现测试软件的更高层次复用。引入领域工程的思想,将软件开发过程划分为三个阶段：领域分析阶段运用UML建模语言对网络化自动测试系统进行需求分析、静态分析和动态分析;领域设计阶段完成可复用构件的辨识和提取,并建立可复用构件框架模型;领域实现阶段对关键的可复用构件进行实现。     

一种基于事务构件的ERP系统集成方法

本文首先对各务构件的概念进行了讨论,然后设计了一种事务构件模型,提出了一种基于此模型的ERP系统集成方法,这种方法支持跨平台、跨语言的软构件的集成,可以复用已存在的软件系统或软部件。     

基于UML的构件检索

基于构件的软件开发（CBD）是当前大型软件系统开发方法的主流,而CBD的基础是构件库及其检索方法。目前主要采用从领域梃型中获得特定领域知识辅助用户进行构件检索,但缺乏较好的领域模型表示方法。本文对使用UML表示领域模型进行了研究,提出了一个利用UML和领域词典中的领域知识辅助用户刻画领域、扩充和求精初始查询、形成用户的构件需求并指导构件库检索,通过行为相似性确定构件的构件检索方法。该方法增强了用户对领域知识的了解,在检索过程中充分考虑了与构件相关的领域知识、检索上下文以及用户的意图,可对结果集进行有效筛选评优,极大地提高了查全率、查准率及用户的满意度。为了验证该方法的可行性和有效性,设计并实现了一个高效的构件检索环境。     

基于构件的软件性能模型及评估技术研究

该文讲述了在基于构件的软件开发中,建立应用系统的性能模型,以及对系统的性能进行预测和评估的方法,并介绍了构建一个满足预期性能目标的软件系统的步骤。     

基于Eclipse的构件配置部署插件模型

基于构件的软件开发逐渐成为创建大型可扩展系统的一种重要开发方式,同时对基于构件的软件系统的灵活性和适应性要求也越来越高;能够动态部署的构件系统可以满足这种不断增长的需求。文章介绍了基于Eclipse的构件配置部署的插件模型。能够在系统运行时动态地添加、删除和替换构件,对构件开发者透明,减轻了构件开发者的负担。     

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

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

使用Pi演算的构件交互可信性验证模型

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。     

基于软件构件的表面缺陷检测软件开发

针对表面缺陷检测领域软件开发中存在的问题,本文分析了检测过程中存在的共性技术问题,按照软件工程的思想,建立了基于构件的表面缺陷检测系统软件开发模型,实现了表面缺陷检测领域构件的抽取及开发,解决了该类软件开发中的复用问题。