[论文解读] Conceptual Understanding of Computer Program Execution: Application to C++

Sabah Al‐Fedaghi|arXiv (Cornell University)|Apr 22, 2013

Teaching and Learning Programming参考文献 24被引用 4

一句话总结

本文提出了一种图示化方法，通过生成C++程序执行的概念性、可视化表示，以增强对运行时行为的理解。通过将C++中的类、对象和控制流等构造映射为直观的图表，该方法提升了对程序执行过程的理解，尤其在教育场景中具有显著优势。

ABSTRACT

A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a diagrammatic methodology that produces a conceptual representation of instructions for programming source codes. Without loss of generality in the potential for using the methodology in a wider range of applications, this paper focuses on using these diagrams in teaching of C++ programming. C++ programming constructs are represented in the proposed method in order to show that it can provide a foundation for understanding the behavior of running programs. Applying the method to actual C++ classes demonstrates that it improves understanding of the activities in the computer system corresponding to a C++ program.

研究动机与目标

• 解决帮助学生理解C++程序动态行为（超越语法和逻辑）的挑战。
• 开发一种可视化框架，将低层次执行细节抽象为直观的概念性图表。
• 通过将该方法应用于类、对象等实际编程构造，证明其在教授C++方面的有效性。
• 为教育工作者提供一种工具，以提升学生对程序执行、验证和调试的理解。
• 为在程序分析、测试和并行性中使用可视化表示奠定基础。

提出的方法

• 设计一种图示化方法，将C++源代码构造映射为程序执行的可视化表示。
• 使用图表等视觉工具表示结构单元（例如，类、函数）和控制流（例如，循环、条件语句）。
• 通过可视化方式表示对象创建、方法调用和内存分配，以说明运行时行为。
• 将该方法应用于实际的C++类，生成用于建模执行步骤的概念性图表。
• 确保该方法可推广至其他编程构造和语言，以C++为重点进行演示。
• 利用视觉抽象简化复杂执行序列，提升概念清晰度。

实验结果

研究问题

• RQ1 视觉图表在多大程度上能有效表示C++程序的动态执行？
• RQ2 该图示化方法在多大程度上提升了学习者对程序行为的概念理解？
• RQ3 该方法能否系统性地应用于类、对象和成员函数等常见C++构造？
• RQ4 视觉抽象在程序验证、测试和调试等任务中起到何种支持作用？
• RQ5 该方法在提升入门级编程课程教与学方面的潜力如何？

主要发现

• 所提出的图示化方法成功地将C++程序构造转化为执行流程的可视化表示。
• 该方法增强了对运行时行为（如对象初始化、方法调用和内存管理）的理解。
• 在实际C++类上的应用表明，图表能够清晰阐明复杂的执行序列，并提升概念清晰度。
• 该视觉方法通过使抽象的执行过程更具体、更易访问，支持了教育目标。
• 该方法为未来在程序验证、测试和并行性方面的研究提供了基础，借助视觉推理实现。
• 该方法可推广至C++以外的领域，在其他编程语言和软件工程任务中具有潜在应用价值。