DC FieldValueLanguage
dc.contributor.advisorVeith, Helmut-
dc.contributor.authorTautschnig, Michael-
dc.date.accessioned2020-06-30T07:31:04Z-
dc.date.issued2011-
dc.date.submitted2011-02-
dc.identifier.urihttps://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-41025-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/11226-
dc.descriptionZsfassung in dt. Sprache-
dc.description.abstractIn 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 />en
dc.formatXI, 187 Bl.-
dc.languageEnglish-
dc.language.isoen-
dc.subjectTestende
dc.subjectModel Checkingde
dc.subjectSpezifikationssprachende
dc.subjectSAT Solverde
dc.subjectTestingen
dc.subjectModel Checkingen
dc.subjectSpecification Languagesen
dc.subjectSAT Solveren
dc.titleQuery-driven program testingen
dc.typeThesisen
dc.typeHochschulschriftde
dc.contributor.assistantKroening, Daniel-
tuw.publication.orgunitE184 - Institut für Informationssysteme-
dc.type.qualificationlevelDoctoral-
dc.identifier.libraryidAC07809797-
dc.description.numberOfPages187-
dc.identifier.urnurn:nbn:at:at-ubtuw:1-41025-
dc.thesistypeDissertationde
dc.thesistypeDissertationen
item.grantfulltextopen-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.openairetypeThesis-
item.openairetypeHochschulschrift-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextwith Fulltext-
crisitem.author.deptAmazon Web Services; Queen Mary University of London, UK-
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Tautschnig Michael - 2011 - Query-driven program testing.pdf1.35 MBAdobe PDFThumbnail
 View/Open
Show simple item record

Page view(s)

1
checked on Mar 27, 2021

Download(s)

1
checked on Mar 27, 2021

Google ScholarTM

Check


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