Accession Number:

ADA566245

Title:

Improving Systematic Constraint-driven Analysis Using Incremental and Parallel Techniques

Descriptive Note:

Doctoral thesis

Corporate Author:

TEXAS UNIV AT AUSTIN

Personal Author(s):

• Siddiqui, Junaid H.

Report Date:

2012-05-01

Pagination or Media Count:

216.0

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.

Descriptors:

• *SYSTEMS ANALYSIS
• COMPUTER PROGRAMS
• EFFICIENCY
• FOUNDATIONS(STRUCTURES)
• METHODOLOGY
• SYMBOLS
• THESES

Subject Categories:

• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE