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

软件体系结构是软件开发过程中的关键制品,体现了软件设计的早期决策,决定了软件的质量属性,也制约了软件开发项目的组织结构。本文分析了软件体系结构的关键概念、组成及其描述方面的研究工作,根据统一建模语言（UML）的扩展机制,将软件体系结构与当前主流的面向对象软件开发方法相结合,并根据软件体系结构的核心模型,形式化的描述了软件体系机构。     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

浅析几种常见软件体系结构模式

软件体系结构已经成为软件工程领域的一个新的研究方向,软件体系结构的提出对软件重用机制和软件开发效率的提高具有非常重要的意义。软件体系结构的使用是提高软件开发质量、减少软件开销和促进软件生产率提高的最有效方法之一。本文对层次体系结构模式、管道与过滤器模式、映像模式、MVC体系结构模式、PAC体系结构模式等集中常见的软件体系结构模式的特点进行了简单的分析,在做软件开发之前,根据特定项目的具体特点,进行分析比较后选定合适的软件体系结构模式可以减少软件开发的风险。     

软件体系结构思想在医院信息系统分析与设计中的应用

软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一;对软件体系结构的研究也开始超出传统的对软件设计阶段的支持,并逐步扩展到整个软件生命周期。首先阐述了基于软件体系结构的软件开发方法,然后利用基于软件体系结构的开发方法对医院信息管理系统进行分析和设计,最后总结基于软件体系结构的软件开发方法在实际软件开发中的应用特点。     

基于C/S与B/S混合模式的软件体系结构

对软件体系结构进行了介绍,比较了C/S与B/S结构的特点,阐述了实现B/S结构的关键技术.指出在实际设计中可采用C/S与B/S相结合的软件系统结构,并根据C/S与B/S混合软件体系结构的2个模型,给出了实现该种结构的应用实例.     

基于COM技术的三层C/S软件结构开发

针对当前两层软件体系结构存在的问题,分析了软件体系结构三层软件体系结构实现 的必要性,并进一步研究了应用COM技术实现三层软件体系结构.     

一种自适应软件体系结构建模及其实施方法

综合软件体系结构相关领域的研究成果,为实现软件系统的自适应,提出了一种基于软件体系结构的方法,即自适应软件体系结构方法（SASA）。该方法利用基于质量属性场景的软件体系结构分析方法来获得适应性变化的原因和时机,通过质量属性驱动的软件体系结构设计方法决定适应性变化的内容,使用支持变化性描述的软件体系结构描述语言记录上述信息,借助于支持运行时刻软件体系结构的中间件在运行时刻实施指定的适应性变化,以达到面向质量属性的软件自适应目标。该方法通过J2EE平台的一个应用进行了实例研究。     

基于随机进程代数的软件体系结构建模与性能评价

软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效     

基于UML的图书管理系统体系结构模型及实现

探讨软件体系结构与面向对象方法相结合的问题.以一个图书管理系统为例,采用统一建模语言UML对该系统的软件体系结构建模,并使用VB语言实现了该系统.     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

基于根本原因分析的软件测试技术架构

针对传统基于需求的软件测试技术架构存在因需求质量导致漏测问题,提出了一种新的基于根本原因分析的软件测试技术架构,对基于需求的软件测试技术架构进行了优化和补充。利用该测试技术架构指导测试用例的设计和实现,可对软件缺陷进行划分,查找缺陷产生的原因和源头,从而对缺陷进行完整修复,克服由于软件需求自身的问题而导致的漏测现象,提高了发现软件缺陷的手段,保证了软件最终产品的质量。通过工程实际应用,证明了该测试技术架构的可行性和有效性。     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

IA-64中软件数据预取的优化

软件数据预取是一种有效的隐藏存储延迟的技术。IA- 6 4是支持软件数据预取和软件流水的 EPIC(显式并行指令计算 )体系结构。软件数据预取不是一种无损的技术 ,其引入的开销有时会降低程序的性能。提出了降低软件流水中数据预取开销的算法 ,利用旋转寄存器的特性合并具有相同类型的预取操作。在 ORC(open research compiler)中实现了此算法 ,并对 SPEC CFP2 0 0 0基准程序进行了测试。实验结果表明此算法有效减少了冗余数据操作的个数 ,提高了编译器的性能     

GPS软件接收机结构与仿真实现

介绍了GPS软件接收机的基本结构与原理;分析了软件接收机捕获要求,使用频域并行算法作为信号捕获算法;介绍了信号追踪中码同步与载波同步原理与实现。使用Matlab6.5和Simulink进行了GPS软件接收机的仿真。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

基于虚拟仪器的电路板自动测试系统软件设计

介绍了某型声纳装备的电路板自动测试系统的结构和功能,给出了测试系统主控软件和测试子程序的设计与开发方法.主控软件采用模块化的设计思路,融合了作为自动测试系统所具备的各个功能模块;基于被测电路板的功能需要,编写不同的测试子程序,实现了对硬件的设置和对数据分析处理.