摘要
基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .
This paper presents a novel verification methodology for embedded systems which are described in SystemC language.This method applies aspect-oriented programming technique to allow a highly separation and modular of test codes.It is also integrated with automated testing framework to support an automatic verification procedure.The key advantages of this method are no interference to the system under test and great flexibility to meet different verification requirements.Using our automatic verification methodology,embedded systems' models can be verified quickly and repeatedly for system-level verification and assessment purposes.
出处
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2004年第8期1075-1079,共5页
Journal of Tongji University:Natural Science
