浅析机载软件测试策略

归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。     

基于HDLC协议的记录器软件测试方法

HDLC协议是一种面向比特的高级数据链路控制协议,由于具有高效、透明和同步传输的特点而广泛应用于数据通讯领域中。在对数据链路层功能、HDLC协议介绍的基础上,分析了基于HDLC协议开发的某型飞行记录器软件特点,提出了一种针对HDLC协议测试的异常测试设计方法。测试结果表明,测试方法能有效发现与HDLC协议不符的软件缺陷,可有力地保障基于HDLC协议开发的软件安全性、可靠性和质量。     

应用虚拟测试技术提升航天嵌入式软件可信性

将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实目标机的环境与虚拟环境的优缺点,并总结了国内外航天企业对虚拟测试环境技术的研究和应用情况。     

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

软件测试方法常见误区的思考

根据实际项目经验,分析软件测试技术中存在的误区,从测试原则、硬件指标、嵌入系统、软硬件应用以及测评等方面归纳和总结出解决方法。     

航电系统机载软件全数字仿真测试平台技术研究

为解决型号研制过程中航电系统软件测试困境,提出一种全数字仿真测试解决方案。在不采用成品实物的情况下,对航电系统软件进行测试,测试过程可覆盖软件研制全生命周期。     

开发自主版权CAD／CAM软件

本文介绍了具有自主版权软件的测试过程，并着重介绍了获奖软件ＳｕｐｅｒＭａｎ在研制、开发过程中遇到的问题，提出了今后ＣＡＤ／ＣＡＭ软件开发应注意的几个问题。     

ATC系统测试方法研究与实现

软件测试是保证软件质量的最重要的手段，它代表了规约、设计和编码的最终评审。空中交通管制系统除了满足功能上的需求外，还必须满足时间约束，所以要搭建特殊的测试环境，以保证其实时性要求。     

测控软件测试用例库管理系统的研发

遥测遥控系统在航天领域中的作用举足轻重,测控系统软件测试的特点通常是项目多、周期短、要求高。为有效管理和快速复用历史测控软件项目的测试用例,提高软件测试工作的效率和质量,本文构建了测控软件测试用例数据库,并设计实现了软件测试用例库管理系统,已将其应用于多个测控系统工程项目,取得了良好的效果。