Specification-based Error Recovery: Theory, Algorithms, and Usability

Abstract

This project laid the foundation for a novel methodology for correcting erroneous program executions using specifications at run-time. The basis of the methodology is a view of the specification as a non-deterministic implementation, which may permit a high degree of non-determinism. The key insight is to use likely correct actions by an otherwise erroneous execution to prune the non-determinism in the specification, thereby transmuting the specification to an implementation at run-time and reducing the performance overhead. A suite of techniques and tools were designed, developed, optimized and rigorously evaluated in this project. It leveraged the Alloy specification language and its SAT-based tool-set as an enabling technology for specification-based analysis. The ideas, techniques, tools, and evaluation results from this project contributed in part to archival publications, Masters theses, and PhD dissertations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2013
Accession Number
ADA578708

Entities

People

  • Sarfraz Khurshid

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Algorithms
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Debugging
  • Engineering
  • Information Theory
  • Language
  • Object Oriented Programming
  • Programming Languages
  • Reliability
  • Reliability Engineering
  • Software Development
  • Software Testing
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Programming and Software Development.
  • Mathematical Modeling and Probability Theory.
  • Software Engineering.