C# Checker Frontend

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

[img]
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
Creators:
CreatorsEmail
Bucher, DanielUNSPECIFIED
Styger, SimonUNSPECIFIED
Contributors:
ContributionNameEmail
Thesis advisorBläser, LucUNSPECIFIED
Depositing User: HSR Deposit User
Date Deposited: 09 Apr 2020 12:42
Last Modified: 09 Apr 2020 12:42
URI: http://eprints.hsr.ch/id/eprint/833

Actions (login required)

View Item View Item