C# Checker Frontend

Bucher, Daniel and Styger, Simon (2019) C# Checker Frontend. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

[thumbnail of HS 2019 2020-SA-EP-Bucher-Styger-C# Checker Frontend.pdf]
Preview
Text
HS 2019 2020-SA-EP-Bucher-Styger-C# Checker Frontend.pdf - Supplemental Material

Download (13MB) | Preview

Abstract

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.

Item Type: Thesis (Student Research Project)
Subjects: Topics > Internet Technologies and Applications > Visualization
Area of Application > Development Tools
Area of Application > Desktop based
Technologies > Programming Languages > C#
Technologies > Frameworks and Libraries > .NET
Technologies > Frameworks and Libraries > WPF
Divisions: Bachelor of Science FHO in Informatik > Student Research Project
Depositing User: OST Deposit User
Contributors:
Contribution
Name
Email
Thesis advisor
Bläser, Luc
UNSPECIFIED
Date Deposited: 09 Apr 2020 12:42
Last Modified: 09 Apr 2020 12:42
URI: https://eprints.ost.ch/id/eprint/833

Actions (login required)

View Item
View Item