Abstract
Thanks to rapid advances in programmability and performance, GPUs have been widely applied in High Performance Computing (HPC) and safety-critical domains. As such, quality assurance of GPU applications has gained increasing attention. This brings us to mutation testing, a fault-based testing technique that assesses the test suite quality by systematically introducing small artificial faults. It has been shown to perform well in exposing faults. In this paper, we investigate whether GPU programming can benefit from mutation testing. In addition to conventional mutation operators, we propose nine GPU-specific mutation operators based on the core syntax differences between CPU and GPU programming. We conduct a preliminary study on six CUDA systems. The results show that mutation testing can effectively evaluate the test quality of GPU programs: conventional mutation operators can guide the engineers to write simple direct tests, while GPU-specific mutation operators can lead to more intricate test cases which are better at revealing GPU-specific weaknesses.
Original language | English |
---|---|
Title of host publication | Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 209-219 |
Number of pages | 11 |
ISBN (Electronic) | 9781728157771 |
DOIs | |
Publication status | Published - 2020 |
Event | 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 - Porto, Portugal Duration: 23 Mar 2020 → 27 Mar 2020 |
Publication series
Name | Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 |
---|
Conference
Conference | 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 |
---|---|
Country/Territory | Portugal |
City | Porto |
Period | 23/03/20 → 27/03/20 |
Bibliographical note
Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-careOtherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.