TY - THES A1 - Artelt, Carl Frederic T1 - Evaluierung der formalen Begriffsanalyse als Methode zur Erkennung von Programmfehlern N2 - Die Formale Begriffsanalyse ist eine auf der Verbandstheorie basierende Methode in der Mathematik, um in verschiedensten Aufgabengebieten Zusammenhänge zu finden. In der fahrzeugspezifischen Softwareentwicklung spielt die Absicherung eine größer werdende Rolle, weshalb nach neuen Methoden zur Suche nach Programmfehlern geforscht wird. Dabei wird in der vorliegenden Bachelorarbeit die Formale Begriffsanalyse als Methode zur Mustererkennung auf ihren Nutzen in der Softwareentwicklung untersucht. Dazu werden Zusammenhänge in den Aufrufbeziehungen von Funktionen untersucht. Des Weiteren wird eine Toolchain für die Anwendung entwickelt. Y1 - 2021 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-7731 CY - Ingolstadt ER -