Improving constraint-based test input generation using Korat

dc.contributor.advisorKhurshid, Sarfraz
dc.creatorSrinivasan, Raghavendraen
dc.date.accessioned2015-06-29T19:16:51Zen
dc.date.accessioned2018-01-22T22:27:51Z
dc.date.available2018-01-22T22:27:51Z
dc.date.issued2015-05en
dc.date.submittedMay 2015en
dc.date.updated2015-06-29T19:16:52Zen
dc.descriptiontexten
dc.description.abstractKorat is an existing technique for test input generation using imperative constraints that describe properties of desired inputs written as Java predicates, termed RepOk methods, which are executable checks for those properties. Korat efficiently prunes the space of candidate inputs for the RepOk method by executing it on candidate inputs and monitoring the object fields that RepOk accesses in deciding if the properties are satisfied. While Korat generates inputs effectively, its correctness and efficiency rely on two assumptions about the RepOk methods. For correctness, Korat assumes the RepOk methods do not use the Java reflection API for field accesses; the use of reflection renders Korat unable to enumerate all desired inputs. For efficiency, Korat assumes the RepOk methods do not make unnecessary field accesses, which can reduce the effectiveness of Korat’s pruning. Our thesis addresses both these limitations. To support reflection, we build on the core Korat to enhance it such that it can monitor field accesses based on reflection. To assist the users with writing RepOk’s, we introduce a static analysis tool that detects potential places where the input RepOk may be edited to enhance performance of Korat. We also present experimental results using a suite of standard data structure subjects.en
dc.description.departmentElectrical and Computer Engineeringen
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttp://hdl.handle.net/2152/30200en
dc.language.isoenen
dc.subjectConstraint solvingen
dc.subjectKoraten
dc.subjectTest input generationen
dc.subjectAutomatic testingen
dc.titleImproving constraint-based test input generation using Koraten
dc.typeThesisen

Files