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
Abstract: 
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
http://hdl.handle.net/20.500.12708/11226
Library ID: AC07809797
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

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

Page view(s)

12
checked on Feb 21, 2021

Download(s)

64
checked on Feb 21, 2021

Google ScholarTM

Check


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