军用软件研制过程的管理与控制

分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件等。提出的军用软件研制过程管理与控制方法是经过多年软件工作的实践所得,可以供军用软件开发管理者参考。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

某自行战车火控系统动态航路制定及软件实现

根据某型自行战车对空中目标作战的精度需求,为突破火控系统自带动态航路的局限性,提出了动态航路制定模型.在基准战车时目标起始点坐标进行测量的基础上,由连战斗队形配置确定全连其余战车相对基准车档坐标值,通过坐标转换计算,得到其余战车动态航路参数.采用面向对象的可视化编程语言C#2.0编写程序,设计动态航路制定软件.通过举例分析,证明了该方法的可行性,为有效提高自行战车的射击精度提供了一种较为科学的方法.     

软件无线电数字信号处理器体系结构研究

软件无线电因被认为是无线通信技术未来的发展趋势而受到广泛关注.目前数字信号处理器是软件无线电发展的瓶颈.通过分析、比较目前几种较为典型的软件无线电数字信号处理器结构,归纳总结各种结构各自设计出发点和优缺点,并对软件无线电数字信号处理器的发展趋势做了展望.     

飞机液压系统试验数据分析软件的研究与开发

为了解决对飞机液压系统试验数据进行全程实时观测困难这一问题,避免重复试验,以VC++为开发工具,采用面向对象的设计方法,设计了一套飞机液压系统试验数据动态回放、分析软件.并应用某型号飞机前起落架收放系统的主液压泵的工作过程试验数据对该软件进行了测试,结果表明该软件能够为飞机液压系统的试验提供有用的帮助,具有较高的应用价值.     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

虚拟化技术研究与探索

近年来虚拟化技术在商业应用上的优势日益体现,不仅降低了IT成本,而且还增强了系统安全性和可靠性。主要针对服务器虚拟化技术的出现、发展,对目前x86平台主流虚拟化技术类别进行了总结,重点阐述了纯软件虚拟化技术的原理及面临的挑战。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

军用软件测试现状及对策

随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

J-M模型改进与可靠性预测研究

软件可靠性J-M预计模型对可靠性测试数据的假设要求比较严格,与实际情况不太符合。针对可靠性测试中各种因素的影响,适当修改了排除错误的条件假设,使得模型的适用性更强。对J-M模型用迭代法确定了参数的估计值,结合1组可靠性测试数据,得到可靠性预测结果。