Putting Randomized Compiler Testing into Production (Artifact)

Authors Alastair F. Donaldson , Hugues Evrard, Paul Thomson



PDF
Thumbnail PDF

Artifact Description

DARTS.6.2.3.pdf
  • Filesize: 264 kB
  • 2 pages

Document Identifiers

Author Details

Alastair F. Donaldson
  • Google, London, United Kingdom
  • Imperial College London, United Kingdom
Hugues Evrard
  • Google, London, United Kingdom
Paul Thomson
  • Google, London, United Kingdom

Acknowledgements

We are grateful to the anonymous ECOOP 2020 artifact reviewers for their feedback.

Cite AsGet BibTex

Alastair F. Donaldson, Hugues Evrard, and Paul Thomson. Putting Randomized Compiler Testing into Production (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DARTS.6.2.3

Artifact

Abstract

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.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Compilers
  • Software and its engineering → Software testing and debugging
Keywords
  • Compilers
  • metamorphic testing
  • 3D graphics
  • experience report

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail