@inproceedings{3143d3bd4489469fa9fd697d510f5365,
title = "Data flow testing for virtual prototypes",
abstract = "Data flow testing (DFT) has been shown to be an effective testing strategy. DFT features a high fault detection rate while avoiding the intense scalability problems to achieve full path coverage. In this paper we propose to apply data flow testing for SystemC virtual prototypes (VPs). Our contribution is twofold: First, we develop a set of SystemC specific coverage criteria for data flow testing. This requires to consider the SystemC semantics of using non-preemptive thread scheduling with shared memory communication and event-based synchronization. Second, we explain how to automatically compute the data flow coverage result for a given VP using a combination of static and dynamic analysis techniques. The coverage result provides clear suggestions for the testing engineer to add new testcases in order to improve the coverage result. Our experimental results on real-world VPs demonstrate the applicability and efficacy of our analysis approach and the SystemC specific coverage criteria to improve the testsuite.",
author = "Muhammad Hassan and Vladimir Herdt and Le, \{Hoang M.\} and Mingsong Chen and Daniel Gro{\ss}e and Rolf Drechsler",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 20th Design, Automation and Test in Europe, DATE 2017 ; Conference date: 27-03-2017 Through 31-03-2017",
year = "2017",
month = may,
day = "11",
doi = "10.23919/DATE.2017.7927020",
language = "英语",
series = "Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "380--385",
booktitle = "Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017",
address = "美国",
}