指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

作战应用软件评测指标及方法研究

作战应用软件装备部队前进行黑盒评测必须以规格需求为基础。根据作战应用软件的功能区分,提出了作战应用软件评测指标确定的原则和依据,建立了评测的指标体系,给出了评测方法。应用层次分析法自底向上对各级指标属性值进行计算,并对计算方法进行了分析。所用的评测指标体系和评测方法适用于各军种兵种作战应用软件评测,具有通用性特点。     

基于VxWorks的软件无线电硬件平台的设计

通过对软件无线电体系结构中的实时操作系统的分析,选用了性能可靠、实时性好的VxWorks作为系统的实时操作系统。然后构建了基于多DSP处理器4通道软件无线电硬件平台,使软件无线电的运算能力达到12 000 MFLOPS,很好地满足了系统的运算速度的要求。整个系统具有处理数据量大、传输速度快、实时性好、可扩展性好等诸多优点。     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

仿真环境下嵌入式软件测试技术研究与应用

嵌入式软件的开发运行是针对特定的环境条件,作为第3方的测试,在有些运行平台和条件无法保障下,要测试嵌入式软件是非常困难的.主要论述在普通PC机上怎样实现对嵌入式软件测试的方法和步骤.     

面向对象的软件维护性分析研究

对现有的软件维护性分析方法进行了比较,包括软件维护性度量分析方法、软件维护性指标分析方法和软件维护模型分析方法.针对面向对象的软件维护性的研究现状,在美国空军软件维护性评估理论基础上,提出了适合面向对象的软件维护性的定性分析规则与指标,对于提高软件的维护性具有一定的理论意义和实际应用价值.     

软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

【专题】人工智能装备质量监督效能研究

近年来,人工智能技术迅速发展和渐趋成熟,在装备领域的应用大放异彩,极大地拓展了传统装备性能,特别是自主性和智能化水平。但人工智能算法本身固有的逻辑推理性差、具有不可解释性和需要学习训练等特性给人工智能装备的质量监督带来了新挑战,现有评价手段的欠缺也使人工智能装备发展在实用可靠方面充满不确定性。本文在总结归纳人工智能装备新特性拓展和质量监督新挑战的基础上,重点围绕有效提升人工智能装备的质量监督展开研究。提出应在夯实基础能力设施建设、注重日常数据采集整理、灵活技术状态管控、研究有效评价手段、强化人才队伍建设和闭环质量信息反馈与利用等六方面加强人工智能装备质量监督的措施建议,以期为人工智能装备的发展建设提供参考。     

软件无线电技术在导弹无线电引信设计中的应用

将软件无线电技术应用于导弹武器的无线电引信上,提出了软件无线电引信系统的软、硬件实现方案。该方案是建立在中频数字化基础之上的,是将先进的信号处理技术应用于实践的尝试。