一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.     

模拟退火多亲遗传数据生成算法研究

针对航天测控实时数据驱动软件测试数据结构复杂、构造困难的特点,提出基于模拟退火多亲遗传算法的测试数据自动生成算法,给出算法中适应度函数选择方法和变异函数退火控制策略,分析算法实际应用结果。实测数据证明采用该算法构造测试用例测试发现的软件缺陷多于普通数据生成算法近30%。     

某型航空发动机控制器试验台PXI测控系统设计与实现

通过分析某型航空发动机控制器的硬件结构和测控对象,并针对控制器的性能试验需求,设计了基于PXI总线的计算机测控系统;该系统综合运用总线测试、虚拟仪器、NET平台和SQL数据库等技术,进行系统软硬件设计,实现了试验过程中参数数据的自动采集记录、故障诊断、数据融合分析和网络通讯等功能;基于XML序列化方法开发报表模块,提高了数据通用性和跨平台兼容性;经试验验证,本系统运行稳定可靠,测控精度高,数据处理能力强,易维护,提高了系统测试的自动化程度,达到设计指标要求。     

基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍。文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性。     

基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性.长期以来,测控系统软件相对缺乏系统的可靠性测试研究.文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍.文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性.     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

模型检验在航天测控软件上的应用研究

模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。     

一种办公软件集成模型的应用研究

随着社会信息化程度提高和软件技术的发展,形成了一个组织内部同使用多种软件系统情况。由于多个软件系统各自独立,数据无法共享造成了工作效率低下,重复劳动,软件系统的维护和扩展受限等问题。针对这些问题软件集成成为软件工程研究热点之一,该文则是针对办公软件的特点提出一种新的办公软件集成模型,该模型基于数据流重组,数据流与工作流的高耦合形成业务流,实现可靠的办公软件系统集成。经分析表明,本模型具有较高的可靠性,扩展性和可维护性,因而具有较好的实际使用价值。     

一种基于LabVIEW的大型测控软件数据传递方式的研究

LabVIEW基于数据流的运行模式，容易造成各模块紧密耦合，限制了其在大型测控软件系统开发中的应用。针对LabVIEW的特点和不足，结合发布者／订阅者通信模型，提出了一种适用于大型测控软件中各模块间数据交互的“无线数据流”传递方式。这种数据传递方式继承了发布者／订阅者通信模型在时间、空间和同步方面的非耦合性。实现了大规模系统各模块间动态灵活的数据交互，提高了系统的可伸缩性和模块的可重用性。     

多线程技术在航天测控网数据流分割中的应用

将多线程技术应用于航天测控网数据流的数据分割过程,解决多站多目标跟踪状态下数据流保存为数据文件的难题。首先分析测控网数据流模型,提出数据分割的概念;然后阐述引入多线程技术进行数据处理的必要性,提出利用多线程同步对象等待机制来实现数据分割、数据文件生成的方法,并给出程序的关键代码。应用和测试表明,该方法在生成数据文件的过程中,可实现对航天测控网数据流的无损分割,可靠性高,实时性较强。      

参数依赖型软件参数更动测试策略和方法

参数依赖型软件是指初始化时读取并解析配置参数,并据此进行任务处理的软件,航天测控软件是典型的参数依赖型软件。航天测控软件具有明显的领域软件特征,多采用领域工程分析技术,实现业务处理逻辑和具体任务参数的分离,达到仅通过修改任务配置参数而适应高强度型号任务的目的。通过对参数依赖型软件架构、应用模式的分析,提出一种对参数依赖特性进行验收测试、参数更动测试的流程、策略和方法。并基于该方法,对远程数据交互软件进行了参数依赖特性测试,测试结果表明,该方法具有测试覆盖性强、测试重点突出、测试效率高的特点。     

航天测控系统数据处理软件的设计与实现

本文设计的航天测控系统数据处理软件充分借鉴了成熟软件的设计经验,以实时性和可靠性为设计重点,充分考虑软件通用性和适用性统一化为指导思想,具有较高的自动化水平,可靠性、实用性、可扩展性强,并通过了分系统测试、系统联试以及外场联试等多种测试的考核验证,从试验数据的接收和处理结果来看,系统在数据存储、显示、通信、挑路处理等方面都达到技术指标要求,技术状态受控,满足试验需要。     

综合模块化航电软件系统测试方法研究综述

现代飞行器系统中开始广泛采用综合模块化航电IMA(Integrated Modular Avionics)体系架构,IMA中软件系统的高质量要求对传统的航电软件测试方法提出了新的挑战。对目前基于ARINC653的IMA软件的系统级测试中的基本测试方法进行了综述分析,主要内容包括:首先给出了基于ARINC653的IMA体系结构描述,并对其架构中最重要的系统可配置性进行了分析;然后阐述了总的系统测试策略,以及不同级别的IMA软件系统测试过程;最后简要说明了IMA系统测试环境的通用要求。     

支持数据挖掘的装备软件测评管理系统

设计并实现了一种可以支持测评基准数据挖掘的装备软件测评管理系统(AESTM)。AESTM为B/S结构,采用DCOM构件集成的方式开发,支持测试组的协同工作,可自动生成装备软件测评过程中的各类文档,可在装备软件定型测评项目过程中收集各类度量信息,并利用数据挖掘手段产生装备软件的基准数据。     

运载火箭地面一体化测发控系统设计

现役运载火箭各分系统的测发控系统各自独立,存在资源浪费,兼容性差、信息传递低效等问题;随着测控技术发展和火箭电气系统需求牵引,新一代运载火箭地面测试、发射与控制在通用化、集成化、智能化等方面提出了更高的要求;通过梳理一体化设计的功能,提出一种运载火箭地面测发控系统的体系架构,整合传统运载火箭控制、测量、总控网等分系统的测发控共性需求,在统一供配电、有线测控、无线调制解调、数据处理与分析4个功能层面进行设计,包括系统组成、交互关系、重要单机(软件)的设计及其关键技术应用;该设计在某型号完成了原理性试验和关键技术验证,结果表明系统通用性强、集成度高、信息架构合理高效,能够在确保可靠性安全性的情况下,简化操作、提高效率、降低成本。     

软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。     

集团财务软件系统测试重点分析

本文以集团财务软件系统特点和业务重点出发点,从功能、业务流程、性能和接口这四个方面对集团财务软件系统测试内容进行重点分析。本文根据《信息技术会计核算软件数据接口》国家标准实现了基于数据交换模型的自动化测试工具,提高了集团财务软件系统测试的有效性和效率。     

面向适航标准的机载软件测试验证方法综述

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。     

高速接触网检测车数据处理软件系统的研制

针对现有接触网检测车缺乏功能全面、性能优良的配套数据处理软件的现状，结合沈阳铁路局的具体需要，采用软件工程、数据库、多媒体、通信等技术，研制了一种适合高速接触网检测的数据处理软件系统。高速接触网参数检测数据经过本软件处理后，一方面能准确地反映高速接触网的运行状态，为接触网的调整和维护提供科学依据；另一方面也能为高速接触网的受流分析与弓网系统的优化设计提供试验数据和参考。该软件已应用于现场并取得良好效果。