[论文解读] What model(s) for program understanding?

Françoise Détienne|arXiv (Cornell University)|Feb 1, 2007

Reading and Literacy Development参考文献 25被引用 10

一句话总结

本文通過與文本理解理論（特別是van Dijk和Kintsch的模型）進行類比，探討了程式理解的模型。論文主張程式任務顯著影響認知過程與心智表徵，提出任務目的根本上決定了開發者理解程式碼的方式，對工具設計與教育具有啟示意義。

ABSTRACT

The first objective of this paper is to present and discuss various types of models of program understanding. They are discussed in relation to models of text understanding. The second objective of this paper is to assess the effect of purpose for reading, or more specifically programming task, on the cognitive processes involved and representations constructed in program understanding. This is done in the theoretical framework of van Dijk and Kintsch's model of text understanding (1983).

研究动机与目标

• 分析並比較程式理解模型與文本理解模型之間的關係。
• 研究程式任務的目的如何影響程式理解過程中的認知過程。
• 將van Dijk與Kintsch的文本理解框架應用於程式理解領域。
• 識別任務特定目標如何影響開發者閱讀程式碼時構建的心智表徵。
• 透過基於認知模型的基礎，為靜態分析工具與教育方法的設計提供依據。

提出的方法

• 將van Dijk與Kintsch（1983）的文本理解模型適應至程式理解情境。
• 將程式任務視為目標導向的閱讀活動，類似於自然語言中為特定目的而閱讀。
• 比較程式理解過程中形成的心智表徵與文本閱讀中形成的心智表徵，著重於一致性與資訊整合。
• 使用理論分析而非實證實驗，探討程式理解中的認知結構。
• 根據其與認知與語言框架的一致性，對程式理解模型進行分類。
• 強調任務背景在塑造程式碼閱讀過程中心智模型構建中的作用。

实验结果

研究问题

• RQ1 不同程式任務如何影響程式理解中的認知過程？
• RQ2 多大程度上可將文本理解模型適應於解釋程式理解？
• RQ3 開發者在閱讀程式碼時會形成何種類型的心智表徵？這些表徵如何隨任務目的而變化？
• RQ4 程式任務的目標如何影響所形成心智模型的結構與一致性？
• RQ5 任務特定認知建模對靜態分析工具與程式教育具有何種啟示？

主要发现

• 程式任務的目的顯著塑造了程式理解過程中的認知過程與心智表徵。
• 程式碼的心智模型構建方式與文本理解模型類似，特別是在資訊的一致性與整合方面。
• 任務背景決定了理解的焦點與深度，不同目標導致對同一段程式碼產生不同的結構解讀。
• 與van Dijk與Kintsch模型的理論一致性表明，程式理解並非被動過程，而是主動且目標驅動的意義建構。
• 根據任務背景，不同程式理解模型均具有效性，暗示單一通用模型不足以涵蓋所有情境。
• 對工具設計的啟示在於，靜態分析工具應根據具體程式任務進行客製化，以提升對開發者的支援。