软件测试的重要性是毋庸置疑的。如何以最少的人力和资源投入,在最短的时间内完成测试,发现软件系统的缺陷,保证软件的优良品质,是软件公司探索和追求的目标。然而大家都知道,从理论上讲测试是永无止境的,只要不断测试就一定能不断发现问题,那么究竟如何度量测试的进度,如何判断测试可以完结呢?这些,可以依靠测试覆盖率的分析来实现。嵌入式软件系统也不例外。1代码覆盖分析代码覆盖分析过程包含以下几个方面:◇通过一组覆
软件测试的重要性是毋庸置疑的。如何以最少的人力和资源投入,在最短的时间内完成测试,发现软件系统的缺陷,保证软件的优良品质,是软件公司探索和追求的目标。然而大家都知道,从理论上讲测试是永无止境的,只要不断测试就一定能不断发现问题,那么究竟如何度量测试的进度,如何判断测试可以完结呢?这些,可以依靠测试覆盖率的分析来实现。嵌入式软件系统也不例外。
1 代码覆盖分析
代码覆盖分析过程包含以下几个方面:
◇通过一组覆盖测试数据发现和分析那些没有被运行到的代码;
◇为了提高代码覆盖率而设计新的测试用例;
◇确定代码覆盖的定量标准,这些数据也间接地反映测试质量;
◇识别那些冗余的测试用例。
代码覆盖分析是一种白盒测试方法,因为覆盖分析需要访问测试代码本身,且经常需要重新编译程序,以程序的内部结构为基础来设计测试案例。其基本准则是测试案例要尽可能多地覆盖程序的内部逻辑结构,发现其中的错误和问题。另外要注意的是,覆盖分析并不是为了提高程序本身的质量而是为了确保测试用例的质量。一般来说,覆盖分析通常应用在软件测试的早期,即单元测试阶段。在软件发布版本阶段是不需要运行软件覆盖分析的。
2 覆盖分析在嵌入式系统上的问题
嵌入式软件的开发与通用软件的开发很大的不同点在于:嵌入式系统需要采用交叉开发的方式,即开发工具运行在软硬件配置丰富的宿主机上,而嵌入式应用程序则运行在软硬件资源相对缺乏的目标机上。所以针对覆盖分析测试,嵌入式系统的困难之一就是如何获取测试产生的覆盖数据。大多数的覆盖分析测试工具都需要对代码插装,而当在目标环境下运行经过代码插装的可执行程序时,就会有覆盖分析数据产生。这些数据是分析覆盖数据报告的重要输入条件,所以要顺利实现嵌入式系统覆盖分析的一个关键点是如何建立宿主机与目标机之间的物理/逻辑连接,解决覆盖分析数据信息的传输问题。
3 BullseyeCoverage的实现方式
BullseyeCoverage是Bullseye公司提供的一款C/C++代码覆盖率测试工具。相对于Rational公司的Pure Cov-erage,BullseyeCoverage支持的C/C++编译器更多,除了支持各种Unix下的编译器之外,在Windows下还支持VC、Borland C++、GNU C++和Intel C++。其提供的代码覆盖率是基于条件/判断的分支覆盖率,而不是一般的代码行覆盖率。
BullseyeCoverage采用的是先对代码进行插装,然后收集覆盖数据,最后分析覆盖率原理的技术。其工作原理是:针对不同的编译器,设计一个和真实编译器名字相同的拦截器,这些拦截器文件存放在BullseyeCoverage的bin目录下。当覆盖编译开关打开时,文件在编译过程中将首先被这些拦截器所拦截,而不是由真实的编译器去编译源代码。在这个拦截过程中,拦截器将一系列探针代码插入到C/C++源代码中,然后文件再次通过真实的编译器生成二进制代码。当覆盖编译开关关闭时,这些拦截器将直接调用真实的编译器而不进行代码插装的过程。两者的区别及调用关系如图1所示。