VITE 2.0 虚拟仪器测试环境平台软件

北京航天测控技术开发公司开发的VITE软件是一套面向大型自动化测试系统的无需测试人员编程的通用测试程序运行、开发和系统集成平台,是一套智能化测试的软件。     

软件静态分析工具评析

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

软件静态分析工具综述

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

SMV静态混合器的数值模拟

介绍了静态混合器的种类、特性、工作原理和一种通用计算流体力学软件,Fluent软件.利用Gambit前处理器构造了一个简化的SMV型静态混合器模型,利用Fluent软件数值求解混合器的流场,对模拟结果进行了分析,混合小池对湍动能的产生贡献很大.混合器还能有效改善离散相的分散性.     

基于多源传感器的单星定位算法与精度分析

为解决单星环境下静态载体的单点定位问题,建立基于芯片级原子钟和气压高度计辅助下的单星定位算法.包括对单星连续测距定位算法进行算法推导、误差分析与仿真验证、搭建静态单星定位试验平台,以及利用实测数据验证单星连续测距定位算法的有效性.仿真与实验结果表明:真实接收机经过对一颗卫星的连续观测,辅以高精度芯片级原子钟和气压高度计提供时钟和高度信息,可在2 min内完成500 m精度定位,以及在5 min内完成200 m精度定位,完全符合战时应急定位精度需求.     

STK的雷达对抗干扰动态参数建模仿真分析

电子对抗三维可视化仿真在电子对抗作战推演与效果评估过程中具有重要的作用。STK软件可以逼真地实现电磁场的三维可视化仿真。针对STK软件采用静态参数无法实现动态建模的缺点,利用STK支持基于Matlab插件的技术,实现了雷达对抗干扰的动态建模与仿真分析。     

给定人员情况下最小化开发时间和成本的软件项目调度

给出了一种软件项目的随机调度模型.它明确地把调度策略作为输入,一旦调度策略确定,模型就可以输出关于项目的完成时间或成本的一个概率分布.利用随机最优化技术,能够计算出软件项目的一个调度策略,它使得项目在人员给定的情况下开发时间和成本最小.     

不规则2D Torus体系结构与路由算法

2D Torus拓扑结构可以简单地分为n×n的规则Torus和m×n的不规则Torus.在研究规则Torus拓扑结构的基础上,首先将约翰逊编码运用于不规则的2D Torus节点编码中,对m×n的不规则Torus拓扑结构中的平均延时和理想吞吐量进行了理论上的评估,并提出了一种基于不规则Torus的新的静态路由算法:TE-XY路由算法.最后运用NS2网络仿真软件对其和TXY路由算法进行了仿真和比较.实验结果显示,新的路由算法可以有效地提高吞吐量,并在大规模数据传输时不容易造成阻塞,表现了较好的性能.     

时间序列在边防检查工作中的应用

打击偷渡是出入境边防检查工作的一项重要任务,利用SPSS等定量分析的方法可以有效预测偷渡活动的规律,为边防检查工作服务.利用SPSS分析软件的时间序列法对某站近年来的偷渡数据进行分析,提出了短期预测情况.并就下一步如何打击偷渡活动提出了相应的对策.     

一种GPS数字中频信号软件模拟器的设计

为了给GPS系统中基于C/A码的卫星捕获及跟踪算法提供信号源,以GPS卫星发送信号模型为基础,分析了GP2010的工作原理,采用Matlab/Simulink以软件的方式模拟了GP2010的工作过程,完成了一种数字中频GPS信号软件模拟器的设计,最后采用一种基于C/A码的捕获和跟踪算法对软件模拟器进行了验证.仿真结果表明:设计的软件模拟器可以给基于C/A码的卫星捕获和跟踪算法提供信号源,与常规GPS信号模拟器相比,所设计的软件模拟器结构简单,设计灵活并可扩展,易于使用.     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

基于FMECA的信息系统软件失效安全风险评估与预测

随着大量软件产品应用于信息系统,不可避免地增大了软件失效对系统安全的影响概率。本文以某信息系统文电收发的处理过程为例,引入FMECA法,对其文电收发处理过程中由软件造成的风险进行分析,同时分析了引起风险常见的失效模式,并引入Markov模型对软件失效造成系统严重危害的风险进行预测,通过Markov模型与FMECA法结合能够迅速定位软件失效的原因,减少因软件失效造成的系统损失。     

软件可靠性的过程仿真技术

以软件研制的生命周期为背景,探讨利用仿真模型对软件可靠性进行研究的方法．文章阐述了仿真模型分析方法与传统的模型分析方法的不同之处,通过对软件可靠性过程的分析,设计了一个基本的仿真器结构,由此考察引发失效行为的各种故障因素及其对软件可靠性的影响．     

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

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

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

基于邻接矩阵的软件测试环境规划设计方法

在分析软件测试环境的基础上，研究了软件试验中测试用例设计面临的突出问题，从软件测试环境的规划出发，基于有向图的邻接矩阵，设计满足一定覆盖度标准的软件测试环境规划方法，可为软件试验提供技术参考和研究方向。     

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

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

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

通信侦察电磁环境建模与模拟软件设计

针对通信侦察设备面临的信号环境的构建问题，提出来了一种战场通信侦察电磁环境模拟软件设计思路，并阐述了该软件的架构设计、主要功能、数学模型与运行流程等。该电磁环境模拟软件已初步应用于相关领域试验、训练中，可以作为探讨通信侦察的有效手段，希望能为综合电子对抗复杂信号环境的构建提供支撑。