An Automatic Test Coverage Analysis for SystemC Description Using Aspect-Oriented Programming

摘要：

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 executable SystemC description. 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 programming.Aspects 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 ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.

作者: Yan Chen Weidong Qiu Bo Zhou Chenglian Peng

作者单位: School of Information Science and Engineering,Fudan University

会议类型: 国际会议

会议名称: The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

会议地点: 厦门

会议语种:英文

页码: 632-636

在线出版日期: 2004-05-26（万方平台首次上网日期，不代表论文的发表时间）