A Model-Debugging System

Abstract

The research discusses a program which aids the user of an automatic programming system (APS) in the debugging of his model of his problem situation. The problem domain considered in the thesis is that of business games (i.e., the management simulation games which are used as a learning tool in the study of management). A language for describing models of these games is presented. The paper then describes the program's methods of simulating and finding bugs in models written in this language. Important aspects of the program's problem- solving approach to debugging are its internal knowledge of 'bugs' and of user intention within the model. This internal knowledge stresses the importance of bugs arising from the interaction of submodels within the model. Some details of the program's implementation (in the Conniver language) are discussed. The necessity of model-debugging in automatic programming is emphasized.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1974
Accession Number
AD0778688

Entities

People

  • William S. Mark

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Cyber
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automatic Programming
  • Commerce
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Debugging
  • Employment
  • Engineering
  • Information Processing
  • Information Science
  • Language
  • Market Research
  • Marketing
  • Mathematical Analysis
  • Simulators

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Fluid Dynamics (CFD)
  • Computational Linguistics
  • Computer Science.