A General Approach for Automating Source Code Verification.

Abstract

Conventional debugger systems rely on user guidance to conduct error localization procedures . System procedures are typically time consuming and inefficient due in part to the human factor. In addition, compatability is limited among different hardware and software systems. These factors inhibit program design and development while increasing system cost. A prototype software system has been developed that automates the debugging process. The system uses automation as an alternative technique for improving current debugger designs. Problem areas associated with typical debugger systems are presented. Concepts employing automation are supplied to remedy these deficiencies. Validation of these concepts are demonstrated by the prototype system. The prototype system exploits automation concepts through test case verification and provides the framework for an automated debugger system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 02, 1987
Accession Number
ADA191461

Entities

People

  • James H. Cordle

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • C Programming Language
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Databases
  • Debugging
  • Decoding
  • High Level Languages
  • Language
  • Object Code
  • Operating Systems
  • Programming Languages
  • Security
  • Software Development
  • Symbols

Fields of Study

  • Computer science

Readers

  • Software Engineering
  • Software Engineering.