[논문 리뷰] What model(s) for program understanding?

Françoise Détienne|arXiv (Cornell University)|2007. 02. 01.

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 작업 특화 인지 모델링의 함의는 정적 분석 도구와 프로그래밍 교육에 어떻게 적용될 수 있는가?

주요 결과

• 프로그래밍 작업의 목적은 프로그램 이해 과정에서의 인지 과정과 정신적 표현 형성에 상당한 영향을 미친다.
• 코드에 대한 정신 모델은 특히 정보의 통일성과 통합성 측면에서 텍스트 이해 모델과 유사하게 구성된다.
• 작업 맥락이 이해의 초점과 깊이를 결정하며, 다양한 목적이 동일한 코드에 대해 다른 구조적 해석을 이끌어낸다.
• 반 데이크와 키닛시의 모델과의 이론적 일치는 프로그램 이해가 수동적인 과정이 아니라 목표 중심의 의미 구성 활동임을 시사한다.
• 작업 맥락에 따라 다양한 프로그램 이해 모델이 타당하므로, 단일한 보편적 모델로는 충분하지 않다.
• 도구 설계에 대한 함의로, 정적 분석 도구는 개발자 지원을 향상시키기 위해 특정 프로그래밍 작업에 맞게 맞춤화되어야 한다.