<div class="csl-bib-body">
<div class="csl-entry">Krall, S. (2012). <i>A source-level interpreter for C programs</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-55691</div>
</div>
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.
