| Abstract: Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Similar approaches are applied in hardware verification and testing too, especially at RTL or gate level, where mutants are generally referred as faults, and mutation analysis is performed by means of fault modeling and fault simulation. However, in modern embedded systems there is a close integration between HW and SW parts, and verification strategies should be applied early in the design flow. This requires the definition of new mutation analysis-based strategies that work at system level, where HW and SW functionalities are not partitioned yet. In this context, the paper proposes a mutation model for perturbing transaction level modeling (TLM) SystemC descriptions. In particular, the main constructs provided by the SystemC TLM 2.0 library have been analyzed, and a set of mutants is proposed to perturb the primitives related to the TLM communication interfaces. |
| @INPROCEEDINGS{BombieriFP08,
author = {Nicola Bombieri and Franco Fummi and Graziano Pravadelli},
title = {A Mutation Model for the SystemC TLM2.0 Communication Interfaces},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE'08)},
year = {2008},
address = {Munich, Germany},
month = {10-14 March},
pages = {396-401}
} |