全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.     

GNSS地基集成测试与开发环境

GNSS地基集成测试与开发环境可测试和监测GPS,GLONASS,GALI-LEO等多种导航星座的空间信号,更重要的是测试和认证各种新型接收机和应用产品的性能和指标。同时为新的GNSS系统投入运行前进行必要的信号结构试验、接收机试验等。本文从集成测试与开发环境建立动机和目标入手,重点阐述了其运行模式、系统结构、测试区域选择标准,并进行了逼真度分析以及系统规划。以期对我国自主研发GNSS集成测试与开发环境做些探索性工作。     

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

飞行软件目标码测试软环境设计

阐述了一种飞行软件目标码测试环境的设计方法.该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计.最后通过应用实例验证了设计方法的可行性.     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。     

ABBET和行业如何运用ABBET规则并借助其产生效益

ABBET（宽域测试环境）是由工业和政府专家制定的一组相关标准,其目的在快速变化的产品测试中提供若干种结果。明确地说,ABBET标准的目标是：1）缩短测试程序开发时间;2）增加测试程序的准确性和效率;3）为测试软件从一种应用到另一应用提供测试代码重用能力;4）提供独立于具体仪器的能力以得到更多机会用于其它系统。ABBET框架是基于一个综合的测试基础框架（TFF）之上的,这个测试基础框架为每个组件标准,应用规范框架和应用程序奠定了基础。TFF是一个面向对象的归类标度体制（系）,它提供必要的对象和服务以满足测试工业广泛的要求。测试设备商和系统集成者目前利用专用的开发框架和方法来达到测试目的,这些工具中的许多都使用可视化程序示例的微软Windows系统。本文通过与非常成功的“SMALLTALKING”和微软基础类库相比较介绍ABBET测试基本框架,其目的是说明ABBET标准与由仪器商,系统集成者和测试系统使用者提出的方向和目标是一致的。     

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

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

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

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