软件体系结构讲座（七）软件体系结构的语言问题

本讲讨论为什么同软件体系结构相关的有一个语言问题、对软件体系结构描述语言的要求,如何对已有语言进行增补使之支持某些体系结构构造,等等。主要内容来自第7章。     

典型软件体系结构切片方法的研究

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.该文从软件体系结构的主要构成、形式化表示、静态切片和动态切片、前向切片和后向切片以及切片的应用等方面为基本思路,对该领域中已提出的主要研究方案进行了分类阐述和比较分析,总结了其最新研究进展,为下一步的研究提出了新的课题和设想.     

软件体系结构分析与评价方法评述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发和产品线开发中的关键技术.体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策.从软件体系结构的概念出发,分类介绍了体系结构描述的不同观点,评述了国内外有代表性的分析评价方法和工具.最后探讨了软件体系结构分析评价研究中存在的不足及其原因,作为总结,给出体系结构分析评价未来的发展方向.     

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

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

软件体系结构研究综述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.     

软件体系结构测试覆盖准则研究

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。     

面向服务软件体系结构的XML描述和构造

介绍一种新的基于XML的用来描述服务软件体系结构的体系结构描述语言S-XADL.S-XADL规约采用XML作为元语言,集成了相关的UML 2.0 Profile规则、OCL语言和MSC表示法,除具备描述软件系统高层结构的能力,还为定义服务的交互集成模式和把服务映射到目标构件配置提供了建模元素.提出一个三阶段的软件体系结构迭代改进过程,该过程把服务视为首要的类建模元素,并认为服务是横切体系结构的方面.给出一个使用MVC模式的运行实例的面向服务体系结构建模,用以展示该方法的可行性和有效性.     

生物信息领域软件体系结构的研究与应用

生物信息领域软件体系结构是生物信息领域应用软件系统中构件及构件关系的描述。依照域工程的方法过程,分析了生物信息应用领域,给出了领域概念模型。随后以领域概念模型为基础分别提出了独立系统和开放分布式系统的生物信息领域软件体系结构参考模型,最后简要介绍了应用实例,并提出了一些领域内有待研究的问题。     

新型软件体系结构研究

软件体系结构的研究成果显著,已经总结和提炼了一批经典的软件体系结构风格,并得到了广泛应用。但不能有效满足和适应当前日益复杂和千变万化的需求,需要适时趣从理论上作更深入的研究和提出一些新的软件体系结构风格来支撑。本文对软件体系结构研究的新动向和新兴的体系结构风格进行了总结和比较,并就当前的研究现状给出了几点思考,指出层级理论是构建复杂软件体系的基本原则,模型比语言更具有描述大型复杂系统的优势。     

软件体系结构的发展与研究

该文介绍了软件体系结构的概念、目前的研究方向、几种软件体系结构风格和它们各自的优缺点,分析了用软件体系结构指导软件开发的优点,最后介绍了软件体系结构的理论在一个实际应用系统的设计开发中的运用。     

起动机性能测试系统体系结构设计及组件开发

采用“软件体系结构 组件技术”模式开发应用软件,能够提高开发质量,加快开发速度,保证开发的连续性和良好的可维护性。针对当今起动机性能测试软件存在的不易扩展性,本文首次提出将软件体系结构和组件技术引入到测试系统中,并着重介绍了该技术在系统应用软件开发中的实现。实验运行结果表明,该系统可靠性高,易于扩展和重开发。     

基于软件结构的最优测试工作量的分配方法

现代社会越来越依赖于稳定的软件系统的运行;除此之外,尽管这些软件系统的规模和复杂度越来越高,但是必须达到很高的系统稳定性,且必须降低进一步开发和维护所需要的资源。为了减轻软件开发的挑战性,需要一种有效的方法来引导软件系统中资源的分配。提出了一种根据每一组件对系统稳定性的贡献来确定每一组件所需分配的工作量的方法,从而在工作量最小的条件下达到一定的系统稳定性。假设组件对系统稳定性的影响主要包含两个方面的因素:系统结构和组件的可靠性。这种描述方法被称为基于结构的测试量分配优化方法,因为其在测试量分配过程中考虑了系统的结构。验证结果表明这种基于结构的优化方法比其他测试量分配策略更有效。     

基于体系结构的测试方法研究

鉴于基于代码的软件集成测试和基于设计说明的软件集成测试存在的问题,研究了基于软件体系结构的集成测试方法,并阐述了根据软件测试准则和McCabe技术生成测试计划和测试用例的原理。     

浅谈ERP软件系统架构的开发与应用

本文结合企业计算机管理系统的体系结构，详细给出了软件的体系结构、系统配置以及网络设计，同时以文档数据库＋关系数据库的模式．给出了构筑企事业单位信息系统的实施方案。     

浅谈ERP软件系统架构的开发与应用

本文结合企业计算机管理系统的体系结构,详细给出了软件的体系结构、系统配置以及网络设计,同时以文档数据库 关系数据库的模式,给出了构筑企事业单位信息系统的实施方案。     

基于软件体系结构的测试及其工具研究

1 引言软件体系结构层测试的目的是找出体系结构的错误和缺陷,这与传统测试有很大的不同。SA测试分为体系结构的静态测试(即体系结构分析)和体系结构的动态测试(即体系结构模拟)两个方面。前者是对体系结构的静态行为特征进行分析,如各类一致性分析等;后者是对体系结构的动态行为特征进行模拟。 SA中的结构模式提供了一个设计和分析大型软件系统的自然框架,也为可重用的构件提供了组合成系统的规则。通过对软件体系结构的描述,使得复杂系统的测试与分析变得     

模型检验软件体系结构研究与进展

软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法,采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比,模型检验有其自身的优势。为此,越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状,剖析了影响软件体系结构模型检验的因素,给出了软件体系结构模型检验的未来主题。     

卫星测控站监控系统软件结构的研究与实现

测控站监控系统由于系统规模小、设备复杂,缺少商业化控制软件的支持,因而建造成本高,周期长,缺少灵活性和扩展性,系统维护困难。不适应航天技术发展的需要。通过分析测控站监控与一般工业控制的差别,借鉴组态软件设计思想,设计面向对象的设备对象模型和显示模型,为设备对象定义设备参数、数据处理函数、通信接口参数等属性,为显示元素定义静态和动态的图形属性、显示方法以及与设备对象的关联。依据配置文件,在运行时,生成设备对象。完成设备数据的接收、处理和控制;每个显示配置文件形成一幅显示画面;显示元素通过关联的设备参数更新显示属性。这种方法为在特定领域内构建监控系统提供了经济实用的解决方案。