基于本体的软件需求缺陷模式应用

提出软件缺陷模式的概念,给出其正交属性、说明及需求缺陷模式产生模型.对领域相关需求缺陷模式进行本体描述,并着重分析其发生的直接场景.直接场景能够帮助测试人员熟悉用户的实际使用情况及现实系统的各种行为和目的,并能指导审查和测试过程.通过实例应用证明了基于需求缺陷模式直接场景进行审查和测试的有效性,并通过缺陷模式的正交属性对软件开发及测试质量进行了分析.     

基于软件重用技术的飞行模拟器软件生成系统

在计算机应用系统中,软件是灵魂。本文研究基于软件重用技术和系统组合技术的飞行模拟器软件生成系统的原理、实践与应用经验。这一方面是由于研究软件重用技术和系统组合技术对缩短软件开发周期、增加软件产量和提高软件质量有着重要的意义,另一方面是因为旧的飞行模拟器软件开发方法已不能适应该领域日益变化的需求。 所谓软件重用技术是指开发新的应用软件时,再次使用已有的软件、知识和方法的技术;所谓系统组合技术是指根据特定应用的需求规格说明和已有的软件、知识和方法,将零散的软构件组装成一个系统的技术。本文给出了结合两种技术的飞行模拟器软件生成系统原型的实现原理和示例。它主要由三大部分组成:可重用的软件库及其管理器、库的浏览/检索器和目标软件生成器。我们用面向对象式语言C++描述其软件结构,以“生产域/消费域”模型作为软件生产、组装的基础。由此原型系统实现的某型号飞行模拟器飞行系统软件的重用、组装及仿真结果表明:基于软件重用技术和系统组合技术的飞行模拟器软件生成系统在理论上与实践上都是可行的;使软件重用技术和系统组合技术结合在一起,用于软件的整个生存周期,是对软件工程过程模型的重大革新。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

航天器电推进软件体系结构设计

随着航天器软件任务量和复杂度的增加,软件复用需求越来越迫切.针对现阶段多个平台的电推进软件,采用结构化的分析方法开展软件需求分析,提取共性需求及可变性需求,识别可复用软件组件;提出基于适应性改进的事件驱动模型来组装软件组件,建立电推进软件体系结构框架;描述公共服务操作以及硬件驱动程序的封装形式,并给出软件体系结构在具体项目中的应用方式.文章提出的电推进体系结构框架以及所设计实现的软件组件在多个项目中得到应用,并取得了良好效果.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

“用户故事”在姿轨控软件需求分析中的应用

需求分析是软件开发过程中的重要环节.在国内卫星姿轨控软件设计过程中,需求分析阶段描述和定义用户需求的工作多数仍采用传统方法,过于关注软件的设计过程,而忽略了软件需要实现的功能,常常引发需求分析结果与任务方期望不一致的情况,影响开发进度.针对姿轨控软件的特点,在软件需求分析工作中引入敏捷开发所采用的＂用户故事（＂User Story）方法,可以高效清晰地描述和定义用户所需要的软件功能,提高任务方在需求分析阶段的参与程度,显著提高需求分析的准确性.     

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.     

卫星综合软件的体系结构研究

分析国内外卫星综合软件的现状和发展趋势,阐述设计软件体系结构的重要性．提出一种卫星综合软件的分层模块化体系结构,对此体系结构进行详细地分析和说明,并对其在软件复用、软件开发和测试方面的应用以及优点进行分析,表明分层模块化软件体系结构是提高卫星软件开发效率的有效途径．     

电子设备热分析软件应用研究

应用热分析技术,能在产品的设计阶段获得其温度分布,从而优化设计,提高产品可靠性.介绍了现在流行的电子设备热分析软件,阐述了电子设备热分析软件在应用中面临的一些问题,并结合一简单实例,展示了电子设备热分析的全过程,对热分析软件应用中的部分难题提出了解决方案.结果表明:妥善处理好主要问题,则能够达到较高的热分析精度,满足工程需求.      

基于中间件的抗辐射加固仿真云平台技术研究

航空航天的飞速发展对抗辐射加固仿真提出了更高的标准和要求.提出了一种基于可组合可重用中间件的云仿真平台.该平台中，仿真软件采用虚拟机+docker的方式进行部署，以降低虚拟机的功耗并避免资源浪费.在该平台架构上，首先提出了基于微服务的可组合可重用仿真中间件通用模型.然后在通用模型基础上设计并实现了典型抗辐射加固仿真场景下的关键中间件，包括模型显示中间件和脚本转换中间件.最后通过Petri网动态组合仿真中间件来完成仿真任务.结果表明以云平台为基础，可重用可组合中间件为核心的仿真平台架构能够有效提高仿真平台的可重用性、可扩展性和灵活性.     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发,针对大型复杂过程的建模提出了综合过程模型,对过程建模语言进行了扩充.探讨了大型复杂过程的建模方法,设计并开发了相应的过程建模和模拟软件,并成功地应用于某型飞机研制过程的建模.      

可复用的需求建模方法

提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具.     

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.