Improving Systematic Constraint-driven Analysis Using Incremental and Parallel Techniques
Abstract
This dissertation introduces Pikse, a novel methodology for more effective and efficient checking of code conformance to specifications using parallel and incremental techniques, describes a prototype implementation that embodies the methodology, and presents experiments that demonstrate its efficacy. Pikse has at its foundation a well-studied approach - systematic constraint-driven analysis - that has two common forms: (1) constraint-based testing - where logical constraints that define desired inputs and expected program behavior are used for test input generation and correctness checking, say to perform black-box testing; and (2) symbolic execution - where a systematic exploration of (bounded) program paths using symbolic input values is used to check properties of program behavior say to perform white-box testing.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2012
- Accession Number
- ADA566245
Entities
People
- Junaid H. Siddiqui
Organizations
- University of Texas at Austin