Compiler Testing: Probleme, Techniken, Tools (, Anwendung)

[Ironeer]

Thema

Compiler Testing: Probleme, Techniken, Tools (, Anwendung)

Grobe Idee für den Aufbau des Vortrags

1. Vorstellung der Probleme beim Compiler Testen

• Test Case Generation Problem
• Test Oracle Problem
• Test Reduction Problem (möglicherweise weglassen, da weniger betrachtet)

2. Überblick über gängige Test Techniken

• Snapshot
• Randomized Differential Testing
• Different Optimization Levels
• Metamorphic Testing bzw. Equivalence Modulo Inputs

3. Einblick in ein (oder mehrere) Compiler Testing Tools

• Entweder Csmith als Beispiel für Randomized Differential Testing
• Oder Artemis als Beispiel für metamorphic testing

4. Testen unseres Semesterprojekt

• Durch unser Semesterprojekt bietet sich die interessante Synergie unser eigenes Projekt zu testen. Das könnte jedoch sehr aufwändig werden, wenig Resultate liefern und erst gegen Ende des Projektes sinnvoll sein. Außerdem scheinen die Vorträge eher auf Recherche als Anwendung abzuzielen. Deshalb sollte ein von unserem Projekt unabhängiger Vortrag vermutlich meine erste Priorität sein.

Paper

Ich würde erstmal die schon recht umfangreiche Sammlung im Themenvorschlag nutzen.
Bei Bedarf bietet das beinhaltete Paper “Compiler Testing: A Systematic Literature Analysis” einen guten Ausgangspunkt um weitere Paper zu finden.

[cagix]

Da musst Du mich nicht lange überreden :) 👍🏻👌🙃

[cagix]

McCarthy91 ...

[cagix]

@Ironeer kannst du bitte deinen blogbeitrag noch hier einstellen?

[cagix]

argh. ist separat hochgeladen. sorry.

[cagix]

vortrag gehalten, blog hochgeladen