软件项目估算与测量的工程实践

在开发过程中软件估算和测量非常重要,如果没有合理而准确的估算和实测数据,就不能对软件项目进行有效的管理和控制。本文阐述了在航天软件过程改进实施过程中工作产品规模、工作量和进度的估算和测量方法,分析了3个航天软件项目的测量结果,总结了项目的管理情况。并且证明基本的CO-COMO模型比较适合航天软件项目。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

FY—1C卫星地面综合测试软件技术

介绍FY－1C星地面综合测试软件的系统构成、系统的网络数据流，着重介绍为提高测试软件的安全可靠性、准确性，提高软件对卫星的监视能力，提高软件发现问题的能力，以及提高软件发现问题的主动预报能力而采取的行之有效的有效的方法。并给出了一些软件实际应用的成果图。     

软件技术状态检查工具的研究

软件技术状态管理是保证软件技术状态的正确性、控制软件技术状态的不受控性、提高软件可靠性的有效技术保障 ,是软件质量管理的一个重要环节。本文简要介绍了该工具的开发背景、设计思想、功能、优点及应用前景     

数字多用表自动校准/检定系统

简述数字多用表自动校准 检定系统的组成 ,多种功能和系统软硬件的设计特点 ,并以HP 3440 1A为例说明DMM的自动检定程序流程。详细介绍了作为标准的 570 0A校准器的特有性能 ,以及该系统可解决的实际工作问题     

一种防空型号武器控制系统软件架构设计方法

主要介绍了防空型号武器控制系统软件设计的一般要求及特点,并介绍了各种软件设计所需要的操作系统、开发语言及调试环境。最后结合实际型号的工程研制过程给出了武器控制软件设计的一种基本架构。     

The Planetary Laboratory for Image Analysis (PLIA)

The observation, characterization, and understanding of planetary atmospheres are key components of Solar System exploration. Their study requires, among other observations, the use of image data acquired from spacecrafts. The basic tasks that are generally used to work with planetary image data are: image navigation, projection, image processing, limb-darkening correction, composition of multiwavelength images and mosaicing. We illustrate the mathematical techniques required for the study of planetary images obtained from spacecrafts using as an example our own software package (PLIA). We present examples of analysis of Galileo SSI, Cassini ISS and Venus Express VIRTIS observations covering a large range of image peculiarities. The paper is organized as a guide for anyone willing to replicate one or several of the capabilities incorporated in the PLIA software. An open source version of PLIA for astronomical image processing is available.     

面向对象方法在增量原型开发中的应用

根据卫星地面测控站监控系统开发设计的实践，在软件系统的设计开发中采用面向对象的方法，利用基类和派生类逐层次展开，分步完成开发过程，尽量复用不同设计阶段的开发成果，使整个项目由框架到实现，逐步完善设计、充实内容，提高了开发效率，切实保证软件质量。     

一种特殊的软件加密方法

如何利用硬盘的序列号对软件进行加密 ?有一种特殊的方法可以保证一台计算机只有一个密钥 ,该密钥作为程序运行的临时密钥。当临时密钥过期之后 ,可以使用软件提供商提供的软件狗来保证用户程序长期正常地运行。两种方法结合起来可以有效地维护软件提供商的利益。还介绍了软件狗的使用情况并提供了加密方法的程序源代码。     

军用软件的可靠性统计分析

研究了军用软件的可靠性统计分析方法。对于失效数据极值分布函数的拟合检验,提出了一种解析法,克服了图解法的局限性;对于母体分布的参数估计,分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一实例说明了统计过程,并用模拟的方法证明了最小二乘估计法较好。