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

FIFO(first in first out) 的大小等。图5 给出了一个简单片上总线的测试实例。

在这个例子中, 由AspectC ++ 实现的Aop Test Probe 直接加在了各通信接口的通信方法上, 各通信方法在调用之前或之后, 都被Aop Test Probe 准确捕获; 然后由TraceRecord 类收集相应的信息,再将信息通过接口NotifyTest 通知测试用例SimpleBusTestCase ;测试用例实例化被测体SimpleBus , 准备输入数据, 然后锁定等待TraceRecord 发过来的响应数据,通过与期望的断言比较, 完成一个测试过程。 这里, SimpleBus 与TraceRecord 的关联是由方面编译器编译Aop Test Probe 而植入的。测试完毕,就可以不再用方面编译器编译而去掉这个关联。被测体在发布时不会由于测试代码的冗余而影响效率和占用内存。

通过这个实例可以发现,该自动化测试方法虽然由于AOP 的方面编译带来了更长的编译时间,但AspectC ++ 实现了与C/ C + + 同样高效的代码同时带来了更加明显的优点,比如消除测试代码的冗余,减少出错的可能,满足测试要求的灵活性和可移植性等;自动化测试框架的结合,更是大大提高了测试过程的效率。所以该方法可为嵌入式系统模型的验证和评估提供十分有效的自动化手段。

结语

本文在对嵌入式系统SystemC 描述的基础上,提出了一种全新的自动化验证方法。该方法采用AOP 技术,并结合ATP 的使用。该方法支持测试自动化,并实现了测试代码的分离和封装,随时可满足被测系统的测试要求;对嵌入式系统的系统模型,可自动化、重复性地验证,能够满足系统模型在较高抽象级的验证和评估要求。面向方面的思想和技术在各方面的应用,已经得到人们越来越多的关注,实际上,可以进一步引用AOP 技术到嵌入式系统的设计过程中,为系统设计提供更好的模块化和复用性。