This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in systemc. Theverification method considered is based upon thesimulation of executa...
详细信息
ISBN:
(纸本)0780379411
This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in systemc. Theverification method considered is based upon thesimulation of executablesystemcdescription. Testcoverage analysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverage analysis using Aspect-Oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofsystemcdescription as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.
暂无评论