In this dissertation we describe a new method for fully automatic test case generation following formal specifications given by test engineers.<br />We build upon a well-defined mathematical core that captures the semantics of coverage criteria.<br />On top of this framework we define the declarative test specification language FQL, the FShell query language.<br />These formal specifications are supplemented with an engine that generates test cases in response to FQL queries.<br />We chose this overall design of a mathematical core, a query language and an efficient back end in analogy to databases and hence refer to our method as query-driven program testing.<br />The full workflow is implemented for ANSI C programs in a tool called FShell, which uses components of the C Bounded Model Checker (CBMC).<br />
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Testen
de
dc.subject
Model Checking
de
dc.subject
Spezifikationssprachen
de
dc.subject
SAT Solver
de
dc.subject
Testing
en
dc.subject
Model Checking
en
dc.subject
Specification Languages
en
dc.subject
SAT Solver
en
dc.title
Query-driven program testing
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Michael Tautschnig
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Kroening, Daniel
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC07809797
-
dc.description.numberOfPages
187
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-41025
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.openairetype
doctoral thesis
-
item.grantfulltext
open
-
crisitem.author.dept
Amazon Web Services; Queen Mary University of London, UK