对NASA指挥中心软件测试度量的评定

软件度量用于软件开发过程和软件产品质量的评定，在ＮＡＳＡ航天飞机指挥控制中心改造工程的测试阶段，采用了五种度量，除一种度量之外，其它度量均提供了很有用的信息，根据我们的经验，我们建议在软件开发的测试阶段使用这些度量，同时提出另外的侯选度量供进一步研究。     

软件开发项目管理模式及过程量化

结合项目管理及软件工程等相关知识,提出了软件开发项目管理模式。为了对软件开发过程进行有效的管理,提出开发过程的可视性,进行了软件开发过程的全方位度量活动,以促使软件组织的自身过程能力不断得到改善,度量体系日臻完善。     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

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

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

一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。     

一种基于OMT的面向对象的软件开发方法

本文介绍了面向对象软件开发方法的基本概念,并以OMT(object modeling design)方法为基础,描述了一种面向对象的软件开发方法,其中引入了信息流分解法,把自顶向下和自底向上的思想综合运用于该方法中,使其更加完善。     

面向多层次赋时Petri网的维修动作要素时间度量方法研究

针对装备研制阶段维修时间度量缺乏有效方法的问题,探讨了一种基于虚拟维修模型的维修动作要素(简称动素)时间度量方法,为后续深入开展基于多层次赋时Petri网(HTPN)的维修时间度量奠定基础。首先,在虚拟维修仿真的基础上,按照维修事件分层设计的方法,提出了"维修事件-维修活动-维修动素"的维修过程层次化分解结构。针对底层维修动素时间度量问题,提出了基于改进模特法的维修动素时间度量方法。然后,将维修动素流程数据映射至Petri网,构建了基于HTPN的维修过程模型。最后,通过实例对上述方法进行了应用分析。     

空管软件开发过程的极限编程实践

空中交通流量压力的日益增加要求空管自动化水平不断提升,导致国内空管系统升级需求频繁,传统的软件工程方法已经难以满足空管软件开发实施要求。提出了一种将现代软件工程中极限编程(extremeprogramming,XP)模式引入空管软件开发的思想,有效解决了开发过程中稳定性和灵活性的问题。     

模糊σ-代数上的模糊数值测度及应用(Ⅰ)

设(Χ,A,μ)是一个全有限测度空间,H为由A生成的模糊σ-代数。通过计算H中模糊子集的截集的测度,运用一维模糊数的嵌入定理,构造了一种定义在H上取值于一维模糊数空间的测度,这种测度限制在A上就是测度μ,并且具有可列可加性、下连续性、上连续性、自连续性等性质。这种测度取值一维模糊数,保留了模糊子集较多的信息,所以它可以更为细致地刻划模糊子集。作为在模糊聚类理论方面的应用,把(Χ,A,μ)上用于度量普通集合间不相似性的度量推广到了H上的模糊子集间,得到了一种基本的H上不相似度量。     

度量空间X与H(X)空间的连续映射

度量空间是用距离来定义拓扑结构的特殊拓扑空间，度量空间的完备性是度量空间的一个独有的性质．在完备度量空间上建立分形空间H(X)，如果函数在完备度量空间上连续，则函数在分形空间H(X)空间上连续。由局部基的覆盖来刻划紧空间，用H(X)表示X中的全体非空紧集构成的集族．在此集族中定义豪斯道夫距离，连续映射的定理在分形空间成立。     

软件工程过程管理

指出了近 2 0年来在软件开发和维护过程中不断应用新的软件开发技术 ,但却没有达到软件预期开发效果的问题所在 ;通过介绍国内外有关软件配置管理 (过程管理 )方面的经验和六一五所的初步实践结果来引起国内外有关软件开发团体对实施软件配置管理的注意。     

基于COTS的航空电子软件开发

介绍了商用货架产品(COTS)在航空电子软件开发中应用的优点和缺点,和基于COTS的航电软件构架;并给出了一个开发过程和部分开发工具。最后通过一个实例说明基于COTS的航电软件开发是实际可行的。     

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

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

遗传算法在空-地武器阻力特性辨识中的应用

利用空-地武器的弹道表,用遗传算法(Genetic A lgorithm,GA)辨识武器的阻力特性,即阻力系数与武器飞行马赫数之间的参数化函数关系。针对3种不同的适应值度量方案,进行仿真研究。结果表明,3种适应值度量都导致算法的收敛,其中,幂比例适应函数效果最佳。     

M/P/E软件开发环境评述

软件开发环境是近年来挤身于软件商品之林的一种新产品,与最终软件商品比较,它有着众多的优点。本文在评述M/P/E软件开发环境的基础上,详细讨论了软件商品化设计中,开放性指标的几个主要内容以及其有关的17个问题,指出了M/P/E的优点与不足。这些问题的提出,将对我们选用系统软件和开发研制应用商品软件都会有所裨益。     

A型飞机HUD／WAC软件开发

本文综述了装于A型飞机的平视显示器/武器瞄准计算机作战飞行程序(HUD/WAC OFP)软件开发流程,并通过程序开发实例介绍该平显软件开发步骤和方法。该项目为成都飞机公司军机改型研制和产品销售作出了贡献,在引进国外机载计算机软件和开发的工作中闯出了新路。     

FDDI令牌环网性能分析:参数影响和设置TTRT的原则

光纤分布式数据接口(FDDI)是美国国家标准研究所(ANSI)开发的100Mbps局域网标准,它使用定时一令牌访问方法通过总长200公里的光纤最多能连接500个站。 我们使用简单分析模型和仿真模型来分析这种FDDI的性能,考察了响应时间、效率和最大访问延时的性能度量标准。效率被定义为最大可获得的吞吐量与网络额定带宽之比;访问延时被定义为接收到一个可用令牌所需的时间。 FDDI性能取决于几个工作负荷参数。例如外来信息的分布、帧长(尺寸)和配置参数,诸如环上的站数、环的长度和等待发送(信息)的站数。另外,性能还受所谓“目标令牌循环时间(TTRT)”参数的影响。该TTRT参数可由网络管理员来控制。我们考虑了不同环配置下TTRT对各性能度量的影响,且断定TTRT值为8ms时在各种配置和工作负荷下都能获得良好的性能。     

基于特定域软件体系结构的软件开发

特定域软件体系结构（DSSA）是美国国防部倡导的于90年代出现的软件开发新技术,它通过域分析和造型,得到软件参考体系结构,为软件开发提供了一种通用性构架,提高了软件开发的效率;其生命周期和传统开发方法的生命周期大不相同。DSSA还和软件重用紧密结合在一起,更增强了它的开发能力。     

一种基于证据距离的多分类器差异性度量

 多分类器系统因其能够显著提升分类精度而引发了广泛关注。多分类器系统中各子分类器间的差异性是提升融合分类精度的先决条件。提出了一种基于证据距离的分类器系统差异性度量,同时基于该度量提出一种多分类器系统构造方法。综合了既有差异性度量、所提新差异性度量以及在训练样本集上的分类性能等多个指标,实现了多分类器系统的有效构造。实验结果表明,所提差异性度量及多分类器系统构造方法是合理的,能有效提升融合分类精度。