软件评测技术研究与实践

从软件评测工作实际出发,对软件评测方案进行了介绍,包括评价模型的建立,评价环境、测试用例的设计,测试过程的管理,对软件评测工作具有一定的指导意义。     

ETSS中代理与测试程序接口的实现

介绍了ＥＴＳＳ（评测支持系统）开发的背景，Ｍａｎａｇｅｒ／Ａｇｅｎｔ（管理者／代理）模型设计，ＥＴＳＳ的接口、管理、通信、同步、测试实施，以及Ａｇｅｎｔ（代理）和测试程序之间接口的实现。     

航天测控软件测试用例设计与辅助分析系统

本文针对航天测控软件测试的特点，提出了研制综合性的航天测控软件测试用例设计与辅助分析系统的设想，给出了系统结构，简要论述了数据生成方法和技术途径。该系统能够多方面满足测控通信软件评测的需要。     

CMM管理体系在航天器海上测控软件工作中的应用探讨

软件质量三分靠技术七分靠管理，软件过程的规范管理和过程改善成为当前软件管理工作的棱心，CMM正是通过不断优化软件过程来实现软件质量控制的目的。本文主要阐述了CMM的概念和内涵，分析了CMM在我国的应用现状、CSMTC软件工作的现状和影响其软件质量的因素，探讨了CMM管理体系在CSMTC软件开发和维护工作中的应用意义和方法，给出了实施CMM管理需注意的几个问题。     

基于软件过程对象模型的度量定义方法

CQM(Goal-Question-Metric)模型是一种面向目标的定义度量的方法，在软件过程度量中被广泛采用，同时也渐渐显露出它的不足。通过对软件过程对象模型和GQM模型的分析，提出了一种结合软件过程对象模型和GQM模型的度量定义方法，使度量的定义更具体。     

一种先进实用的计算机辅助软件评测系统

简要介绍了软件评测的工作方法和流程 ,在此基础上介绍了软件评测计算机辅助设计与管理系统(SET_CAD&M)的功能和发展前景     

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

模型开发在型号软件研制中的应用研究

针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

提高机载软件安全性的过程保证方法

在航空电子机载软件研制中,通常重点关注和实现软件的功能和性能,而对软件安全性、完整性以及追溯性不够重视。提出一套以典型软件生存周期为基础,在软件研发各过程中增加具体的安全性相关活动以提高软件安全性的过程保证方法。该方法在某型飞机显示系统软件项目开发和审定中取得一定成效。     

巨量维修行为质量概率评测模型技术设计

运营飞机需按照制造商要求进行大量检修,评测飞机长期维修质量成为一个关键课题。本文通过设计维修质量评测模型,对长期维修质量的趋势预测进行研究分析,以提高对飞机维修质量的监控水平。     

西安卫星测控中心的软件过程改进实践

为了提高航天测控软件的开发效率,保证软件产品质量,西安卫星测控中心启动了基于GJB 5000-2003 2级等级的软件过程改进工作,并于2008年通过了军用软件研制能力2级正式评价。本文介绍了西安卫星测控中心的软件过程改进实践,阐述了软件过程改进实践中取得的经验体会。     

大规模无参考译文质量自动评测技术的研究

传统的译文质量自动评测方法主要针对机器自动翻译结果并通过与参考译文的对比实现译文质量的评估。提出一种大规模无参考译文质量自动评测方法,该方法可以在无参考译文的情况下,从正确性、流畅性和忠实度等方面对人工译文进行质量检查并标注可能的错误点,即利用语言规则实现正确性的判断,利用语言模型实现流畅性的判断,利用词对齐结果和词典信息实现忠实度的判断。基于该方法实现的译文质量辅助检查系统在国家知识产权局百万专利翻译项目中的应用效果表明,使用该系统的测试组较未使用该系统的测试组的平均译文质量和终稿完成效率均有明显提升。     

软件回归测试过程自动化管理方法的研究与实现

在深入研究软件回归测试过程管理理论的基础上,提出了一整套用于软件回归测试过程自动化管理的方法。该方法能够辅助测试人员按照规范的回归测试过程开展相应的回归测试活动,高效地完成更动影响域自动化分析、回归测试设计、回归测试结果自动化分析及统计、回归测试文档自动化生成等一系列工作,显著提高了软件回归测试过程的自动化管理水平。     

关于软件过程改进的探讨

本文详细介绍了软件过程改进的方法，包括配置管理、分析设计、需求管理、SQA和测试等各个环节之间的关系和意义。     

军用软件可靠性策略研究

在分析影响军用软件可靠性因素的基础上，借鉴能力成熟度模型(CMM)过程规范思想，提出了一套完整的军用软件可靠性解决策略，包括软件可靠性组织过程、软件可靠性管理过程、软件可靠性工程过程和软件可靠性支持过程，并概要描述了各个过程所涉及的技术和实现方法。     

应用AutoCAD VBA绘制排水沟配筋图

AutoCAD是一款通用的绘图软件，其开放性和丰富的开发工具为我们满足专业设计过程提供了有效的手段。在机场项目中排水沟断面具有一定相似性，若能用AutoCAD二次开发实现软件绘图，将把设计人员从繁琐的画图工作中解脱出来，更多的时问来关注结构的分析及优化设计。     

某型飞机研制过程建模和模型分析

介绍了某型飞机研制过程建模和模型分析的研究情况,着重介绍了开展该项研究工作的背景、活动与过程的描述,过程建模的准备、过程建模和模型分析的结果及其应用方向。此外,针对该型飞机研制过程模型分析的情况,提出了对其过程改进的一些粗浅看法。     

信息系统软件开发过程研究

本文对各主要软件过程模型如瀑布模型、快速原型模型和喷泉模型等宏观模型进行了分析和总结。     

SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。