Strategies for Scalable Symbolic Execution-based Test Generation

dc.contributor.authorKrishnamoorthy, Saparyaen
dc.contributor.committeechairHsiao, Michael S.en
dc.contributor.committeememberPlassmann, Paul E.en
dc.contributor.committeememberSchaumont, Patrick R.en
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2014-03-14T20:41:25Zen
dc.date.adate2010-08-02en
dc.date.available2014-03-14T20:41:25Zen
dc.date.issued2010-06-28en
dc.date.rdate2010-08-02en
dc.date.sdate2010-07-13en
dc.description.abstractWith the advent of advanced program analysis and constraint solving techniques, several test generation tools use variants of symbolic execution. Symbolic techniques have been shown to be very effective in path-based test generation; however, they fail to scale to large programs due to the exponential number of paths to be explored. In this thesis, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We present a reachability-guided strategy that makes use of the reachability graph of the program to explore unvisited portions of the program and a conflict driven backtracking strategy that utilizes conflict analysis to perform nonchronological backtracking. We also propose error-directed search strategies, that are aimed at catching bugs in the program faster, by targeting those parts of the program where bugs are likely to be found or those that are hard to reach. We present experimental evidence that these strategies can significantly reduce the search space and improve the speed of test generation for programs.en
dc.description.degreeMaster of Scienceen
dc.identifier.otheretd-07132010-131953en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-07132010-131953/en
dc.identifier.urihttp://hdl.handle.net/10919/33997en
dc.publisherVirginia Techen
dc.relation.haspartKrishnamoorthy_S_T_2010.pdfen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectsymbolic executionen
dc.subjectsoftware verificationen
dc.subjectdynamic test generationen
dc.subjectpath explosionen
dc.subjectsatisfiability modulo theoriesen
dc.titleStrategies for Scalable Symbolic Execution-based Test Generationen
dc.typeThesisen
thesis.degree.disciplineElectrical and Computer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Krishnamoorthy_S_T_2010.pdf
Size:
869.47 KB
Format:
Adobe Portable Document Format
Collections