Abstract
SystemC can be considered as the best possible language today for system level design and exploration of embedded systems. However, testing SystemC descriptions is still an open issue, since the language is new and researchers are looking for efficient error models and coverage metrics, which can be indifferently applied to hardware and software modules. In this paper we propose a novel approach to automate the test coverage analysis for SystemC descriptions using UML and Aspect-Oriented technology. SystemC meta-model and aspect meta-model are established to support UML customization and extension. They also provide the foundation for aspect weaver and SystemC code generator. Expected functional coverage metric could be extracted from UML timing descriptions so that it is possible to automate the whole test coverage analysis. By using the aspect-oriented technology test functionalities could be added or replaced without modifying the original design. It makes system designs more readable and easier to maintain.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Grotker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)
Gupta, S., Ashar, P.: Toward formalizing a Validation Methodology Using Simulation Coverage. In: Proc. 34th Design Automation Conf. (1997)
Benjamin, M., Geist, D., Hartman, A., Wolfsthal, Y., Mas, G., Smeets, R.: A Study in Coverage-Driven Test Generation. In: Proc. 36th Design Automation Conf., pp. 970–975. ACM Press, New York (1999)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Object Management Group: UML 2.0 Infrastructure Final Adopted Specification (2003), http://www.omg.org/docs/ptc/03-09-15.pdf
Grinwald, R., et al.: User Defined Coverage - A Tool Supported Methodology for Design Verification. In: Proc. 35th Design Automation Conf., New York, pp. 158–163 (1998)
Tasiran, S., Keutzer, K.: Coverage metrics for functional validation of hardware designs. IEEE Design & Test of Computers 18(4), 36–45 (2001)
Object Management Group: UML 2.0 Superstructure Final Adopted Specification (2003), http://www.omg.org/docs/ptc/03-08-02.pdf
Object Management Group: Meta Object Facility Specification (2003), http://www.omg.org/docs/ptc/03-10-04.pdf
AspectC++. version 0.9, http://www.aspcetc.org
Eclipse Project, http://www.eclipse.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Y., Du, X., Zhou, X., Peng, C. (2005). An Automatic Coverage Analysis for SystemC Using UML and Aspect-Oriented Technology. In: Shen, W., Lin, Z., Barthès, JP.A., Li, T. (eds) Computer Supported Cooperative Work in Design I. CSCWD 2004. Lecture Notes in Computer Science, vol 3168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568421_40
Download citation
DOI: https://doi.org/10.1007/11568421_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29400-9
Online ISBN: 978-3-540-31740-1
eBook Packages: Computer ScienceComputer Science (R0)