通用嵌入式软件仿真测试环境GESTE2.0隆重发布

由中航一集团计算机软件可靠性管理与测评中心(CATC)自行研发、拥有独立知识产权的通用嵌入式软件仿真测试环境(GESTE)在京隆重发布二代产品——GESTE2.0。GESTE的成功面市打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏通用仿真测试环境的空白,对于相关领域之快速定制需求亦具有非凡的革新意义。     

飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

嵌入式软件仿真测试环境实时脚本技术的研究

针对嵌入式软件仿真测试环境中,测试脚本对激励数据的实时控制和结果数据的实时收集的问题,研究并实现了一种嵌入式软件仿真测试环境中的实时脚本技术,给出了实时脚本设计实现的方法,并通过实例验证了实时脚本技术的有效性。     

雷达抗干扰能力指标测试环境设计

雷达抗干扰能力指标测试环境设计,主要内容包括雷达回波模拟目标信号设计和干扰信号设计。重点解决两个问题:对于目标信号设计,确定模拟目标信号模型;对于干扰信号设计,提出干扰信号的时间分布设计、空间分布设计和频域分布设计。目的是为抗干扰能力指标测试的典型信号环境设计提供技术基础,提高电子干扰环境科学设计与生成能力。干扰测试环境设计技术已得到部分应用,具有可持续应用研究价值。     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

利用基于对象技术方法的IEEE宽域测试环境（ABBET）标准的执行

1996年5月，IEEEABBET标准获得投票通过，作为代替重点为Ada语言核心执行过程的1226-1993试用版的正式标准，修改后的ABBET标准一个主要变化是考虑用硬件/软件独立方式来创建测试程序。新版本的ABBET标准并没有采用什么特殊的方法和技术。然而，创建测试程序对象技术的工业和军事使用表明，ABBET独立于运行时的目标是可以实现的，独立于运行时方式已经带来了效益。但至今只是偶尔在“特定”环境下被享受到。本文对IEEE的1226分会在测试独立运行对象过程方式的进展作历史的介绍。讨论OOT与测试的关系。说明对象技术的特性并讨论了一些可能使用的对象技术。着重于执行过程的方式。     

AI-ESTATE体系和ABBET^TM上层意见

IEEESCC20为宽域测定环境（ABBET）和自动化测试设备人工智能专家系统（AI-ESTATE）拓展标准的工作即将完成。ABBET的分委会正准确通过它的体系标准的“正式”版本（P1226），AI-ESTATE的分委会最近以试用形式出版了它的体系标准（P1232），尽管ABBET体系是独立的，许多人仍把AI-ESTATE看作ABBET家族中必不可少的组成部分。在本文中，我们将就符合AI-ESTATE框架的单元进行讨论。我们还将讨论一个开发测试环境的“系统观点”是如何促进这个集成的。     

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

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