Skip navigation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/1261
Title: Programmanalysen zur Verbesserung der Softwaremodellprüfung
Author(s): Richter, Dirk
Advisor(s): Zimmermann, Wolf, Prof. Dr.
Knoop, Jens, Prof. Dr.
Granting Institution: Martin-Luther-Universität Halle-Wittenberg
Issue Date: 2012
Extent: Online-Ressource (190 S. = 2,33 mb)
Type: Hochschulschrift
Exam Date: 31.01.2012
Language: German
Publisher: Universitäts- und Landesbibliothek Sachsen-Anhalt
URN: urn:nbn:de:gbv:3:4-7103
Subjects: Software
Model Checking
Hochschulschrift
Online-Publikation
Abstract: Die Softwarequalität kann mittels Modellprüfung gesteigert werden, indem formale Eigenschaften von Software bzw. davon abgeleitete Modelle verifiziert werden. Die derzeit verfügbaren Modellprüfer sind nicht in der Lage, Quelltexte komplexer Softwareprojekte selbständig, automatisiert und ohne Fehlalarme zu überprüfen. Um Fehlalarme zu reduzieren, wurden präzise Modelle in Form von symbolischen Kellersystemen (SPDS) betrachtet und Verfahren entwickelt, welche die Softwaremodellprüfung verbessern. Da Modellprüfer sehr sensitiv auf die Größe des betrachteten Zustandsraumes reagieren, wurden vorrangig Techniken zu seiner Verkleinerung entworfen, ohne den Wahrheitsgehalt der zu prüfenden Eigenschaften zu verändern. Neben neuen theoretischen Erkenntnissen wurde experimentell gezeigt, dass so in einigen Fällen die Modellprüfung erst ermöglicht wird und in anderen Fällen sich die Modellprüfung sogar ganz erübrigt.
URI: https://opendata.uni-halle.de//handle/1981185920/7533
http://dx.doi.org/10.25673/1261
Open access: Open access publication
Appears in Collections:Datenverarbeitung; Informatik

Files in This Item:
File Description SizeFormat 
Programmanalysen zur Verbesserung der Softwaremodellprüfung.pdf2.39 MBAdobe PDFThumbnail
View/Open
Show full item record BibTeX EndNote


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.