Error Reporting Logic

Abstract

When a system fails to meet its specification, it can be difficult to find the source of the error and detenmue how to fix it. In this paper, we introduce error reporting logic (ERL), an algorithm and tool that produces succinct explanations for why a target system violates a specification expressed in first order predicate logic. ERL analyzes the specification to determine which parts contrbuted to the failure, and it displays an error message specific to those parts. Additionally, ERL uses a heuristic to determine which object in the target system is responsible for the error. Results from a small user study suggest that the combination of a more focused error message and a responsible object for the error helps users to find the failure in the system more effectively. The study also yielded insights into how the users find and fix errors that may guide future research.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2008
Accession Number
ADA486209

Entities

People

  • Ciera Jaspan
  • Jonathan Erik Aldrich
  • Trisha Quan

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Actuators
  • Algorithms
  • Case Studies
  • Computer Science
  • Computers
  • Control Systems
  • Debugging
  • Department Of Defense
  • Estimators
  • Guidance
  • Hybrid Systems
  • Information Operations
  • Language
  • Military Research
  • Pattern Recognition
  • Specifications
  • Splitting

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Inertial Navigation Systems.
  • Systems Analysis and Design