| 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 | Size | Format | |
|---|---|---|---|---|
| Query-driven program testing.pdf | 1.35 MB | Adobe PDF |  View/Open |
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.