Show simple item record

dc.contributor.advisorKhurshid, Sarfrazen
dc.creatorAbdul Khalek, Shadien
dc.date.accessioned2012-01-31T17:23:21Zen
dc.date.available2012-01-31T17:23:21Zen
dc.date.issued2011-12en
dc.date.submittedDecember 2011en
dc.identifier.urihttp://hdl.handle.net/2152/ETD-UT-2011-12-4574en
dc.descriptiontexten
dc.description.abstractThis dissertation presents a novel methodology based on test summaries, which characterize desired tests as constraints written in a mixed imperative and declarative notation, for automated systematic testing of relational applications, such as relational database engines. The methodology has at its basis two novel techniques for effective and efficient testing: (1) mixed-constraint solving, which provides systematic generation of inputs characterized by mixed-constraints using translations among different data domains; and (2) clustered test execution, which optimizes execution of test suites by leveraging similarities in execution traces of different tests using abstract-level undo operations, which allow common segments of partial traces to be executed only once and the execution results to be shared across those tests. A prototype embodiment of the methodology enables a novel approach for systematic testing of commonly used database engines, where test summaries describe (1) input SQL queries, (2) input database tables, and (3) expected output of query execution. An experimental evaluation using the prototype demonstrates its efficacy in systematic testing of relational applications, including Oracle 11g, and finding bugs in them.en
dc.format.mimetypeapplication/pdfen
dc.language.isoengen
dc.subjectAlloyen
dc.subjectSATen
dc.subjectDatabase testingen
dc.subjectMixed constraintsen
dc.subjectClustered executionen
dc.subjectSQL query generationen
dc.titleSystematic testing using test summaries : effective and efficient testing of relational applicationsen
dc.date.updated2012-01-31T17:23:33Zen
dc.identifier.slug2152/ETD-UT-2011-12-4574en
dc.contributor.committeeMemberPerry, Dewayne E.en
dc.contributor.committeeMemberBatory, Donen
dc.contributor.committeeMemberEmerson, Allen E.en
dc.contributor.committeeMemberAziz, Adnanen
dc.description.departmentElectrical and Computer Engineeringen
dc.type.genrethesisen
thesis.degree.departmentElectrical and Computer Engineeringen
thesis.degree.disciplineElectrical and Computer Engineeringen
thesis.degree.grantorUniversity of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record