Title: A source-level interpreter for C programs
Language: English
Authors: Krall, Stephan
Qualification level: Diploma
Advisor: Veith, Helmut
Assisting Advisor: Holzer Andreas
Issue Date: 2012
Number of Pages: 50
Qualification level: Diploma
Abstract: 
Die 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.
Keywords: statisch konfiguierbar Programanalyse explizit FQL
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-55691
http://hdl.handle.net/20.500.12708/9928
Library ID: AC07813311
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

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.