DC FieldValueLanguage
dc.contributor.advisorVeith, Helmut-
dc.contributor.authorKrall, Stephan-
dc.date.accessioned2020-06-30T02:33:22Z-
dc.date.issued2012-
dc.date.submitted2012-05-
dc.identifier.urihttps://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-55691-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/9928-
dc.descriptionZsfassung in dt. Sprache-
dc.description.abstractDie FShell Querysprache (FQL) erlaubt es deklarativ Code Coverage Kriterien zu spezifizieren. Diese Spezifikationen können dann zum einen dazu verwendet werden die durch eine Testsuite erreichte Codeabdeckung zu ermitteln und zum anderen dazu genutzt werden eine abdeckende Testsuite zu erzeugen. Derzeit existieren zwei Testfallgeneratoren für FQL: Zum einen FShell 2, ein Testfallgenerator basierend auf Bounded Model Checking (BMC) , und CPA/Tiger, ein auf dem Konzept der konfigurierbaren Programmanalyse (CPA) basierender Testfallgenerator, der Prädikatenabstraktion verwendet um Testfälle abzuleiten. CPA/Tiger bietet derzeit keine Unterstützung für C-Code mit komplexen Datenstrukturen. Daher wird eine konfigurierbare Programmanalyse entwickelt, die den Heap eines Programms auf exakte Weise abbildet. Durch die Formulierung als statische Programmanalyse ist eine einfache Integration in CPA/Tiger möglich. Die exakte Nachbildung des Heaps über eine Programmausführung hinweg ist resourcenaufwändig und daher werden verschiedene Optimierungen, u.a. effiziente Datenstrukturen, untersucht.de
dc.formatIX, 50 S.-
dc.languageEnglish-
dc.language.isoen-
dc.subjectstatisch konfiguierbar Programanalyse explizit FQLde
dc.titleA source-level interpreter for C programsen
dc.typeThesisen
dc.typeHochschulschriftde
dc.contributor.assistantHolzer Andreas-
tuw.publication.orgunitE184 - Institut für Informationssysteme-
dc.type.qualificationlevelDiploma-
dc.identifier.libraryidAC07813311-
dc.description.numberOfPages50-
dc.identifier.urnurn:nbn:at:at-ubtuw:1-55691-
dc.thesistypeDiplomarbeitde
dc.thesistypeDiploma Thesisen
item.openairetypeThesis-
item.openairetypeHochschulschrift-
item.openaccessfulltextOpen Access-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextopen-
item.fulltextwith Fulltext-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
Appears in Collections:Thesis

Files in this item:


Page view(s)

18
checked on Feb 18, 2021

Download(s)

51
checked on Feb 18, 2021

Google ScholarTM

Check


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