Title: Query-driven program testing
Language: English
Authors: Tautschnig, Michael 
Qualification level: Doctoral
Keywords: Testen; Model Checking; Spezifikationssprachen; SAT Solver
Testing; Model Checking; Specification Languages; SAT Solver
Advisor: Veith, Helmut
Assisting Advisor: Kroening, Daniel 
Issue Date: 2011
Number of Pages: 187
Qualification level: Doctoral
In this dissertation we describe a new method for fully automatic test case generation following formal specifications given by test engineers.
We build upon a well-defined mathematical core that captures the semantics of coverage criteria.
On top of this framework we define the declarative test specification language FQL, the FShell query language.
These formal specifications are supplemented with an engine that generates test cases in response to FQL queries.
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.
The full workflow is implemented for ANSI C programs in a tool called FShell, which uses components of the C Bounded Model Checker (CBMC).
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-41025
Library ID: AC07809797
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Query-driven program testing.pdf1.35 MBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on Feb 21, 2021


checked on Feb 21, 2021

Google ScholarTM


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