战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

火控系统软件的一种测试方法

基于火控系统的“黑箱”特征,提出了一种软件测试模型,并由此建立了有关的评价方去。从而可为火控系统软件测试的定量评价提供依据。     

C~3l系统软件质量保障技术研究

针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。     

CAMAC与STD接口适配器研究

本文研究设计了一种新的CAMAC与STD的接口适配器,从而使CAMAC与STD两种标准总线系统得以兼容,该适配器以8031作为其智能核心,自动实现两种标准总线间的信息交换,其机械结构和尺寸按CAMAC的插件标准来设计,可插入CAMAC机箱中工作,同时它又是STD总线系统的控制器。     

飞行控制软件导航仿真模型遥测数据注入仿真

研究了飞行控制软件导航仿真模型遥测数据注入仿真中的一些问题,构造了遥测数据输入序列的误差补偿算法,重建相应的输入序列,使得将它们注入到相应的数字仿真模型进行仿真时,得到的输出与飞行试验中弹上计算机发送的遥测数据相符。     

FlexRay在导弹测试系统中的应用

针对导弹测试系统可靠性差、通信速率低的缺点,在分析测试需求的基础上,提出了一种基于Flex Ray总线技术的导弹测试系统总体设计方案,给出了数字信号处理器与总线控制器的接口硬件电路、软件流程,分析了设计中需要考虑的主要问题。     

火控软件的人机界面测试方法

火控软件的人机界面测试是火控系统试验的重要研究内容.对火控系统的功能特性和人机界面特性进行了分析,建立了人机界面的评价指标体系.采用GOMS方法对人机交互效率进行了分析,给出了界面信息效率和字符效率的测量方法.这些方法提高了人机界面测试的定量化水平,可在火控软件测试中实际应用.     

基于UML的兵力机动辅助决策软件设计

首先简要介绍了UML的建模体系,然后在使用UML对兵力机动辅助决策软件进行功能需求分析的基础上,进行了问题领域分析,建立了软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行了描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供了有利的支持,为兵力机动辅助决策软件系统的研制奠定了基础.     

混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

具有吞吐量和时延约束的软件无线电波形部署决策算法

针对当前具有吞吐量和时延约束的软件无线电波形部署决策算法在内存开销方面考虑的不足,提出一个更为通用的波形部署决策系统模型,将波形的处理开销、内存开销和通信带宽开销都纳入到波形部署决策过程中,并设计了一种基于动态规划的波形部署决策算法以最小化波形对平台各种计算资源的占用总和。仿真结果表明,内存对波形部署决策具有重要影响,与未考虑内存开销的解决方案相比,平台支持的平均最大波形数目和平均处理资源利用率均下降40%左右。