开放式网络化自动测试系统体系结构研究

构建一个良好的、遵从标准的体系结构是实现网络化自动测试系统开放性的关键;文章首先通过分析网络化自动测试系统硬件的基本结构模式,建立了基于C/S和B/S混合结构模式的网络化自动测试系统硬件模型;以国际标准为基础,建立了开放式网络化自动测试系统的软件体系结构,从框架模型、功能模型、计算模型多个视角对网络化自动测试系统的软件体系结构进行了建模分析,达到了描述软件体系结构的目的,为网络化自动测试系统的软件开发奠定了坚实的理论基础。     

基于UML的软件体系结构描述方法研究

对基于UML(Unified Modeling Language)的"4+1"视图模型进行描述,从场景、概念视图、过程视图、构件视图、物理视图5个视角完整的描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明:它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

基于UML的多视图软件体系结构描述方法研究

提出一种新的基于UML(unified modeling language)的多视图模型,即“6＋1”视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

基于UML描述的“4＋1”视图模型及应用

由于软件体系结构的描述方法多种多样,各种工具不仅涉及不同领域,而且描述方法不尽相同,给系统选择一种合适工具描述体系结构带来了难度。统一建模语言The Unified Modeling Language（UML）是一种被广泛采纳的可视化建模语言,它对系统结构的共同特征用相关语义、符号、图形加以描述。本文以UML描述为基础,建立软件体系结构“4 1”视图模型,从系统的多个视图描述软件体系结构出发以后提高软件开发效率、平均软件质量与开发周期的矛盾。本文结合“4 1”视图模型给出“综合报警系统”在ROSE2000中的部分实现过程。     

软件体系结构的描述方法研究

目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础－若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言ＵＭＬ的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给     

基于四视图模式的样本选货厅系统的设计与实现

为了提高某书店样本选贷厅系统的软件质量,并降低该项目的开发周期和开发过程中的项目风险,提出了一种基于软件体系结构思想的开发方案.该方案以体系结构为中心,强调软件体系结构的分析和设计,用业务、部署、数据、程序4个视图描述体系结构.根据对业务流程的分析,构造出业务视图,并设计出部署、数据、程序视图,这4个体系结构是可表述的,而且相互关联和影响.项目的实践结果表明了该方案的可行性.     

基于UML的多agent系统软件体系结构建模研究

针对面向agent软件开发方法普遍缺乏对多agent系统软件体系结构的描述的问题,基于UML 2.0规定的两种扩充方式,在UML元模型的基础上增加了描述多agent系统和软件体系结构两个方面特征的建模元素,并用八个视图对多agent系统的软件体系结构进行描述,最后通过实例说明了该方法适用于多agent系统软件体系结构的构造.     

基于体系结构模式的软件系统开发方法研究

描述了基于体系结构模式的软件系统开发方法的基本流程,设计了该方法支持环境的基本框架,对该方法中涉及的体系结构模式引用方式、模式指导下建立多层软件体系结构模型以及根据体系结构模型和构件库对系统进行组装等问题进行了讨论.最后以数据仓库系统开发例,介绍了该方法在软件系统开发中的实际应用.     

基于XYZ/ADL的电梯控制系统体系结构的描述与求精

研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。     

基于ATML的测试程序自动生成系统软件体系结构

针对目前ATS的测试程序主要依靠手工编写的现状,研究了基于ATML的测试程序自动生成系统的软件体系结构;通过对ATML框架结构的系统、深入分析,构建了基于ATML的测试程序自动生成系统的业务模型,以软件体系结构理论为基础,设计了基于ATML的测试程序自动生成系统的软件体系结构的"4+1"视图模型;该软件体系结构在通用机电测试平台的测试程序开发中得到了应用,结果表明,该模型可以为基于ATML的测试程序自动生成系统的开发提供顶层指导。     

基于π演算的软件体系结构测试技术

针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。     

并行自动测试系统硬件结构研究

为实现自动测试系统高效率和低成本,对并行自动测试系统的硬件结构进行了研究,提出了单处理器架构方式下的并行自动测试系统硬件结构;并具体对测试控制器、接口总线、仪器资源以及开关系统等各硬件模块的特点进行了研究,通过分析它们对并行测试的支持,明确了并行自动测试系统设计中的关键技术,可指导系统的实际开发。     

面向软件密集型系统的体系结构可变性建模

软件体系结构提供了软件系统的高层抽象,对于软件密集型系统的开发具有重要意义,基于体系结构层次的可变性管理可以有效地实现软件的定制和演化。目前体系结构层次的可变性建模并没有得到足够的关注,在分析出领域体系结构后,无法很好地实现体系结构的建模,而且体系结构层次可变性建模方法并没有很好地对可变性的复杂依赖关系进行建模。提出了一种基于多视图的体系结构可变性建模方法,基于UML Profile扩展机制,定义了可变性的构造型、标记值和相关的约束,并利用基于分离的可变性建模方法,定义可变点交互视图对系统中存在的依赖进行建模。基于可变性视图和依赖视图分离的可变性建模方法,实现了复杂依赖关系的有效管理,提高了可变性建模的效果。以船舶故障预测与健康管理系统作为研究案例,对该方法进行了验证,结果表明该方法能够有效地实现软件密集型系统的建模。     

Runtime software architecture based on reflective middleware

Copyright by Science in China Press 2004 Since its first literate identification and discussion[1], software architecture (SA) has become an important subfield of software engineering, receiving increasing attention from both academic and industrial communities. SA describes the gross structure of a software system with a collection of components, connectors and constraints[2]. In gen-eral, SA acts as a bridge between requirements and implementation and provides a blue-print for system cons…     

支持流程再造的办公自动化系统平台设计

分析了办公自动化系统的需求,根据需求对系统进行设计。在设计过程中充分利用了角色网络理论,简要给出了相应软件结构模型,并在模型指导下建立办公自动化系统的体系结构,并对角色理论和相应软件平台如何支持OA系统流程再造进行了说明。最后通过实例证明,流程再造及其相关平台对于校园信息化和无纸化办公有着重要作用。     

基于ViewPoint的软件构架描述

软件构架作为系统开发的蓝图,已成为软件工程领域的热点。在软件开发实践中,许多项目更为关注的是软件构架的设计,而忽略了软件构架的描述。事实上软件构架的详细精确描述是成功开发软件的根本保证。文中以UML为构架描述语言,引用IEEE 1471标准中Viewpoint的概念,提出了基于3大Viewpoint的软件构架描述方法。基于Viewpoint的软件构架描述方法有助于开发人员在大型项目开发中从更高层次把握系统构架,从而保证软件开发过程的顺利进行。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。