个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

个体软件过程实验研究

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

面向对象程序可视化类图的逆向自动生成

研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM.     

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

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

运载火箭故障检测处理系统软件研究和实践

介绍载人运载火箭故障检测处理系统软件的主要情况、重要故障模式和特点,从软件研制过程、配置管理、技术状态控制、软件测试、可靠性安全性等方面总结了故障检测处理系统软件工程化的经验,为下一步任务提供参考与借鉴。     

航天型号软件产品保证总体策划

软件产品保证是产品保证的重要组成部分，是软件研制所有支持过程的综合．是世界各主要航天机构如NASA、ESA软件产品研制所推行的规范化要求，是实施软件可靠性工程的基础。航天系统要实现从“抓评测，促工程化’’向全面推进软件工程化的策略转化．要以Q／QJA30标准发布与宣贯为契机，做好型号软件产品保证的总体策划，全面推进软件工程化管理。     

一种设计实时软件的方法：面向对象技术

本文在介绍实时系统特性的基础之上，讨论了实时系统领域的发展。对用面向对象的方法设计实时软件系统中遇到的一些问题进行了详细的探讨，并对面向对象的实时语言，面向对象的实时模型进行了介绍。