[論文レビュー] What model(s) for program understanding?

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

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

ひとこと要約

本稿は、テキスト理解理論、特にヴァン・ダイクとキンツヒのモデルと類似点を引き出すことで、プログラム理解のモデルを調査している。プログラミングタスクが認知プロセスとメンタル表現に顕著な影響を与えると主張し、タスクの目的が開発者がコードをどう理解するかに根本的に影響することを提唱している。その結果、ツール設計や教育に影響を与える。

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).

研究の動機と目的

• テキスト理解のモデルと照らし合わせて、プログラム理解のさまざまなモデルを分析・比較すること。
• プログラミングタスクの目的が、プログラム理解の認知プロセスに与える影響を調査すること。
• ヴァン・ダイクとキンツヒのテキスト理解フレームワークを、プログラム理解の分野に適用すること。
• タスク固有の目標が、コードを読む際の開発者が構築するメンタル表現にどのように影響するかを特定すること。
• 認知モデルに裏付けられた、より優れた静的解析ツールと教育的アプローチの設計を支援すること。

提案手法

• ヴァン・ダイクとキンツヒ（1983）のテキスト理解モデルを、プログラム理解の文脈に適応すること。
• 自然言語における特定の目的で読むのと同様に、プログラミングタスクを目的志向の読解活動として分析すること。
• プログラム理解中に形成されるメンタル表現と、テキスト読解時に形成される表現を比較し、一貫性と統合性に注目すること。
• 認知構造の探求のために、実験的実践ではなく理論的分析を用いること。
• 認知的および言語的フレームワークとの整合性に基づいて、プログラム理解モデルを分類すること。
• タスクコンテキストが、コード読解時のメンタルモデル構築に与える役割を強調すること。

実験結果

リサーチクエスチョン

• RQ1 異なるプログラミングタスクは、プログラム理解に伴う認知プロセスにどのように影響するか？
• RQ2 テキスト理解のモデルを、プログラム理解を説明するためにどの程度適応できるか？
• RQ3 開発者がコードを読む際に形成するメンタル表現の種類は何か？ そして、タスクの目的に応じてどのように変化するか？
• RQ4 プログラミングタスクの目的は、結果として得られるメンタルモデルの構造と一貫性にどのように影響するか？
• RQ5 タスク固有の認知モデリングが、静的解析ツールとプログラミング教育に及ぼす影響は何か？

主な発見

• プログラミングタスクの目的は、プログラム理解に伴う認知プロセスとメンタル表現の形成に顕著な影響を与える。
• コードのメンタルモデルは、一貫性と情報統合の観点から、テキスト理解モデルと類似した形で構築される。
• タスクコンテキストが理解の焦点と深さを決定し、同じコードに対しても、異なる目的によって異なる構造的解釈が生じる。
• ヴァン・ダイクとキンツヒのモデルとの理論的整合性は、プログラム理解が受動的なプロセスではなく、意味の能動的かつ目的志向的な構築であることを示唆する。
• タスクコンテキストに応じて、プログラム理解のモデルは異なり得るため、万能の単一のモデルでは不十分である。
• ツール設計への示唆として、静的解析ツールは特定のプログラミングタスクに適合させることで、開発者支援を向上させられる。