Tautschnig, M. (2011). Query-driven program testing [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-41025
Testen; Model Checking; Spezifikationssprachen; SAT Solver
de
Testing; Model Checking; Specification Languages; SAT Solver
en
Abstract:
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 />
