一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

军用软件需求工程中部队用户的地位与作用研究

目前 ,军事应用软件需求研究常常流于形式。由于缺乏用户参与的合理机制 ;缺乏对需求文档资料的有效管理 ;缺乏部队用户与开发人员之间有效的交流方法 ,使需求研究效率低、效果差。为改变这种状况 ,需要引入需求工程的方法 ,发挥用户在需求研究中的主导作用 ,对需求过程进行必要的管理。本文研究了需求工程的基本问题 ,并探讨了军事应用软件需求工程与部队用户的关系问题。     

基于SOA的潜艇作战系统软件体系结构

潜艇作战系统正朝着分布式、模块化、灵活组态的方向发展.在潜艇作战系统软件需求分析的基础上,阐述了为什么将面向服务(SOA)思想引入潜艇作战系统软件体系结构研究.介绍了SOA的主要思想,给出了SOA的开发过程,提出了基于Web服务的潜艇作战系统体系结构参考模型,并讨论了参考模型中的服务事务和服务安全同题.     

浅析加强基层武装部和民兵营连建设

基层武装部是国防体制的重要组成部分,是巩固基层政权的基石,是密切军民关系的桥梁纽带,承载着抓好兵役工作、国防动员、参加地方经济社会建设、协调解决涉军问题等重要职能。民兵营连是民兵最基本的建制单位,是民兵工作的落脚点。如果失去了这些阵地,人民武装工作也就成了纸上谈兵。因此,必须把基层武装部、民兵营连建设始     

改进的GPS弱信号差分捕获方法研究

捕获是GPS接收机信号处理中的关键部分,在微弱信号情况下,传统的弱信号捕获方法不能很好地捕获到卫星信号,采用一种改进的GPS弱信号差分捕获方法来进行捕获研究.并对一组GPS的数据信息,分别采用以上2种方法对其进行捕获仿真.结果显示,新方法可以捕获到较微弱的GPS信号,提高了接收机的灵敏度.     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

海军指控系统应用软件复用集成平台研究

为了充分发挥海军指控系统应用软件的使用效能,需要采用先进的软件体系结构建立灵活高效的软件复用平台,从技术层面映射各种复杂多变的组织结构和管理体制,既能面向新一代指控平台发展方向,又能高效地改造和集成遗留系统。以面向服务的技术为基础建立海军指控系统应用软件复用架构模型,依托架构模型提出了代码复用、软件升级和软件整合三种软件复用集成策略,在此基础上设计实现了海军应用软件复用平台,可以敏捷搭建应用系统,并同时拥有快速响应需求变化的能力,显著提升指控系统应用软件的灵活性和适用性。     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

电光调制傅里叶干涉仪光谱分析及软件实现

为了提高光谱分辨率的同时保证干涉仪的稳定性及实时性,设计了电光调制傅里叶干涉仪,加载特定相位的调制信号,从而由电扫描光程差代替机械扫描.根据光谱探测原理得到光程差函数表达式作为光谱分析算法主要参考公式.基于该光程差调制方法提出了对其形成的空间干涉条纹分析的光谱分析算法,并在Visual Studio软件平台下完成了光谱分析软件.采用中心波长650 nm、780 nm、808 nm、980 nm四种激光器作为光源,CameraLink-M2CL型CCD探测器采集干涉条纹,将经调制后干涉仪得到的干涉条纹导入光谱分析软件,最后分析算法及标定程序绘制光谱图与标准光谱仪检测得到的光谱对比,通过加权对比本软件结果符合标准谱分布.     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变。在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业务模型的设计应用。路线5的目标是为构建航天器自主能力和星地之间智能管控能力提供可持续发展的基础。