摘要 介绍覆盖性测试技术的基本概念以及其在嵌入式系统中的基本工作过程;通过将覆盖测试工具Bullseye-Coverage移植到嵌入式操作系统(Nuclcus)的具体实现过程CONTROL ENGINEERING China版权所有,说明系统要求、系统结构,以及具体的技术实现细节和步骤。其中,如何解决覆盖数据传输问题系统实现的关键点。
关键词 覆盖性测试 嵌入式系统 代码插装 Bullsege Covcrage
软件测试的重要性是毋庸置疑的。如何以最少的力和资源投入CONTROL ENGINEERING China版权所有,在最短的时间内完成测试,发现软件系统的缺陷,保证软件的优良品质,是软件公司探索和追求的目标。然而大家都知道www.cechina.cn,从理论上讲测试是永无止境的,只要不断测试就一定能不断发现问题.那么究竟如何度量测试的进度,如何判断测试可以完结呢?些,可以依靠测试覆盖率的分析来实现。嵌入式软件系统也不例外。
l 代码覆盖分析
代码覆盖分析过程包含以下几个方面:
◇通过一组覆盖测试数据发现和分析那些没有被运行到的代码;
◇为了提高代码覆盖率而设计新的测试用例;
◇确定代码覆盖的定量标准,这XXX数据也间接地反映测试质量;
◇识别那些冗余的测试用例。
2 覆盖分析在嵌入式系统上的问题
嵌入式软件的开发与通用软件的开发很大的不同点在于:嵌入式系统需要采用交叉开发的方式,即开发工具运行在软硬件配置丰富的宿主机上,而嵌入式应用程序则运行在软硬件资源相对缺乏的目标机上。所以针对覆盖分析测试,嵌入式系统的困难之一就是如何获取测试产生的覆盖数据。犬多数的覆盖分析测试工具都需要对代码捅装,而当在目标环境下运行经过代码插装的可执行程序时,就会有覆盖分析数据产牛。这些数据是分析覆盖数据报告的重要输入条件,所以要顺利实现嵌入式系统覆盖分析的一个关键点是如何建立宿主机与目标机之间的物理/逻辑连接,解决覆盖分析数据信息的传输问题。
3 BullseyeCoverage的实现方式
BullseyeCoverage是Bllseye公司提供的一款C/C++代码覆盖率测试工具。相对于Rational公司的Pure Coverage,BullseyeCoverage支持的C/C++编译器更多,除了支持各种Unix下的编译器之外CONTROL ENGINEERING China版权所有,在Windows下还支持VC、Borland C++、GNU C++和Intel C++。其提供的代码覆盖率是基于条件/判断的分支覆盖率,而不是一般的代码行覆盖率。
BuuseyeCoverage采用的是先对代码进行插装,然后收集覆盖数据,最后分析覆盖率原理的技术。其工作原理是:针对不同的编泽器,设计一个和真实编译器名字相同的拦截器,这些拦截器文件存放在BullseyeCoverage的bin目录下。当覆盖编译开关打开时,文件在编译过程中将首先被这些拦截器所拦截,而不是由真实的编译器去编译源代码。在这个拦截过程中,拦截器将一系列探针代码插入到C/C++源代码中,然后文件再次通过真实的编译器生成二进制代码。当覆盖编译开关关闭时,这些拦截器将直接调用真实的编译器而不进行代码插装的过程。两者的区别及调用关系如图1所示。
当完成了代码插装并且将编译好的运行文件下载到嵌入式系统后,开始代码覆盖分析另外一个重要的工作过程--覆盖分析数据更新过程。由于BullseyeCoverage需要在运行时态对经过覆盖拦截器生成的覆盖分析文件(大小一般是运行代码的1.2~1.5倍)进行读写操作,所以可以对覆盖文件的大小进行简单的估计,以便设计系统。在数据更新过程中,BullseyeCoverage的每次读写操作范围为l字节~4 KB。另外,BullseyeCoverage只有在测试程序触发了cov_write函数时才会对覆盖分析文件进行更新。如果覆盖没有更新,那么相应地也没有I/O动作发生。针对嵌入式系统,BullseyeCoverage有两种实现的方式:
①利用读取内存区数据的原理。首先,通过串口、以太网或者USB将覆盖分析文件下载到嵌入式系统的某个未用内存区域;然后,修改测试工具的I/O库函数,将对覆盖分析文件操作的更新数据直接写入那块内存区域中。这样在测试开始后,分析程序会自动更新位于内存中的覆盖分析文件。由于覆盖分析文件在内存中,所以这种读写操作的速度会非常快。测试完成后,通过串口、网络