Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/1261
Full metadata record
DC FieldValueLanguage
dc.contributor.refereeZimmermann, Wolf, Prof. Dr.-
dc.contributor.refereeKnoop, Jens, Prof. Dr.-
dc.contributor.authorRichter, Dirk-
dc.date.accessioned2018-09-24T10:39:44Z-
dc.date.available2018-09-24T10:39:44Z-
dc.date.issued2012-
dc.identifier.urihttps://opendata.uni-halle.de//handle/1981185920/7533-
dc.identifier.urihttp://dx.doi.org/10.25673/1261-
dc.description.abstractDie 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.-
dc.description.statementofresponsibilityvon Dirk Richter-
dc.format.extentOnline-Ressource (190 S. = 2,33 mb)-
dc.language.isoger-
dc.publisherUniversitäts- und Landesbibliothek Sachsen-Anhalt-
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/-
dc.subjectSoftware-
dc.subjectModel Checking-
dc.subjectHochschulschrift-
dc.subjectOnline-Publikation-
dc.subject.ddc004-
dc.titleProgrammanalysen zur Verbesserung der Softwaremodellprüfung-
dcterms.dateAccepted2012-01-31-
dcterms.typeHochschulschrift-
dc.typePhDThesis-
dc.identifier.urnurn:nbn:de:gbv:3:4-7103-
local.publisher.universityOrInstitutionMartin-Luther-Universität Halle-Wittenberg-
local.subject.keywordssymbolisches Kellersystem (SPDS); Modellreduktion; Modellanalyse; Modellprüfung-
local.subject.keywordsSymbolic Pushdown System (SPDS); Model Reduction; Model Analysis; Model Checkingeng
local.openaccesstrue-
dc.identifier.ppn686786556-
local.accessrights.dnbfree-
Appears in Collections:Datenverarbeitung; Informatik

Files in This Item:
File Description SizeFormat 
Programmanalysen zur Verbesserung der Softwaremodellprüfung.pdf2.39 MBAdobe PDFThumbnail
View/Open