飞行参数主控计算机主机板的测试

计算机系统的主机板是系统的核心 ,往往也是测试的重要项目。本文应用微诊断法 ,实现了对飞参主控计算机主机板的测试 ,故障覆盖率高。该测试方法对其它机载计算机系统的测试具有推广价值。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

航空机载设备的软件文档种类要求

软件文档是航空机载设备软件的重要组成部分。应遵循适用的标准来规定航空机载设备的软件文档种类要求。应普遍重视软件编码标准和软件配置索引这两种文档，而通常规定的用户手册则不是必需的。     

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于飞行程序的测控软件调度模式及其实现

在分析测控软件调度基本需求的基础上，提出基于飞行程序的测控软件调度模式用以提高地面操作的自动化程度，讨论了该调度模式实现中的关键技术和解决途径。     

多窗口传输协议及其在航空电子系统大数据传输中的应用

随着航空电子系统模块化技术的发展,系统内大数据传输的需求越来越明显,现有的几种大数据传输方式或需要更改现存系统架构,或需要系统具有特定功能支持,难以在不同的航空电子系统中进行广泛应用。为解决这一问题,本文提出一种可在系统应用层中实现的多窗口传输协议及其实现方法。该协议使用额外的资源同时进行多窗口信息传输,保证了在机载网络不稳定环境下传输的速率和稳定性,满足系统大数据传输的需求。而且方法在应用层实现,避免了对系统现有硬件和软件架构的更改,适用范围较广。     

自动测试管理系统研究

针对电子测试管理系统开发的需要,总结了电子测试仪器的IO接口驱动方法,给出了采用面向对象技术对仪器控制模型进行封装和操作的一般方法,总结了测试系统中软件同步控制的几种方法,给出了专用测试管理系统软件的通用结构,提出了采用数据库BLOB字段对频谱数据等无结构大型数据进行存储管理的方法。     

基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

等离子体诊断中扫描电压源的研制

详细叙述了扫描电压源的硬件和软件组成,并通过采用PCI-6251数据采集卡、PA93功率放大电路和虚拟仪器软件LabVIEW及工控机相结合, 突破了关键技术,成功研制了一套扫描电压源并应用于等离子体诊断,使整个测试过程非常快, 可以在秒级的时间内完成, 相对于手动测试,该实验得到的数据更为精确, 实时获得了等离子体的伏安(I-V)特性曲线和数据处理结果。