Titelaufnahme

Titel
Query-driven program testing / Michael Tautschnig
Verfasser / Verfasserin Tautschnig, Michael
Begutachter / BegutachterinVeith, Helmut ; Kroening, Daniel
Erschienen2011
UmfangXI, 187 Bl. : graph. Darst.
HochschulschriftWien, Techn. Univ., Diss., 2011
Anmerkung
Zsfassung in dt. Sprache
SpracheEnglisch
Bibl. ReferenzOeBB
DokumenttypDissertation
Schlagwörter (DE)Testen / Model Checking / Spezifikationssprachen / SAT Solver
Schlagwörter (EN)Testing / Model Checking / Specification Languages / SAT Solver
Schlagwörter (GND)Softwaretest / Automation / Spezifikationssprache
URNurn:nbn:at:at-ubtuw:1-41025 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Query-driven program testing [1.31 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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).

Statistik
Das PDF-Dokument wurde 27 mal heruntergeladen.