机器学习赋能的软件自适应性综述

软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中,有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概率图模型、规则学习等机器学习算法进行问题建模与求解,并以此构造软件系统自适应机制.将其称为机器学习赋能的软件自适应性.通过系统化的文献调研,综述了该研究方向的前沿工作:首先介绍基本概念,然后分别从机器学习、软件自适应的视角对当前工作进行分类;按机器学习算法、软件对外交互、软件对内控制、自适应过程、自适应任务和学习能力的对应关系等方面进行分析;最后对未来的研究进行展望.     

可与iFIX一体化集成的EMS高级应用软件系统的设计与应用

高级应用软件的开发和维护是构建钢铁能源管控系统(EMS)的重点内容,为提高其功能模型的开发、组态、调试和维护效率,设计开发了一种基于图形化组态的高级应用软件系统,可兼容iFIX等工控行业常用的监控软件平台。介绍了该软件系统的系统结构特点、算法及实现方法。工程应用表明,该软件系统能与iFIX监控软件实现一体化集成,开发周期短、系统开放性好、运行稳定,易于组态、调试和维护。     

一种基于结构查询的UML设计模式识别方法

随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模型片段。幸运的是,设计模式的普遍应用为我们快速、高效地理解和定位模型提供了一条重要的线索。然而,随着技术的发展,设计模式数量在不断增长,其自身在应用中的结构也在微妙变化,这些都给相应查询和识别工具的开发带来一定的困难。文中从查询和匹配UML模型中特定结构的角度入手,利用UML自身特点设计相应查询算法,通过分析和理解设计模式的结构特征,从UML模型中查询相应的设计模式,以达到灵活和高效地理解软件系统的目的。     

软件质量模型的研究

如何提供高质量的软件已成为计算机软件领域中的重要研究课题。为了理解、度量以及预测软件和信息系统的质量，人们围绕软件质量模型展开了很多研究。一个合适的软件质量模型对软件系统的开发与评价将起到关键作用。本文介绍了软件质量与软件质量度量的基本概念，重点分析了软件质量模型方面的研究成果。     

基于组件的虚拟仪器软件系统设计

本文介绍了组件技术和虚拟仪器软件系统,讨论了采用组件技术开发软件的优势,并结合组件技术模型设计了一种虚拟仪器软件系统基于组件的应用模型。     

基于组件的虚拟仪器软件系统的设计

本文介绍了组件技术和虚拟仪器软件系统,讨论了采用组件技术开发软件的优势,并结合组件技术模型设计了一种虚拟仪器软件系统基于组件的应用模型。     

基于组件的虚拟仪器软件系统设计

本文介绍了组件技术和虚拟仪器软件系统，讨论了采用组件技术开发软件的优势，并结合组件技术模型设计了一种虚拟仪器软件系统基于组件的应用模型。     

软件开发模型研究：发展、问题与挑战

在信息资源的开发中,软件是最重要的基础设施,软件开发是最重要的组成部分。介绍了软件开发模型研究的现状与发展,深入分析了各类开发模型存在的问题、环境适应性以及在开放环境下遇到的挑战,从软件系统开发问题复杂性角度出发,提出了相关问题的思考。     

协同状态网及其在软件建模和分析中的应用

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻“银弹”式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。     

遗产软件系统的重构过程

本文首先介绍了软件遗产的相关概念,并给出常用的软件遗产开发模型;然后,分析了软件遗产开发中所要解决的主要问题,详细介绍了一种进行程序理解的方法一簇分析法;最后说明了在程序理解的基础上如何对遗产软件进行重构。     

协议状态机推断技术研究进展

介绍了协议逆向工程中协议状态机推断的研究进展.从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推断分为主动推断和被动推断两种;研究分析了各层面涉及到的方法与技术,并作出了评价与比较.最后对协议状态机推断研究的发展趋势进行了展望.     

一个支撑软件维护的工具-PCMAKE

本文介绍的PCMAKE,是一个在IBM PC-XT/DOS环境下开发的,实现软件自动维护的工具。文中从软件工程的角度论及PCMAKE的设计目标与思想,并讨论了它的功能特点、技术要略及其所依赖的描述文件的构成规则。该工具可维护用PASCAL、FORTRAN、C以及汇编语言设计的软件系统,为在PC机上开发较大型软件提供一个方便灵活的维护手段。     

生成式程序设计研究概述

随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U．Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计：基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分：问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期：一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。     

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

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

超图模型:基于超图的设计模式描述和复用实现

设计模式描述了面向对象软件设计的经验,是软件复用的关键技术。由于设计模式涉及范围广泛而且抽象,即使模式本身并不深奥,因其表示或描述隐晦,在软件开发中难以理解和实现复用。文章提出了超图模型,即基于超图的设计模式表示,并对其在软件系统开发中的复用进行了分析研究。对基于设计模式的软件系统构建进行了探索。     

中小团队软件开发规范性研究

随着信息化的发展,中小团队所开发的软件系统在在社会应用中越来越占有重要的地位,但是中小团队在开发软件中没有相关的软件开发标准。从而导致软件开发成本的提高及维护的困难。本文基于CMMI相关标准,对软件软件需求、界面开发、命名、测试等方面进行了研究与探讨,并提出了一些相应的方法。通过相关项目证明,中小团队在软件开发规范化方面具有一定的理论意义和实用价值。     

克隆代码技术研究综述

软件系统中克隆代码的检测与管理是软件工程中的基本问题之一, 在软件的质量、维护、架构、进化、专利和剽窃等众多领域有着广泛的应用需求。综述了克隆检测的过程、技术及其优缺点、克隆进化方向上的相关研究, 以及克隆管理的一些技术, 并特别介绍了克隆重构技术。最后概括了该领域所取得的研究成果, 并讨论了目前克隆代码研究中所遇到的挑战性问题。     

用于软件维护的集成生存期模型

本文提出一个用于软件维护环境的集成生存期模型,它有助于维护人员修改现有的软件系统,为工具自动化提供了基础。该模型用来表示软件系统开发和维护信息,主要表示软件生存期不同阶段间的关系。因为它只表示软件系统某些“基本的”语义性质:控制流、数据流和数据结构,所以与特定的规格说明、设计和程序语言无关。从软件生存期的一个阶段导出另一个阶段的软件开发过程是用图重写规则表示的,从而说明如何实现软件系统的各个成分。这种方法可以分析软件系绕在整个生存期中的基本性质。文中举例说明了该模型的使用。