Titelaufnahme

Titel
Programmanalysen zur Verbesserung der Softwaremodellprüfung / von Dirk Richter
VerfasserRichter, Dirk
BetreuerZimmermann, Wolf Prof. Dr. ; Knoop, Jens Prof. Dr.
Erschienen2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012
UmfangOnline-Ressource (190 S. = 2,33 mb)
HochschulschriftHalle, Univ., Naturwissenschaftliche Fakultät III, Diss., 2012
Anmerkung
Tag der Verteidigung: 31.01.2012
Sprache der Zusammenfassung: Englisch
SpracheDeutsch
DokumenttypE-Book
SchlagwörterSoftware / Model Checking / Halle
URNurn:nbn:de:gbv:3:4-7103 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar.
Dateien
Programmanalysen zur Verbesserung der Softwaremodellprüfung [2.33 mb]
Links
Nachweis
Keywords
symbolisches Kellersystem (SPDS); Modellreduktion; Modellanalyse; Modellprüfung
Keywords (Englisch)
Symbolic Pushdown System (SPDS); Model Reduction; Model Analysis; Model Checking
Keywords
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.