个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．     

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

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

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

基于检查单机制的过程剪裁方法CPTM

如何对组织标准化软件过程进行合理剪裁从而得到真正适合项目特点的项目定义软件过程是 一个既关键又复杂的技术.首先阐述了组织标准化软件过程;然后介绍了过程剪裁,深入分析 了4个影响过程剪裁的方面,在此基础上,提出一种基于检查单机制的过程剪裁方法CPTM(Ch ecklist-based Process Tailoring Method),并详细描述了运用它进行过程剪裁的步骤; 最后给出了CPTM的一个应用实例.实践证明,CPTM使过程剪裁简便易行,大大减少了软件组 织在过程剪裁上的投入.      

基于贝叶斯网的业务端编程方法

针对现有的业务端编程方法缺乏对于没有软件开发背景的最终用户的指导机制,提出了一种基于贝叶斯网的业务端编程方法.首先提出了一种基于贝叶斯网的最终用户编程基本框架,然后基于贝叶斯网结构学习方法和过程日志建立了用来支撑业务端编程的领域专家系统,在此基础上提出了以领域专家系统为核心的启发式业务端编程方法.该方法在编程过程中依赖领域专家系统对最终用户推荐业务活动,提供实时指导,帮助最终用户逐步完成应用系统的构造.最后对该方法的有效性进行了定性的评估和分析,结果表明,基于贝叶斯网的业务端编程方法可以在一定程度上提高最终用户编程的效率.     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

基于小波分析的地形多分辨率建模方法

以提高运算效率和存储效率为目的研究了基于小波的数字高程模型（DEM,Digital Elevation Model）数据的多分辨率建模,根据DEM的数据特点在Mallat多分辨率分析算法的基础上,提出了基于小波分析的DEM数据多分辨率建模算法,对算法实现过程中的小波函数以及边界延拓方式的选取进行了阐述,提出了评价建模精度的相关指标,并通过仿真实验确定了恰当的小波参数.仿真结果表明,小波分析法是实现DEM多分辨率建模的有效方法,同时保证了良好的运算效率和存储效率.该方法可应用于地形的快速可视化、飞行器的动态和静态航路规划等工程应用中.     

软件流水中的循环展开优化

在软件流水中应用循环展开可以实现分数值的启动间距,提高资源的利用率,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度.提出了基于程序特性的展开因子算法UTBPC(Unrolling Times Based Program Characteristics),解决了循环展开的核心问题——展开因子的确定,同时提出了基于展开的软件数据预取优化技术,提高了软件数据预取的效率.所有这些都在ORC(Open Research Compiler)中实现,并对SPEC 2000中的程序进行了测试,平均性能提高了2.6%.实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能.      

基于共享内存的数据交换技术及其在ATE测控程序开发中的应用

以LabWindows/CⅥ为基础,介绍了基于共享内存的数据交换技术及其在测控软件开发过程中的应用.实践证明,利用这些方法可以大大提高测控软件的开发效率,降低因程序错误而导致的ATE硬件及UUT损坏的可能性.     

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

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

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

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

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

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用，装备嵌入式系统的功能主要由软件定义完成，导致装备嵌入式软件规模性和复杂性都在急剧增加，软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术，对装备嵌入式软件的漏洞行为和结构分析，建立装备嵌入式软件漏洞特征和系统不安全行为属性规约，通过对软件属性规约的逻辑演算，形成软件安全性加固需求，提出基于安全规约属性模板的漏洞加固代码生成技术，对软件代码中潜在的安全漏洞进行修复和加固，实现装备嵌入式软件强制安全保障.     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

软件并行工程

在借鉴制造自动化行业中并行工程思想的基础上，论证了利用并行工程思想进行软件并行开发，即实施软件并行工程的可行性，提出了实施软件并行工程的具体步骤和实施要素，并讨论了其不同的实施层次。     

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一，数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质，是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上，介绍了适合于航天嵌入式软件错误检测的静态分析技术，包括抽象解释、符号执行、数据竞争检测等.然后，介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后，对未来发展方向做了简单展望.     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.