@thesis{Artelt2021, author = {Artelt, Carl Frederic}, title = {Evaluierung der formalen Begriffsanalyse als Methode zur Erkennung von Programmfehlern}, publisher = {Technische Hochschule Ingolstadt}, address = {Ingolstadt}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:573-7731}, pages = {iv, 49}, school = {Technische Hochschule Ingolstadt}, year = {2021}, abstract = {Die Formale Begriffsanalyse ist eine auf der Verbandstheorie basierende Methode in der Mathematik, um in verschiedensten Aufgabengebieten Zusammenh{\"a}nge zu finden. In der fahrzeugspezifischen Softwareentwicklung spielt die Absicherung eine gr{\"o}ß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{\"a}nge in den Aufrufbeziehungen von Funktionen untersucht. Des Weiteren wird eine Toolchain f{\"u}r die Anwendung entwickelt.}, language = {de} }