2026-07-24T03:00:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13200 2024-03-06T11:05:08Z ddc:004 open_access

Putting Randomized Compiler Testing into Production (Artifact) Donaldson, Alastair F. Evrard, Hugues Thomson, Paul Compilers metamorphic testing 3D graphics experience report This artifact accompanies our experience report for our compiler testing technology transfer project: taking the GraphicsFuzz research project on randomized metamorphic testing of graphics shader compilers, and building the necessary tooling around it to provide a highly automated process for improving the Khronos Vulkan Conformance Test Suite (CTS) with test cases that expose fuzzer-found compiler bugs, or that plug gaps in test coverage. The artifact consists of two Dockerfiles and associated files that can be used to build two Docker containers. The containers include our main tool for performing fuzzing: gfauto. The containers allow the user to fuzz SwiftShader, a software Vulkan implementation, finding 4 bugs. The user will also perform some line coverage analysis of SwiftShader using our tools to synthesize a small test that increases line coverage. Ubuntu, gfauto, SwiftShader, and other dependencies inside the Docker containers are fixed at specific versions, and all random seeds are set to specific values. Thus, all examples should reproduce faithfully on any machine. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alastair F. Donaldson and Hugues Evrard and Paul Thomson 2020 Is Part Of DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.6.2.3 urn:nbn:de:0030-drops-132005 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.3 eng https://creativecommons.org/licenses/by/3.0/legalcode