删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

嵌入式软件虚拟化测试技术标准框架研究

本站小编 哈尔滨工业大学/2019-10-24

嵌入式软件虚拟化测试技术标准框架研究

曲明成1,2,崔乃刚2,吴翔虎1,陶永超1

(1.哈尔滨工业大学 计算机科学与技术学院,哈尔滨150001; 2.哈尔滨工业大学 航空宇航科学与技术博士后流动站,哈尔滨 150001)



摘要:

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器 (GDB) 间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器 (GDB) 三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.

关键词:  嵌入式软件测试,虚拟目标机,虚拟测试系统

DOI:10.11918/j.issn.03676234.201505075

分类号:TP337

文献标识码:A

基金项目:国家自然科学基金(61402131);中国博士后科学基金(2014M551245);黑龙江省博士后科学基金(LBH-Z13105);中央高校基本科研业务费专项资金(HIT.NSRIF.201651); 中国博士后基金(2016T90293)



Research on general framework of virtual testing for embedded software

QU Mingcheng1,2,CUI Naigang 2,WU Xianghu1,TAO Yongchao1

(1. School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China; 2.Aerospace Science and Technology Postdoctoral Workstation, Harbin Institute of Technology, Harbin 150001, China)

Abstract:

In recent years, lots of fruitful results have been achieved in the aspects of simulation technology for embedded hardware and virtual testing for embedded software. However, there are some shortcomings in the previous achievements. For example, there are no overall, unified, flexible and general interfaces among the generic components, so it results that different architecture or different type of simulation processors cannot interact and integrate with simulation devices directly, and result that system-level customization capabilities are lack. Based on component, a set of general structures, standard interfaces, processing logics for virtual processors, virtual peripherals and debugger are proposed. We did some optimizations and deletions, added some new features in GDB, so that GDB can dynamically load at runtime to support multiple processor architectures. A virtual testing system is developed, by it the validity and correctness of the proposed method, structure, interfaces are verified. The proposed methods and technologies have more advantages compared with other similar technologies or projects.

Key words:  embedded software testing  virtual target machine  virtual test system


曲明成, 崔乃刚, 吴翔虎, 陶永超. 嵌入式软件虚拟化测试技术标准框架研究[J]. 哈尔滨工业大学学报, 2017, 49(5): 49-55, 121. DOI: 10.11918/j.issn.0367-6234.201505075.
QU Mingcheng, CUI Naigang, WU Xianghu, TAO Yongchao. Research on general framework of virtual testing for embedded software[J]. Journal of Harbin Institute of Technology, 2017, 49(5): 49-55, 121. DOI: 10.11918/j.issn.0367-6234.201505075.
基金项目 国家自然科学基金 (61402131);中国博士后科学基金 (2014M551245);黑龙江省博士后科学基金 (LBH-Z13105);中央高校基本科研业务费专项资金 (HIT.NSRIF.201651);中国博士后基金 (2016T90293) 作者简介 曲明成 (1980—),男,博士/博士后,讲师;
崔乃刚 (1965—),男,教授,博士生导师 通信作者 曲明成,qumingcheng@hit.edu.cn 文章历史 收稿日期: 2015-05-18



Contents            -->Abstract            Full text            Figures/Tables            PDF


嵌入式软件虚拟化测试技术标准框架研究
曲明成1,2, 崔乃刚2, 吴翔虎1, 陶永超1    
1. 哈尔滨工业大学 计算机科学与技术学院,哈尔滨150001;
2. 哈尔滨工业大学 航空宇航科学与技术博士后流动站,哈尔滨 150001

收稿日期: 2015-05-18
基金项目: 国家自然科学基金 (61402131);中国博士后科学基金 (2014M551245);黑龙江省博士后科学基金 (LBH-Z13105);中央高校基本科研业务费专项资金 (HIT.NSRIF.201651);中国博士后基金 (2016T90293)
作者简介: 曲明成 (1980—),男,博士/博士后,讲师;
崔乃刚 (1965—),男,教授,博士生导师
通信作者: 曲明成,qumingcheng@hit.edu.cn


摘要: 针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器 (GDB) 间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器 (GDB) 三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.
关键词: 嵌入式软件测试    虚拟目标机    虚拟测试系统    
Research on general framework of virtual testing for embedded software
QU Mingcheng1,2, CUI Naigang2, WU Xianghu1, TAO Yongchao1    
1. School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China;
2. Aerospace Science and Technology Postdoctoral Workstation, Harbin Institute of Technology, Harbin 150001, China


Abstract: In recent years, lots of fruitful results have been achieved in the aspects of simulation technology for embedded hardware and virtual testing for embedded software. However, there are some shortcomings in the previous achievements. For example, there are no overall, unified, flexible and general interfaces among the generic components, so it results that different architecture or different type of simulation processors cannot interact and integrate with simulation devices directly, and result that system-level customization capabilities are lack. Based on component, a set of general structures, standard interfaces, processing logics for virtual processors, virtual peripherals and debugger are proposed. We did some optimizations and deletions, added some new features in GDB, so that GDB can dynamically load at runtime to support multiple processor architectures. A virtual testing system is developed, by it the validity and correctness of the proposed method, structure, interfaces are verified. The proposed methods and technologies have more advantages compared with other similar technologies or projects.
Key words: embedded software testing    virtual target machine    virtual test system    
嵌入式系统广泛应用于航空航天、工业过程控制、机器人、消费类电子等众多领域.嵌入式系统多采用专用计算机系统, 这导致了相应嵌入式软件在开发工具、测试手段、故障模拟与分析等方面都具有较大的难度, 而硬件的研制速度滞后在一定程度上制约了软件的研制,从而导致整个嵌入式系统开发周期延长.嵌入式系统多具有强实时性、系统的计算较多地依赖外部各类传感器数据、复杂的分布式系统间要进行具有特定时序和信息特征的交互、可靠性安全性要求较高、硬件错误和故障容易引起较大的破坏、特定外部场景数据、异常或错误特征较难触发和模拟等特点, 使嵌入式软件的调试和测试过程更加困难.

近年来针对嵌入式系统硬件的纯软件仿真技术 (虚拟系统技术) 得到了长足的发展.该技术采用纯软件仿真目标嵌入式系统的硬件 (处理器、存储、总线和外设),并可以对系统外信息输入和输出进行模拟,同时辅以上层IDE和相应工具链支撑,形成功能强大的仿真测试环境.这项技术在嵌入式软件的开发、调试、测试、故障模拟、错误分析、理论验证等方面都得到了广泛的应用,也为嵌入式系统的软硬件协同开发提供了一种较好的解决途径[1-5].

1 相关研究及不足分析针对嵌入式系统的硬件仿真主要包括处理器仿真和设备仿真两个部分.而处理器仿真 (仿真核) 技术又可以分为三类:指令级、周期级、时序级仿真.指令级仿真可以给出系统状态的精确行为;周期级仿真可以给出每一周期的处理器精确行为;时序级仿真可以给出在一周期内准确时间出现的信号.

从国内外研究的现状来看,有很多团体或组织机构根据不同的应用领域对三种仿真类型展开了研究,并取得了一定进展.较有影响的主要有如表 1所示的几种.

表 1
表 1 嵌入式硬件系统软件仿真项目 Table 1 Software simulation project for embedded hardware 项目名称/授权 内容描述

QEMU/开源[6-7] 现阶段能虚拟X86,SPARC, POWERPC, ARM,MIPS目标硬件平台和多种外设.

Bochs/开源[8] 一个x86硬件平台的开源模拟器,可仿真英特尔x86 CPU、常见的I/O设备、和定制的BIOS.

ARMulator/商业[9] ARM公司以商业目的开发的指令集仿真器.它具有指令级、周期级、时序级三种粒度的仿真功能.

Simics/商业[10] 风河系统公司开发的一款高性能的系统模拟器,仿真器可以仿真多种CPU和硬件.

GDB/ARMulator/开源[11] 实现了在GDB (GNU Project debugger) 环境下仿真ARM7TDMI的功能.

ARMphetamine/开源[12] 是一个由Julian Brown领导的正在开发中的开源项目,目标在于开发快速的ARM仿真器.

SkyEye/开源 清华大学启动的项目,支持ARM7TDMI, ARM720T,AT91X40,StrongARM SA110/SA111等仿真.



表 1 嵌入式硬件系统软件仿真项目 Table 1 Software simulation project for embedded hardware


QEMU虽然能够模拟较多类型的体系结构,但是由于其初衷不是为虚拟测试系统所设计,其结构并非基于可配置组件思想,因此针对一个特定的目标系统很难进行直接、快速地配置搭建;同时在其仿真处理器 (仿真核)、仿真外设与GDB间缺乏统一和标准的结构、接口设计,导致无法动态支持多种处理器体系;再次,由于其与GDB间采用基于MI的通信接口,而并未对GDB进行深层优化,导致针对嵌入式测试领域的场景、故障、异常用例模型的构建、注入和触发管理功能无法得到有效支持;最后由于其仿真核只是对体系结构的模拟,对嵌入式软件测试过程中的汇编、高级程序分支和语句覆盖率记录与分析无法提供支撑.而Bochs与其他ARM系列仿真模拟器只是针对特定处理器体系进行的仿真,对多处理器体系本身就不支持,更不具备仿真核与外设的灵活配置能力. Virtutech Simics是风河公司推出的商业化仿真模拟器,可以支持多种处理器和体系,但是每款体系的模拟器都是集成编译好的软件单元,不能进行目标系统的灵活配置、定制,用户需要按需购买和实用,接口和标准无法获知.

基于软件仿真技术来构建嵌入式软件虚拟测试环境,需要具备三部分基本功能,即目标系统仿真单元、调试器和可视化调试工具.前两部分合称为虚拟测试系统,三者合称为虚拟测试环境.由于嵌入式计算机系统硬件构成专有、多样,因此为嵌入式软件提供测试与验证服务的虚拟测试系统需要具备灵活、标准化、可配置特性,支持故障与异常、特定场景用例的注入与触发、覆盖率分析、闭环与分布式仿真等综合能力.而单纯关注于任何一个部分都不能较好地达到上述目标.本文基于组件思想,对仿真核、外设、GDB三者体系及交互的结构、标准、接口进行了深入研究与综合优化设计,提出一套标准、方法、结构和接口,对GDB体系进行了改造、优化与完善,在实际的课题中使用和验证了所提方法、标准的标准性、正确性和有效性.

2 虚拟测试基本概念定义1?虚拟处理器 (仿真核).采用纯软件仿真技术对特定体系处理器进行仿真,包括取指、译码、执行过程,以及处理器核心寄存器配置和逻辑响应.

定义2?虚拟设备 (仿真外设).对嵌入式目标机中的物理外设进行纯软件仿真,包括基本输入输出过程、寄存器及相应位逻辑.

定义3?嵌入式虚拟目标机 (虚拟目标机).采用软件仿真技术,对嵌入式系统硬件的CPU、总线、外设进行仿真,使基于真实硬件编写的程序所对应的二进制映像可以在其上直接运行,称这套纯软件仿真的目标机为虚拟目标机.

定义4?嵌入式软件虚拟测试系统 (虚拟测试系统).将调试器软件与虚拟目标机进行有效整合,可以对二进制映像文件进行调试、综合分析的软件系统.

定义5?嵌入式软件虚拟测试可视化集成环境 (虚拟测试环境).将可视化调试环境以及各类测试手段和方法与虚拟测试系统进行整合,构成可视化虚拟测试环境.

定义6 ?闭环测试.在一个虚拟测试系统中,虚拟设备具备解析执行外部脚本或用例模型的能力,从而为嵌入式软件的测试提供交互式仿真数据.

定义7 ?覆盖率分析.基于虚拟测试系统,在软件执行过程中记录指令执行信息,根据编译信息反推出汇编和高级程序所走的每条语句和分支信息,进一步计算出分支和语句覆盖率信息.

嵌入式系统多基于专有计算机系统,处理器体系、外设的构成多样且复杂,因此一个虚拟测试系统所需要具备的最典型特征是: 1) 多体系支持和目标机可灵活配置,同时由于嵌入式系统的外部输入的复杂特性; 2) 能够有效模拟场景和故障的用例触发形成闭环测试也十分重要,为了能够有效分析程序的执行结果; 3) 能够记录程序执行过程中的数据和语句信息十分必要.显然能力1) 需要在虚拟目标机层次解决,而2), 3) 是指令执行之外的特征,因此需要在调试器层面解决.

3 虚拟处理器与外设结构设计 3.1 虚拟处理器基本功能接口虚拟处理器在一个虚拟测试系统实例中充当核心的角色,它决定了测试目标环境的硬件体系结构,主要完成测试代码指令的译码与模拟执行操作,提供整体模拟环境的基本运行支持.本文通过对各种处理器硬件结构的抽象设计,提出一套虚拟处理器组件标准功能接口.通过该接口,虚拟目标机配置时可以无需了解组件体系结构与实现细节,透明地加载虚拟处理器组件,并通过对该接口的调用,来操作虚拟处理器组件的运行以及相关行为.

虚拟处理器基本功能接口包括:1) 初始化虚拟核,2) 仿真核复位,3断点操作,4) 事件操作,5) 中断触发,6) 错误回调.

虚拟处理器组件导出的标准接口可分为两部分:虚拟执行接口与调试功能接口.系统 (GDB模块) 通过对不同接口的调用,来控制虚拟处理器组件不同的行为.

虚拟执行接口包括通过GDB调用虚拟核的各功能接口实现.接口功能包括:1) 初始化虚拟处理器,当GDB加载完虚拟处理器对其进行初始化;2) 复位虚拟处理器, 向虚拟处理器注入错误信息, 启动虚拟处理器运行, 暂停虚拟处理器运行, 在虚拟处理器执行过程中,产生外部中断时, 停止虚拟处理器运行.

调试功能接口包括通过GDB调用虚拟核的各功能接口实现.接口功能包括:1) 另虚拟处理器执行若干条汇编语句;2) 获取虚拟处理器寄存器或地址空间数据;3) 设置处理器寄存器或地址空间数据;4) 在处理器调试执行过程中增加/删除断点;5) 获取虚拟处理器当前执行指令PC值;6) 向虚拟处理增加内核事件;7) 获取虚拟处理器运行周期数;8) 获取虚拟处理器配置主频;9) 获取虚拟处理器执行状态;10) 获取虚拟处理器指令执行历史.

虚拟测试系统通过上述接口保准和调用关系,可完成对虚拟处理器组件的加载、启动、暂停、设置调试信息等基本操作.

3.2 虚拟处理器标准功能构成及交互逻辑为了能够满足复杂嵌入式软件调试、测试和验证等目标,设计出如下的虚拟处理器组件的功能构成及交互关系.虚拟处理器组件应包含如图 1所示功能集合和调用与依赖关系.

Figure 1
图 1 虚拟处理器组件的功能模块组成 Figure 1 Functional components of the virtual processor


1) 虚拟执行控制单元.该单元主要完成对指令执行的管理,以及取指、译码与模拟执行的操作.其中,指令执行管理是指管理处理器模拟执行状态,包括确定应模拟执行多少条指令,何时应该暂停模拟执行等;指令的取指与译码则是指在内存设备中取得要执行的指令,并将其译码,判断指令类别与操作数;指令的模拟执行则是根据指令类别与操作数,执行指令的功能,可能包括对寄存器组或内存数据的操作等等.除此之外,在模拟执行一条指令之后,还需要对虚拟处理器的其他功能模块进行驱动执行,具体见其他单元设计.

2) 断点管理单元.该单元主要对虚拟处理器内的断点调试操作进行支持,对用户设置的断点进行记录与管理,并在代码段中进行断点指令的替换操作.当处理器虚拟执行至断点指令处时,则处理器暂停虚拟执行,并返回暂停状态,供用户进行数据获取等调试操作.

3) 内核事件管理单元.该单元对虚拟处理器的内部事件进行管理,包括地址触发、时间触发两种形式的事件队列,当处理器虚拟执行完一条指令之后对两个事件队列进行响应时,如果当前状态满足触发条件则对特定的事件进行处理,执行特定功能.该单元主要是为了系统的故障注入、数据采集等操作提供基本的支持.

4) 中断响应管理.该模块为处理器响应中断提供能力.当处理器虚拟执行完一条指令之后,则会查询当前是否有中断信号产生,是否需要响应.如果需要,则会跳转至异常向量表中断入口继续执行.

5) 代码执行历史记录模块.该模块主要是对虚拟处理器执行过的代码进行执行次数、跳转情况等数据的记录,并通过接口导出代码执行历史文件,供系统进行覆盖率分析,最终生成覆盖率分析报告.

3.3 虚拟外设标准结构与接口在一个虚拟测试系统实例中,虚拟设备与虚拟处理器组件相“连接”,为处理器提供外围设备支持,完成系统级虚拟目标机环境的搭建.

虚拟设备组件与虚拟处理器组件一样,其实现必须满足标准接口功能,包括:1) 设备注册,2) 设备启停,3) 设备复位与退出,4) 设备中断,5) 设备的读写.

虚拟设备组件接口函数也可以分为2类:1) 设备管理接口;2) 设备执行访问接口.其中,管理接口是在设备向系统 (GDB模块) 进行设备注册、接受初始化等操作时使用;访问接口则是在虚拟处理器模拟执行时对设备进行访问时使用.

4 GDB与仿真系统接口及交互过程设计 4.1 GDB标准性结构设计GDB分为5个层次:I/O抽象层、控制层、功能层、目标抽象层和仿真目标层,如图 2所示.其中: I/O抽象层主要处理GDB的命令循环等信息交互的操作;控制层主要进行命令解析、表达式分析、信息提取等操作;功能层则是对具体命令的响应处理,包含大量的处理函数以及相应结构;目标抽象层则是对可执行文件进行符号解析等操作;最底层的仿真目标层则是对可执行程序进行仿真执行,产生结果.

Figure 2
图 2 GDB原始结构 Figure 2 Original structure diagram of GDB


GDB支持的目标结构非常局限,编译一次只能支持一种体系结构,并且只具备指令集虚拟执行的功能,能力非常有限.为了达到GDB能够无差别的加载ARM/SPARC /DSP等多种体系虚拟处理器目标,对GDB进行优化、改造和完善,即将其仿真目标层替换为目标仿真内核.

在保留其调试能力的基础上,对GDB的功能进行了极大的优化扩充,添加GDB组件管理模块,用来对系统实例的各个虚拟设备进行加载与管理.对GDB的层次结构进行了重新设计与实现,使其满足标准性.标准性的改造主要包括:

1) 保留I/O抽象层与控制层.

2) 对功能层进行多种体系结构支持的优化.

3) 在功能层中,增加系统虚拟处理器、虚拟设备组件管理, 并通过对设备配置信息的获取与管理生成通信结构.

4) 在功能层中,增加系统辅助功能支持.

5) 对目标抽象层中的文件解析功能进行扩充使其支持常见的可执行文件结构,如ELF、COFF等.

6) 对目标抽象层中的处理器硬件抽象结构进行更全面的抽象设计,最终提出可满足不同体系结构处理器的虚拟处理器标准接口,并通过该接口加载不同的虚拟处理器组件.

7) 将虚拟目标层全部剔除,更改为本系统中虚拟测试系统实例的加载,完成虚拟测试系统实例的模拟执行.

标准性改造后的GDB结构如图 3所示.通过对GDB与虚拟处理器标准性的设计,可以达到GDB支持的虚拟处理器体系结构无关性的目标.只要是按照统一接口要求实现的仿真器均可以与GDB进行链接、通信,进而构成完整的仿真、调试虚拟测试系统.

Figure 3
图 3 支持虚拟验证系统的GDB结构 Figure 3 Structural transformation of GDB supporting virtual verification system


对于处理器标准的接口函数设计虚拟处理器标准接口设计一节已经给出.同样,为了能够使不同种类的虚拟处理器可以一致的加载各种类型的虚拟设备,在虚拟处理器与虚拟设备中,也同样需要实现统一的接口,标准接口函数设计如表 2所示.

表 2
表 2 仿真核DLL与仿真外设DLL的标准接口定义 Table 2 Interface definitions between simulation processor and peripheral DLLs 接口函数定义 接口说明

Int SIMP_Init 根据传入参数初始化虚拟核.

Int SIMP_BlockConfig 仿真核复位例程

Int SIMP_InterruptConfig 启动线程执行程序

void DLL_EXPORTSIMP_CPUReset 单步执行

Int SIMP_CPURead 暂停执行

Int SIMP_CPUWrite 获得指定寄存器的值

int SIMP_UnLoadDLL 设置指定寄存器的值

Int SIMC_ReadMem 获取指定地址段值

Int SIMC_WriteMem 设置指定地址段值



表 2 仿真核DLL与仿真外设DLL的标准接口定义 Table 2 Interface definitions between simulation processor and peripheral DLLs


GDB根据用户的选择进行相应的仿真核DLL以及仿真外设DLL的加载,形成完整的仿真器,提供仿真运行、源码调试的环境.此外,仿真核需要与GDB一同协调完成一些仿真器相关的调试命令操作,还需要完成一些GDB之前不支持的功能,如外部中断的响应.

4.2 GDB与虚拟处理器线程控制如果将GDB自身作为一个独立进程且是单线程执行,那么当虚拟测试系统 (虚拟处理器+GDB) 运行时其不能响应外部的操作 (中断、命令).因此,将虚拟处理器程序作为一个单独的线程来实现,而这种由DLL提供虚拟处理器的形式,正好给双线程机制提供了基础.

一个虚拟测试系统进程中包括GDB与虚拟处理器两个线程,二者通信过程设计如图 4所示.由图 4可知,将GDB与虚拟处理器DLL作为两个线程,不仅可以使信息更新更快捷,还可以在虚拟处理器运行时,GDB系统可以响应外部中断信号以及调试人员的命令.

Figure 4
图 4 GDB线程与虚拟处理器线程交互逻辑设计 Figure 4 Interactive logic between GDB and virtual processor threads


具体过程为:当GDB调用统一接口中的函数Void SIMC_Run (void) 时,仿真核将会启动线程执行仿真,启动线程后,仿真核导出接口函数依然会等待外部的调用.当有中断信号来时,就可以第一时间进行中断响应.

与线程操作有关的算法设计:

算法1?创建线程,启动仿真核.

Bool SIMC_Run (void)

??{

????设置仿真核初始状态;

????If (仿真线程未创建)

????{

??????设置为连续执行;

??????创建线程,CreateThread (……ARMul_DoProg……);

????}

??根据创建情况返回值 (失败、正常);

??}

算法2?设置仿真核单步执行.

Bool SIMC_Step (void)

??{

????设置为单步执行;

????If (仿真线程未创建)

??????创建线程,CreateThread (……ARMul_DoProg……);

????根据创建情况返回值;

??}

算法3?仿真线程执行.

DWORD WINAPI ARMul_DoProg (void * ptr)

??{

????while (1)

????{

??????执行信息的获取;

??????while (仿真核状态!=退出)

????????{

??????????判断是连续运行,还是单步运行;

??????????启动仿真核;

??????????获取仿真核状态;

????????}

??????获取由信号量保护的标志变量,判断接

下来的操作;

????}

??}

5 虚拟测试技术比较 5.1 系统结构构建了一个基于本文所提方法、标准构建的虚拟测试系统和虚拟测试环境,包括标准化组件库、GDB及虚拟目标机管理、虚拟目标机配置、可视化调试界面、测试支撑功能管理等5个主要部分.前两者是构建虚拟测试环境的核心和基础,只要二者提供对外的调用和管理接口,测试环境的功能可以根据实际需要进行灵活开发和定制.采用实际项目验证本文所提方法的正确性和有效性.验证软件系统构建于Sparc V7处理器 (ERC 32芯片),外设包括CAN总线、1553B总线、422总线,每种总线均采用主从模式与外部分系统进行数据交互.

根据本文提出的方法对处理器、外设仿真调用接口进行了标准化结构和接口设计并封装为DLL组件,设计了相应的描述XML文档,使二者以组件形式构成可灵活配置和加载整合的虚拟目标机组件库.对GDB的逻辑层次进行了重新设计、去掉了虚拟目标层、扩充和删减了其他层次,使GDB可以对标准化的虚拟目标机进行直接加载运行和灵活调度,打破了传统的一次GDB改造和编译只能支持一种体系处理器的限制.

GDB除了CLI (Commnad Line Interface) 命令外,还提供MI (Machine Interface) 命令接口.验证项目也是基于MI构建了图形化调试界面,并将仿真数据注入和动态结果获取、覆盖率分析和虚拟目标机配置和解析等功能一并整合到前端界面工具中,从而构成完整的虚拟测试环境.

5.2 综合比较 5.2.1 能力比较表 3列出了本文提出的技术与其他一些虚拟目标机和虚拟测试系统在多处理器支持、虚拟设备支持、虚拟目标机可灵活配置生成以及其他测试功能支持方面的综合比较.给出了处理器仿真核的统一调用接口、处理器与外设的统一访问接口以及GDB与外设与仿真核间的统一接口,并对仿真核和外设进行组件化标准定义,达到了虚拟目标机可配置以及多种处理器体系支持的目标.同时由于改造了GDB接口,使之具备能够有效管理外设和虚拟核,达到了闭环测试、用例模拟、数据采集和覆盖率分析的嵌入式软件重要测试能力.

表 3
表 3 与其他工具综合能力比较 Table 3 Comprehensive ability comparison with other projects 分类特征 多处理器支持 虚拟设备支持 可配置目标机定制 闭环仿真 故障、场景用例模拟 运行时数据采集 覆盖率分析

QEMU 支持 支持 不支持 不支持 不支持 不支持 不支持

Bochs 不支持 支持 不支持 不支持 不支持 不支持 不支持

Simics 支持 支持 不支持 不支持 不支持 不支持 不支持

ARMulator 不支持 支持 不支持 不支持 不支持 不支持 不支持

CCS 不支持 支持 不支持 不支持 不支持 不支持 不支持

Riscose 不支持 支持 不支持 不支持 不支持 不支持 不支持

ARMphetamine 不支持 支持 不支持 不支持 不支持 不支持 不支持

SkyEye 不支持 支持 不支持 不支持 不支持 不支持 不支持

本文结构 支持 支持 支持 支持 支持 支持 支持

注:设备仿真支持指总线、串口、数模转换器等满足特定功能需求的外部设备,而非如内存、定时器等仿真必需设备.



表 3 与其他工具综合能力比较 Table 3 Comprehensive ability comparison with other projects


5.2.2 结果分析定义了处理器虚拟功能集合、交互逻辑及标准化接口;外设标准化接口;以及虚拟和与GDB间的交互逻辑与标准化接口,从而能够支持表 3中的各种能力,具体解释如表 4所示.

表 4
表 4 比较结果分析 Table 4 Analysis of comparative results 能力比较项 本文能力实现的基本方法

多处理器支持 虚拟处理器功能集合、标准接口、交互逻辑的定义与标准化.

可配置目标机定制 基于标准化虚拟处理器、虚拟外设构成与配置规范.

故障、场景用例模拟 GDB功能拓展层,基于GDB-MI的用例传送,虚拟处理器和虚拟设备功能与接口标准.

运行时数据采集 GDB与虚拟处理器间标准化交互接口,以及虚拟处理器覆盖率及历史指令记录功能及接口.

覆盖率分析 基于运行时采集的数据进行源码\汇编码两级的分支、语句覆盖分析.



表 4 比较结果分析 Table 4 Analysis of comparative results


6 结论本文以构建可灵活配置、可定制、具备强大嵌入式软件仿真调试能力的标准化虚拟测试系统为目标,以组件化为基础,以虚拟处理器、外设和调试器的功能、体系、逻辑和接口的标准化为核心思想,分析设计了虚拟处理器的基础性、必要性功能构成以及与调试器和虚拟设备间的执行、调试接口及函数构成,以及彼此间的交互逻辑.设计了虚拟外设的结构构成,构建虚拟处理器对虚拟设备间调用方法、数据交互过程.为了满足虚拟验证系统可配置、多处理器体系的灵活支持,充分分析了GDB结构、接口,优化、改造和丰富了GDB调试器,使其可以不经过源代码重新编译前提下,运行时动态加载特定虚拟处理器和相应虚拟外设,并具备故障注入、常用用力触发、运行时数据记录存储等多种核心能力.

通过构建出标准化的虚拟测试系统规范,能够使不同阶段、不同来源的虚拟处理器和外设组件进行直接、快速、有效地整合和互联,实现虚拟目标机、虚拟测试系统、虚拟测试环境的快速搭建,从而提升虚拟测试的效率,降低研发成本.


参考文献
[1]郭向英, 张西超, 赵雷. 应用虚拟测试技术提升航天嵌入式软件可信性[J].质量与可靠性, 2014(1): 55-59.
GUO Xiangying, GUO XiChao, ZHAO Lei. Application of virtual test technology to enhance the credibility of the aerospace embedded software[J].Quality and Reliability, 2014(1): 55-59.

[2]芦彩林, 丁刚毅. 嵌入式软件全数字仿真测试环境设计[J].计算机仿真, 2007, 24(1): 295-297.
LU Cailin, DING Gangyi. Design of full digital simulation test environment for embedded software[J].Computer Simulation, 2007, 24(1): 295-297.

[3]AARNO D, ENGBLOM J. Software and system development using virtual platforms: full-system simulation with wind river simics[M]. San Francisco: Morgan Kaufmann, 2014.

[4]叶常春. 嵌入式虚拟化技术[J].计算机工程与科学, 2012, 34(3): 41-45.
YE Changchun. The embedded virtualization technology[J].Computer Engineering & Science, 2012, 34(3): 41-45.

[5] MUTTER F, GAREIS S, SCHATZ B, et al. Model-driven in-the-loop validation: simulation-based testing of UAV software using virtual environments[C]//Engineering of Computer Based Systems (ECBS), 201118th IEEE International Conference and Workshops on. IEEE, 2011: 269-275.

[6] BECKER M, BALDIN D, KUZNIK C, et al. XEMU: an efficient QEMU based binary mutation testing framework for embedded software[C]//Proceedings of the Tenth ACM International Conference On Embedded Software. New York: ACM, 2012: 33-42.

[7]李毅, 徐萍, 万寒. 基于QEMU实现的处理器类故障模拟与注入方法研究[J].计算机工程与科学, 2014, 36(1): 19-27.
LI Yi, XU Ping, WAN Han. Research on a QEMU-based processor fault simulation and injection method[J].Computer Engineering & Science, 2014, 36(1): 19-27.

[8]肖荣荣. 基于Bochs的X86小核前端时序模拟器的设计及优化[M]. 北京: 北京邮电大学, 2012.
XIAO Rongrong. Design and optimization based on bochs for the front-end architecture of X86 single coreprocessor[M]. Beijing University of Posts, 2012.

[9] LEE Y R, CHO S Y, LEE J B. The design a virtual prototyping based on ARMulator[C]// Fourth Annual ACIS International Conference on Computer and Information Science. Jeju Island: IEEE, 2005: 387-390.

[10]MAGNUSSON P S, CHRISTENSSON M, ESKILSON J, et al. Simics: a full system simulation platform[J].Computer, 2002, 35(2): 50-58.DOI: 10.1109/2.982916

[11]SATRIA H, WIBOWO B, KWON J B, et al. VDEES: a virtual development environment for embedded software using open source software[J].IEEE Transactions on Consumer Electronics, 2009, 55(2): 959-966.DOI: 10.1109/TCE.2009.5174480

[12] GHANEM A K, EL-MAHDY A H, EL-SALAM I A. A cycle-accurate micro-architecture simulation framework for embedded processors[C]//The 2006 International Conference on Computer Engineering and Systems. IEEE, 2006: 71-76.


相关话题/测试 软件 系统 技术 博士后

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 基于声发射技术的单丝复合材料界面性能研究
    基于声发射技术的单丝复合材料界面性能研究隋晓东1,吴凯文2,李烨2,李珂1,肇研2(1.沈阳飞机设计研究所结构部,沈阳110035;2.北京航空航天大学材料科学与工程学院,北京100191)摘要:为了克服传统单丝断裂实验局限于透明及高应变树脂的缺点,进一步拓展其应用范围,将声发射技术与传统单丝断裂实 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 薄板焊接变形中频感应矫正技术
    薄板焊接变形中频感应矫正技术刘海华,白云龙,李亮玉,陈豪杰,王力斌(天津市现代机电装备技术重点实验室(天津工业大学),天津300387)[HJ1.8mm]摘要:目前针对船舶上层建筑中的薄板焊接变形矫正主要采用火焰矫正法,但此种方法效率低、操作安全性差,且难以实现自动化.为了更好地实现薄钢板焊接变形感 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 汽车轻量化技术的研究现状综述
    汽车轻量化技术的研究现状综述李光霁,刘新玲(上海应用技术大学机械工程学院,上海201418)摘要:近年来汽车行业的科技水平发展程度逐渐提高,汽车行业进入高速发展阶段,然而随之而来的环境和能源问题也日趋加重。轻量化技术变成了各个汽车企业提升市场竞争力的关键,作者根据近些年来汽车轻量化技术现状进行综述, ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 合成生物学基因设计软件:iGEM设计综述
    合成生物学基因设计软件:iGEM设计综述伍克煜1,刘峰江1,许浩1,张浩天1,王贝贝1,2(1.电子科技大学生命科学与技术学院,成都611731;2.电子科技大学信息生物学研究中心,成都611731)摘要:随着基因回路规模的扩大,和应用范围的拓展,传统的合成基因回路的设计思路面临着新的挑战。新合成基 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • DNA存储中的编码技术
    DNA存储中的编码技术毕昆,顾万君,陆祖宏(生物电子学国家重点实验室(东南大学,生物科学与医学工程学院),南京210096)摘要:脱氧核糖核酸(DeoxyribonucleicAcid,DNA)是一种天然的信息存储介质,具有存储密度高、存储时间长、损耗率低等特点。在传统存储方式不能满足信息增长的需求 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 文本分析技术在蛋白质生物信息学中应用的案例综述
    文本分析技术在蛋白质生物信息学中应用的案例综述苏绍玉1,徐婧2,鄢仁祥2(1.福建省科学技术信息研究所,福州350003;2.福州大学生物科学与工程学院,福州350100)摘要:海量数据时代考察文本分析技术在生物信息学领域的应用具有重要的理论和现实价值。本文讨论了文本分析在蛋白质计算分析中的几个应用 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 液压轮毂马达辅助驱动系统控制策略实车验证
    液压轮毂马达辅助驱动系统控制策略实车验证曾小华,崔臣,张轩铭,宋大凤,李立鑫(汽车仿真与控制国家重点实验室(吉林大学),长春130025)摘要:为充分提升重型牵引车辆通过不良路面的能力,对国内某款重型牵引车在传统结构的基础上加装了前轴液压轮毂马达辅助驱动系统,并针对该混合动力系统,开发了工程化的控制 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 铁锰复合阴极MFC-EF耦合系统产电及降解RhB效能
    铁锰复合阴极MFC-EF耦合系统产电及降解RhB效能史珂1,2,赵庆良1,2,王维业2,王琨1,2(1.城市水资源与水环境国家重点实验室(哈尔滨工业大学),哈尔滨150090;2.哈尔滨工业大学环境学院,哈尔滨150090)摘要:为实现微生物燃料电池(MFC)微电的原位利用,结合电芬顿(EF)技术的 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • 偏最小二乘法在系统故障诊断中的应用
    偏最小二乘法在系统故障诊断中的应用梁北辰,戴景民(哈尔滨工业大学仪器科学与工程学院,哈尔滨150001)摘要:为研究结合关键性能指标(KPI)的偏最小二乘法(PLS)在系统故障诊断中的作用和应用,通过活性污泥数学模型(BSM1),结合偏最小二乘算法,建立了可以模拟污水处理的仿真模型.通过收集系统在正 ...
    本站小编 哈尔滨工业大学 2020-12-05
  • GNSS接收机导航滤波器辅助捕获技术
    GNSS接收机导航滤波器辅助捕获技术赵琳,罗治斌,丁继成,吴谋炎(哈尔滨工程大学自动化学院,哈尔滨150001)摘要:为了充分利用GNSS接收机导航滤波器先验信息对基带信号处理过程的捕获进行辅助,以提高捕获速度及灵敏度,以北斗B1I信号为研究对象,开展GNSS接收机导航滤波器辅助估计伪码相位、载波多 ...
    本站小编 哈尔滨工业大学 2020-12-05