Show simple item record

dc.contributor.advisorKhurshid, Sarfraz
dc.creatorKulkarni, Amresh Vishveshvar
dc.date.accessioned2017-04-14T15:39:55Z
dc.date.available2017-04-14T15:39:55Z
dc.date.issued2007-12
dc.identifierdoi:10.15781/T2610VX73
dc.identifier.urihttp://hdl.handle.net/2152/46460
dc.description.abstractA key problem in software testing is generating a set of test cases which check for a variety of behaviors of a given software system. For testing programs that take inputs that are structurally complex it is imperative to come up with a way to increase efficiency for generating these complex structures. We take an existing algorithm for test case generation, Korat, and show how to improve its performance using constraint prioritization. The technique used in Korat is to perform bounded exhaustive testing using state space exploration to generate non-isomorphic structures. Korat uses a predicate method written by user which defines constraints for the desired data structure. We describe a technique for re-writing the predicate method to enable Korat to generate tests more efficiently.en_US
dc.format.mediumelectronicen_US
dc.language.isoengen_US
dc.relation.ispartofUT Electronic Theses and Dissertationsen_US
dc.rightsCopyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en_US
dc.subjectSoftware testingen_US
dc.subjectKoraten_US
dc.subjectPredicate methoden_US
dc.titleConstraint prioritization for efficient test generation using Koraten_US
dc.typeThesisen_US
dc.description.departmentElectrical and Computer Engineeringen_US
dc.type.genreThesisen_US
thesis.degree.departmentElectrical and Computer Engineeringen_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.grantorUniversity of Texas at Austinen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US
dc.rights.restrictionRestricteden_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record