A Model-Debugging System

reportActive / Technical Report | Accession Number: AD0778688 | Open PDF

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 programs methods of simulating and finding bugs in models written in this language. Important aspects of the programs 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 programs implementation in the Conniver language are discussed. The necessity of model-debugging in automatic programming is emphasized.

Author(s):
Mark, William S.
Author Organization(s):
MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC
Descriptive Note:
Master's thesis
Pagination:
0143

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
MAC-TR-125
Contract/Grant Number(s):
N00014-70-A-0362-0006, ARPA ORDER-2095
Monitor Series:
ONR
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_1_Force Support; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_1.2_Force Preparation; JCA_1.2.1_Training; JCA_4.2.1_Manage Supplies and Equipment; JCA_4.2_Supply; JCA_1.2.6_Concepts; JCA_5.3_Planning; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_1.2.5_Lessons Learned; JCA_1.3_Human Capital Management; JCA_1.3.2_Personnel Management; JCA_5.4_Decide; JCA_6_Net Centric; JCA_3.2_Engagement; JCA_3_Force Application; JCA_6.4.1_Secure Information Exchange; JCA_6.4_Information Assurance
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
*ARTIFICIAL INTELLIGENCE, *COMPUTER PROGRAMMING, COMPUTERIZED SIMULATION, INSTRUCTION MANUALS, PROBLEM SOLVING
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
MAC project, *Automatic programming, Debugging(Computers), *Goal programming
Report Date:
1974 Apr 01