军用软件产品质量管理探讨

软件工程管理的目标是生产出高质量的软件，主要介绍了质量评估，软件测试和技术评审几个方面的内容，并对软件进行质量保证如何进行作了探讨。     

一个ATS平行测试程序的实现

自动测试系统(ATS)测试软件通常设计为一系列的数据采集、计算、显示(打印)的组合串,此法虽能完成给定的任务,但效率较低。本文介绍了一个ATS测试软件的平行程序设计方法,文中讨论了该软件的程序结构、通讯和同步,也介绍了ATS的系统配置、被测仪表特点及特殊要求。     

型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

宽覆盖多光谱CCD相机模装及模态分析

文章以结构设计软件AutoDesk Inventor对宽覆盖多光谱CCD相机结构进行精确造型、模装，进行了干涉检查。应用大型结构分析软件PATRAN、NASTRAN，建立了该相机超大规模有限元模型，完成了该相机的模态分析，得出了该相机相应的固有频率和模态，验证了相机结构设计的合理性。     

激光雷达系统仿真软件

从激光雷达约束条件入手 ,研究了通用激光雷达仿真模型 (GL M) ,其中包括大气传输模型、探测器噪声模型、发射与接收模型、目标反射数据库。着重分析、讨论了各种天气和系统条件下 ,对激光雷达性能的影响。根据模型 ,研制了通用仿真软件 ,最后给出了计算机仿真结果。     

可编程数字下变频器的关键技术

可靠、灵活的数字下变频技术在无线通信系统中得到越来越广泛的应用。文中指出影响数字下变频器性能的主要因素 ,并提出采用经典的 CORDIC算法来降低硬件电路的复杂性。最后 ,用线性内插的方法实现了输入输出速率的分数倍变换     

一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

电子战信息分析系统软件的语言选取

阐述了人工智能语言Ｐｒｏｌｏｇ的背景及作为专家系统软件开发的优势，并以电子战信息分析系统为例，介绍了电子战信息分析系统功能，论述了为满足电子战信息分析系统软件处理不同部分的需要，采用了不同的编程语言，主要用到了Ｐｒｏｌｏｇ和Ｃ＋＋。用一段小例程来说明，并指出在特殊情况下也可以通过不同语言之间的转换，以满足实际情况的需要。     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。