基于自组织神经网络的软件功能测试数据自动生成

针对面向软件功能的测试数据自动生成问题,提出了一种动态自组织特征映射方法,用于生成揭示软件功能故障的测试数据(简称故障数据)。该方法主要有两部分组成,①采用具有全局多峰搜索特性的小生境遗传算法,在输入空间内搜索功能测试数据,生成少量的初始故障数据;②由初始故障数据,采用具有联想和分类能力的可变结构自组织特征映射,不断迭代生成大量相近而不同的故障数据,以便给开发者提供引发这些软件故障的信息,从而确定软件故障行为的模式或假设。用某型空空导弹发射控制软件进行了实验,运行结果表明了方法的有效性,故障数据生成效率高于遗传算法和随机法。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

扫描器自动生成系统的设计与实现

SLEX是一个自动生成扫描器的交互开发环境。本文介绍了它的设计与实现。     

一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

ARINC661设计文件自动生成平台的研究与实现

针对ARINC661规范下座舱显示系统(CDS)的研发中如何由定义文件自动生成符合要求的Word详细设计文件开展研究。分析了设计文件的层次结构,研究了Word设计文件自动生成平台框架,并重点讨论了软件平台关键技术的实现,包括表单树的生成与解读、Word操作类封装、窗体部件模板库的建立。实际应用结果表明,平台可根据DF文件直接生成详细设计文件,极大地提高了CDS设计工作的效率,满足了设计工作程序化、规范化、标准化的要求。     

遥测数据仿真系统的设计和实现

针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题,对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究,设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性,缩短了软件测试周期。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可视化工具中填写对应硬件信息,完成BSP 软件代码及对应文档的自动生成,实现了软件需求的直观化输入到需求与设计的黑盒转化。能有效提高软件开发效率,增加软件成熟度,提高软件产品质量。     

软件配置管理工具的数据库设计与实现

软件配置管理是CMM的一个关键过程域，是软件开发过程的重要过程之一，是一套按规则管理软件生命周期全过程中各种中间软件产品和最终软件产品的方法和技术。随着我国航天事业的飞速发展，对航天测控软件的质量要求也越来越高，为此，我们开发了针对航天测控软件系统的软件配置管理工具(SCMT)。本文介绍了软件配置管理的基本概念和SCMT中的数据库系统的设计和实现思想。     

SCMT软件配置管理工具的设计与实现

1 前 言 软件工程化强调使用生命周期方法学和各种结构化分析及结构化设计技术,把一个软件项目按生命周期划分为定义、开发、使用和维护等几个阶段。软件工程化要求对各个阶段的各种文档和软件进行管理,使得一个软件的开发和生存具有完整清晰的轨迹和良好的可追踪性,以利于对软件开发的控制,提高软件的质量和水平,便于软件维护。 在整个软件开发的过程中,用户对软件的需求经常变化,这是不可避免的。但是,在软件开发的不同时期进行修改的难度和代价是不相同的。早期引入的变动涉及面较小,改起     

面向脏几何的曲面网格自动生成算法

脏几何是存在法向错误、穿插、狭缝、贴合等问题的几何模型,在此类模型的原始边界上直接生成网格无法避免上述问题。因此,在脏几何上无法直接生成拓扑相容的表面网格,这也将影响后续数值分析研究的开展。本文实现了一种基于四面体化方法的脏几何网格生成算法,其核心思想在于一个有效的四面体网格的表面一定是一个有效的曲面网格。本文对几何的离散表征进行法向修复,并在此基础上生成四面体网格,通过离散边界切割四面体解决了模型中存在的穿插问题,基于四面体质量提升解决狭缝问题,并应用曲面网格重构以提升表面网格质量。本文采用视图采样的方法实现法向修复,从多个方向观察该模型,使其在各个方向上的视图均满足质量要求;使用多级的能量阈值提升四面体优化效率;采用多级误差估计来避免曲面网格重构中可能出现自相交的问题。数值验证结果表明本文的脏几何曲面网格自动生成算法鲁棒、高效。     

基于行为逻辑的平流层飞艇试验自动测试方法

平流层飞艇飞行试验之前需在地面开展测试以保证飞艇测控、安全控制等关键分系统功能正常和全系统长时工作可靠。通过研究平流层飞艇的系统结构组成、功能以及控制逻辑,给出了平流层飞艇测试行为逻辑和测试行为;在此基础上,构建了试验测试模式和测试流程,给出了试验测试系统实现方法,确定了测试系统中测试程序功能的实现方式。最后,通过平流层飞艇试验测试实施验证了自动测试方法的有效性。     

直升机飞行参数综合处理软件设计研究

飞行参数综合处理软件是飞行参数综合处理系统的关键组成部分,主要负责分析和处理机载飞行参数记录器记录的飞行信息数据。文中在分析一种直升机飞行数据文件的数据存储结构的基础上,阐明了开发直升机飞行参数数据处理软件的具体思路和实现过程。     

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。     

直升机全机静力试验姿态测量系统软件设计分析

本文简要介绍了一种新型直升机姿态测量系统软件的设计。叙述了姿态测量系统的构成,测量软件的各项功能及其具体实施方法。该软件已在某重点型号直升机全机静力试验中使用,结果表明这种软件的计算方法和数据精度满足了试验要求,取得了成功。     

基于试飞数据的飞行模拟器气动模型校核

为了提高飞行模拟器气动模型模拟的逼真度和置信度,提出了一种模拟器气动模型校核方法。采用先校核纵向、再校核横航向,先校核稳态、再校核动态的思路,通过对比试飞数据与仿真模型相关参数来修正引起偏差的气动导数项;综合分析不同状态点修正系数存在的统计规律,形成可用于飞行仿真解算的气动参数修正模型。试飞数据验证表明,校核后的仿真气动模型能满足模拟器客观测试规范要求,显著提高了气动模型模拟的逼真度。     

航空发动机试车数据分析软件简介

介绍了使用高级程序设计语言Visual Basic开发的航空发动机试车数据分析软件的构成、功能和特点。实际应用与试验对比证明,该软件不仅结果准确,而且省时、简便、实用性强。     

飞行仿真系统的软件设计方法研究

针对现代飞行仿真系统的复杂性和紧耦合性，首先按照一般意义对飞行仿真系统进行了功能模块划分，然后在系统和分系统两个层次上讨论了飞行器仿真软件开发的构架，引入了数据通道的概念，作为解决软件模块间数据接口问题的基本方法，最后通过编程验证了其可行性与合理性。     

数据挖掘在运载火箭智能测试中的应用

针对运载火箭复杂系统的故障检测难以建立准确的数学模型的问题,研究了基于数据驱动的数据挖掘异常检测算法,对多种数据挖掘算法在运载火箭发动机异常检测的应用进行了研究和分析,提出了基于混合概率密度统计的多策略异常检测评价算法。该算法基于非监督学习的算法挖掘火箭发动机不同参数间的正常关联模型,火箭发动机早期的异常数据会引起正常关联模型的破坏,引入混合概率密度统计的多策略异常检测评价机制,可以有效屏蔽参数测量故障对系统故障检测的影响,从而更加准确给出系统异常程度。使用发动机历史试车数据作为样本进行特征模型的训练,使用一元、多元和混合概率密度模型对存在异常的发动机试车数据进行了实时异常检测的实验验证。实验结果表明,相比传统基于阈值和规则的异常检测算法,基于概率密度统计的多策略异常检测算法不仅可给出系统的正常和异常的状态,还可计算各参数和整个系统的异常值,为运载火箭进一步的故障诊断提供更加灵活的参考。     

起落架落震试验测试系统的现状及其发展

能动地我国起落架落震试验测试系统发展的现状进行分析，指出了落震试验测试系统所存在的问题，说明了未来的发展重点及方向。