基于HLA的CBTC仿真管理器研究与应用

仿真测试管理器是CBTC系统仿真平台的核心组成部分.针对CBTC系统仿真存在的可扩展性差、实时性差、协同困难等问题,提出了基于HLA(HighLevelArchitecture)的仿真管理器.仿真管理器通过注册机制对系统内各个部件进行管理,实现系统的自由扩展;通过HLA/RTI联邦运行支持环境实现平台中仿真节点建立连接,设计仿真管理器与组件间的通信,提高系统实时性;针对仿真平台内子系统协同性差,系统失步问题,仿真管理器采用协同控制策略来保证系统的同步,该仿真管理器已应用于国家“十二五”项目.     

嵌入式仿真系统的研究与应用

在嵌入式系统越来越复杂的情况下,一个设计糟糕的系统,其运行行为很难、甚至不可能预测,设计所带来的风险也越来越大。该文为嵌入式系统软件提供了一种实用、简捷的开发和设计模式,仿真系统。仿真系统将嵌入式系统的图形界面、业务控制流程和输入/输出设备操作进行有效的解耦合。提高了开发效率,使得系统的易于实现、测试与维护。     

柴油机电控系统软件仿真测试系统研究及应用

针对柴油机电控系统软件系统测试的必要性和难度,设计了基于d SPACE平台的电控系统软件仿真测试系统。介绍了仿真测试系统的软硬件结构及工作流程,对如何建立通用柴油机模型,通用试验,如何通过Automation Desk设计测试用例并实现自动化测试进行了研究。试验结果表明,该仿真测试系统对电控系统软件系统测试具有很好的实效性。     

嵌入式系统仿真测试平台的体系结构研究

仿真开发在嵌入式开发中正逐步成为热点,仿真测试工具在仿真开发过程中正发挥着日益重要的作用。本文首先简要分析了当前的嵌入式测试工具,然后给出一种嵌入式仿真测试平台的体系结构ESTP。基于ESTP体系结构,实现了一个面向信息家电的嵌入式仿真测试平台iaESTP。     

机电作动器悬架硬件在环仿真测试平台研究

为了提高汽车的平顺性,提出一种机电作动器悬架,设计了机电作动器悬架硬件在环仿真测试平台。建立基于机电作动器的主动悬架数学模型与仿真模型,以嵌入式系统单片机为主处理器设计机电作动器悬架的控制器;在此基础上,以dSPACE为模型运行载体搭建机电作动器悬架硬件在环仿真测试平台;利用该测试平台进行了仿真试验。结果表明所研究的硬件在环仿真测试平台具备较好的硬件在环仿真功能,能够对机电作动器悬架性能、主动悬架控制算法进行验证与评价。     

一种嵌入式控制软件的可靠性测试

主要针对我国装备领域的一种嵌入式控制软件的数学仿真平台模拟测试,介绍了平台的结构及被测软件的设计,并对测试所收集的各项数据进行分析,同时简单讨论了可测试剖面及覆盖率有关问题。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

面向综合化计算机系统的全数字仿真测试平台

由于综合化计算机系统的高复杂度以及多样性,如何仿真综合化计算机系统并在此基础上部署测试工作是嵌入式武器装备领域亟需解决的问题。为此,提出一种面向综合化计算机系统的全数字仿真测试平台,利用模型驱动测试模块设计测试用例生成测试脚本,通过仿真系统中的测试控制台与测试代理实现测试工作的调度与控制,使得测试命令在仿真平台中执行,达到在仿真平台上测试被测程序的目的。通过给出针对各种测试类型的测试策略,证明该仿真测试平台的有效性。     

seL4微内核架构的嵌入式虚拟化技术研究

随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求.出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境.本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器.测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求.     

星载嵌入式软件全数字仿真开发验证平台

为了应对当前航天器软件功能日趋复杂与软件研制周期短、对软件可靠性和安全性要求高的矛盾,同时为了满足国产化自主可控的需求,在国产Linux操作系统下,以QEMU的 SPARC V8指令集模拟器为基础,解决了SOC2012片内外设与A6017仿真等关键问题,搭建了一种星载嵌入式软件全数字仿真开发验证平台;提出了通过共享内存解决方案,提高QEMU指令集仿真内核对外围IO空间读写仿真效率;该平台已经用于某卫星型号控制分系统软件和星务软件测试,相较于基于硬件的测试平台,该平台具有更好的可重用性和快速搭建性,能够大大降低硬件测试的风险和成本,同时具备更强的可控性以及更丰富的调试和测试手段。     

嵌入式软件仿真测试脚本语言的设计与实现

软件测试中,脚本技术的引入是实现软件测试自动化技术的有效手段。软件测试脚本化可以减少测试人员的工作量,提高软件测试的可维护性。另外,脚本语言具有较好的移植性,有利于实现跨平台,可提高脚本代码的可重用性和测试的可重复性。结合嵌入式软件测试的特点,提出了针对嵌入式软件仿真测试的通用测试脚本语言ESSTSL,并对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于实际的软件测试中。     

一种面向高性能数值模拟软件的自动化测试平台

高性能数值模拟软件的快速研制是确保高性能数值模拟应用与高性能计算机协调发展的关键,是当前高性能计算应用领域亟待解决的瓶颈问题。软件测试是软件研制过程中不可或缺的重要环节,是影响软件研制效率的重要因素。研制适应于高性能数值模拟软件的自动化测试工具和环境对于软件的快速研发具有重要意义。当前广泛使用的商业、开源自动化测试平台无法很好地满足高性能数值模拟软件测试的需求,因此,设计实现了一种面向高性能数值模拟软件的自动化测试平台。该平台可以适应各类数值模拟软件的系统测试、验收测试需求,具有良好的跨平台性,简单易用,用户可同时通过多种方式方便快捷地访问测试结果,从而快速定位测试中发现的程序错误,为高性能数值模拟软件测试提供技术支撑。目前该平台已为实际的数值模拟软件研发提供测试验证服务,对中国工程物理研究院高性能数值模拟软件中心的19个软件,1 108个验收测试算例进行自动化测试,提供长时间的稳定测试服务,展现了该平台的普适性和稳定性。     

嵌入式软件语句覆盖率测试插桩技术

针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法,在嵌入式硬件系统未完成开发之前,可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。     

基于Keil C51的嵌入式软件外设虚拟化设计与实现

航空航天控制领域嵌入式软件测试主要存在软件运行物理环境受限和软件测试覆盖性不足等问题,为解决以上问题,对嵌入式软件的外部设备进行了研究,构建了数字化测试平台替代实物环境的方案,设计并完成了平台的总线1553B、总线RS422、AD采集、I/O等外部设备;并模拟了平台嵌入式软件真实的运行环境,使测试过程不受实物环境制约,测试激励的注入不受任何限制,保障了测试的充分性;最后,以某电源下位机测试过程为例,实现了故障注入、边界测试,验证了平台在嵌入式软件测试中的有效性和可靠性。     

基于SPARC V8的星载嵌入式软件全数字仿真平台设计与实现

为了提高星载嵌入式软件的可靠性和安全性,解决硬件测试环境构建困难、成本昂贵以及运行状态难以监控的局限性,提出了一种基于SPARC V8的星载嵌入式软件全数字仿真平台设计和实现方法。介绍了全数字仿真平台实现的关键技术,包括CPU指令集仿真、寄存器仿真、存储器仿真、中断控制器仿真、串口仿真、定时器仿真、虚拟外设模型仿真以及设备管理器和平台时序设计。全数字仿真平台与基于硬件的测试平台相比具有可重用性强、可快速搭建、成本低廉、高可控性、调试和测试手段丰富、支持故障注入等优点。该全数字仿真平台已在星载嵌入式软件型号研制中得到了应用,基于此平台可快速搭建虚拟目标机和虚拟外设环境,进行星载嵌入式软件运行仿真、调试验证等工作。     

摩托车道路模拟试验仿真初探

运用UG,ADAMS等软件建立了摩托车虚拟样机模型和虚拟测试平台,通过与MTS两通道道路模拟试验机进行对比,测试模型被反复修正并达到了较高的精度．在测试平台上输入道路模拟试验机迭代驱动信号或不同路面谱信号,可代替道路模拟试验机对摩托车进行舒适性、耐久性模拟试验,从而大大地降低了试验成本。     

基于VxWorks的复杂飞行器模拟平台设计

为了满足多接口、多状态、多任务的复杂飞行器测试需求,设计复杂飞行器模拟平台,基于器上综合电子系统实现飞行器电气系统软硬件接口测试。飞行器模拟平台采用主控机和模拟器两级控制架构,主控机基于WPF框架实现人机交互,完成对模拟器的指令控制;模拟器运行在VxWorks系统下,基于WorkBench开发环境对指令进行实时解析,驱动各功能模块执行动作。试验结果表明,该平台实现了飞行器上各系统电气接口的模拟,保证了器上综合电子系统的高测试覆盖性。     

基于ARINC429接口板的嵌入式底层软件测试平台设计

为满足底层软件的使用需求及减少其存在覆盖率低、消耗成本大、丢包率高、数据采集频率小等问题,提出并设计了基于ARINC429接口板的嵌入式底层软件测试平台。根据ARINC429接口板的结构框图能够设计出嵌入式底层软件测试平台,针对用户安全登录问题,设计了平台登录验证功能;通过对嵌入式底层软件运行信息显示,能够实时对软件运行状态进行监测,进而为数据采集与查询提供支持;设计工具链作为代码编译开发和结构测试工具;通过数据采集、处理、传输来完善软件测试平台的覆盖率。通过实验对比分析可知,该测试平台能够提高测试覆盖率,降低丢包率,促使数据采集频率大大增强,为软件测试平台的安全有效运行提供了保障。     

基于仿真的嵌入式软件白盒覆盖测试系统设计

随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为一大热点。该系统实现了基于仿真的嵌入式软件覆盖测试系统。系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效地解决了传统的基于目标测试带来的一些问题,基本满足了国内用户对嵌入式软件测试的需求。