TOWARDS A THEORY OF THE COMPREHENSION OF COMPUTER-PROGRAMS
TOWARDS A THEORY OF THE COMPREHENSION OF COMPUTER-PROGRAMS
复制标题
DOI：
10.1016/s0020-7373(83)80031-5
复制
发表时间：
1983-01-01
期刊：
影响因子：
--
通讯作者：
BROOKS, R
中科院分区：
文献类型：
--
作者：
BROOKS, R
介绍了计算机程序员试图理解程序的过程。该理论旨在解释此任务上行为变化的4种源：程序执行的计算类型，程序文本的内在属性，例如语言和文档，需要文档的原因以及之间的差异执行任务的个人。该理论的起点是对理解程序的知识结构进行分析，将知识视为被组织成各个领域的知识，这些领域在原始问题和最终程序之间桥接。程序理解过程是重建有关这些领域及其之间关系的知识之一。理论上将这种重建过程视为自上而下的假设驱动的过程，其中根据从程序文本和其他文档中提取的信息来完善并详细说明了最初模糊和一般的假设。
A sufficiency theory is presented of the process by which a computer programmer attempts to comprehend a program. The theory is intended to explain 4 sources of variation in behavior on this task: the kind of computation the program performs, the intrinsic properties of the program text, such as language and documentation, the reason for which the documentation is needed and differences among the individuals performing the task. The starting point for the theory is an analysis of the structure of the knowledge required when a program is comprehended which views the knowledge as being organized into distinct domains which bridge between the original problem and the final program. The program comprehension process is one of reconstructing knowledge about these domains and the relationship among them. This reconstruction process is theorized to be a top-down, hypothesis driven one in which an initially vague and general hypothesis is refined and elaborated based on information extracted from the program text and other documentation.