C# Checker Frontend

Prof. Dr. Luc Bläser hat den HSR Parallel Checker entwickelt, mit dem Source Code statisch auf Nebenläufigkeitsfehler untersucht werden kann. Der Checker stand bisher nur als Visual Studio Plugin zur
Verfügung. Im Rahmen dieser Arbeit ist eine Desktop Applikation realisiert worden, die komfortablere und
umfangreichere Analysen ermöglicht.
Die Benutzerfreundlichkeit und einfache Bedienbarkeit standen bei der Entwicklung im Zentrum. Personen
ohne tiefere Informatik-Kenntnisse sollte es ermöglicht werden, Programmcode auf Nebenläufigkeitsfehler
zu untersuchen. Zudem sollten mehrere Parameter eingestellt werden können, um den Code noch tiefer auf
Fehler zu analysieren. Im Endresultat werden dem User Fehler grafisch angezeigt und es stehen mehrere
Reportingmöglichkeiten wie z.B. Word zur Verfügung.
Zusätzlich zur Desktop Applikation ist eine Konsolen-Applikation entstanden. Diese bietet weitere Anwendungsmöglichkeiten wie z.B. die Integration in einer CI/CD Pipeline. So könnten DevOps-Teams Source Code
in Form eines Nightly Builds uberprüfen.
Die Applikation wurde anhand populären C# Projekten getestet. Aufgrund der Resultate kann eine ungefähre
Empfehlung fur die Analyseeinstellungen gegeben werden.