基于SystemC描述的嵌入式系统的自动化验证

AOP 的核心是分离横切关注点,并封装横切关注点为方面(aspect) ,然后通过方面编织器或方面编译器(aspect weaver) ,自动将分离的关注点植入原代码中。 简单地说,AOP 方法是通过定义方面来实现对原代码的一种非侵入性改写,从而增加相应的功能。测试代码的分离、封装和植入原理如图3 所示。

方面主要定义切入点( pointcut ) 和通知(advice) 。切入点可以理解为被测系统中关注的测试点,通知是实现测试点约束检验或相关信息采集的具体代码。由方面编译器编译后,测试代码即被植入到与测体相关的测试点中。经验证修改后的正确设计可以通过常规编译器编译后交付使用,使得设计本身不包含任何测试代码。AOP 语言一般是编程语言的扩展,目前应用较好的有基于J ava 的AspectJ ,以及基于C ++ 的AspectC ++ 。

将AOP 技术应用到验证过程中,是一个非常有意义的尝试。因为该方法使得开发人员可以很容易地更改、插入或除去相关测试点,而不需要重新构架系统和作出侵入性的修改,还可以按需要随时引入新的测试点。设计时,开发人员可以忽略不影响其具体活动的测试要求而专注于设计本身,增强了设计的可复用性,减小了开发的复杂度。

图4 给出了采用AOP 技术的自动化测试方法。整个系统包括4 个部分:被测体,AOP 测试探针以及由它建立的测试通道,测试点收集器,期望与响应的自动化测试框架。形象地讲,这个方法好比在被测系统中插入了示波器的探针。其中关键的部分是 AOP 建立的测试通道,由这个通道在植入被测体的测试探针和测试点收集器之间建立了联系。测试点的变化,可以被测试点收集器所察觉,并收集测试点的数据。AOP 探针的植入就使测试代码与被测对象建立了联系;取出植入的过程,就切断了二者的联系,从而实现了测试代码的可插拔功能。