例如,当被测程序运行进入到一条if(……)语句时,整个过程如图4所示。
为了支持对DeltaCORE的测试,将与这些机制相关的代码进行移植,包括以下几方面:
*将收集和发送覆盖信息的主循环线程作为在目标机端运行的应用程序中的特殊任务;
*对串口的驱动采用LambdaTOOL BSP(板级支持包)中的串口驱动代替,对网络的驱动,用DeltaCORE的配套组件DeltaNET中的驱动程序实现;
*利用DeltaCORE的信箱机制实现消息队列的创建和管理,插装代码向这些信箱发送覆盖消息块;
*在DetaCORE应用程序的根任务中调用Logiscope的初始化函数,达到创建特殊任务信箱的目的。
开发DeltaCORE应用程序时,我们使用了其配套开发工具LambdaTOOL。由于所使用的工具版本没有实现目标服务器(target server)的调试方式,因此对物理端口的使用采用的独占方式,即调试工具不能与其它工具共享同一端口。我们可以用网络试上载并启动目标应用程序,而通过串口传送覆盖信息。
5.2 对DeltaCORE的覆盖测试过程及结果
对于函数内部,Logiscope支持的覆盖策略有:
*指令块IBs(Instruction Blocks)
*判断到判断的路径DDPs(Decision-to-Decision Paths)
*MCDC(Modified Condition/Decision)
在项目层次上支持的覆盖策略是:
*过程到过程路径PPP(Procedure-to-Procedure Path)
在DeltaCORE的测试中,我们采用了较为常用的覆盖策略——判断到判断的路径,其含义是:DDP是一个指令序列,它的起点是函数或判断(if,while,……)的入口点,它的出口是下一个函数或判断的退出点,之间不能再有判断。测试的具体过程是:
①利用插装分析器对DeltaCORE的源代码进行插装,并生成插装信息文件。