By Topic

An automatic test coverage analysis for SystemC description using aspect-oriented programming

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Yan Chen ; Sch. of Inf. Sci. & Eng., Fudan Univ., China ; Weidong Qiu ; Bo Zhou ; Peng, C.

This work addresses the problem of functional verification starting from a high level description of the system under test, specified in SystemC. The verification method considered is based upon the simulation of executable SystemC description. Test coverage analysis is the main technique for checking and showing that the testing has been thorough. We propose an approach to automate the coverage analysis using aspect-oriented programming. Aspects here are described as checkers for detecting coverage. The most important feature using the aspect-oriented technology here is that allows checking functions across classes to be added or replaced without modifying the original code. UML2.0 is used to model the dynamic behavior view of SystemC description as a coverage metric model. Inherently, it is possible to automate the whole test coverage analysis using our methodology.

Published in:

Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on  (Volume:2 )

Date of Conference:

26-28 May 2004