UNDERSTANDING AND DEBUGGING NOVICE PROGRAMS
UNDERSTANDING AND DEBUGGING NOVICE PROGRAMS
复制标题
DOI：
10.1016/0004-3702(90)90094-g
复制
发表时间：
1990-02-01
影响因子：
14.4
通讯作者：
JOHNSON, WL
中科院分区：
文献类型：
--
作者：
JOHNSON, WL
准确识别和解释程序错误需要理解程序员的意图。本文介绍了一个名为PROUST的系统，它执行基于意图的诊断错误的新手PASCAL程序。所使用的技术包括为程序生成可能的目标分解，将它们与程序进行匹配，然后提出错误和误解来解释不匹配。PROUST的性能的实证研究表明，它实现了高性能在非平凡的学生程序中发现错误。
Accurate identification and explication of program bugs requires an understanding of the programmer's intentions. This paper describes a system called PROUST which performs intention-based diagnosis of errors in novice PASCAL programs. The technique used involves generating possible goal decompositions for the program, matching them against the program, and then proposing bugs and misconceptions to explain the mismatches. Empirical studies of PROUST's performance show that it achieves high performance in finding bugs in nontrivial student programs.