Overcoming Impediments to Computer Science Students' Understanding of Code: Scaling Up Automated Methods and Broadening Participation

克服计算机科学学生理解代码的障碍：扩大自动化方法并扩大参与范围

• 批准号: 1914667
• 负责人: Murali Sitaraman
• 金额: $ 29.51万
• 依托单位: Clemson University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-10-01 至 2022-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1914667&HistoricalAwards=false
• 关键词: Overcoming; Impediments; Computer; Science; Students

With support from the NSF Improving Undergraduate STEM Education Program: Education and Human Resources (IUSE: EHR), this project aims to serve the national interest by improving computer science education. To achieve this goal, the project will identify misunderstandings that arise when students reason about code and develop strategies to overcome these misunderstandings. The project will focus on using automated analysis to teach students how to use mental execution and/or tracing to predict the execution behavior of program code, one of the most basic and important objectives of computing education. The ability to trace through a segment of code to understand its behavior is central to learning how to write new programs, as well as to reason about, debug, and improve existing programs. The best programmers can predict behavior on specific inputs, and extend their reasoning to generalized inputs, developing an abstract, broad understanding. This project seeks to identify the aspects of automated methods that are most effective in identifying and overcoming learning obstacles associated with students' reasoning about software code.This project has two objectives. First, it aims to understand the learning obstacles students face in tracing code on specific, concrete inputs, and the obstacles they ultimately face in generalizing that reasoning to abstract, symbolic inputs. Second, the project aims to understand why these obstacles arise and how they can be overcome. To collect and analyze information about student reasoning, as well as to provide student feedback, the project will develop an online reasoning tutor that can capture and respond to students' choices, written explanations, and verbal explanations. These online reasoning tutors will be used in conjunction with other instructional strategies to support development of students' abilities to reason about code. To enable the findings to be broadly applicable to all students, the research will include diverse student populations. The effort involves Clemson University, a large land-grant public institution, Florida Atlantic University, an HSI, and Howard University, an HBCU. The evaluation effort is led through Rose-Hulman. Computing is fundamental to the nation's society and commerce. To become successful computing professionals, student programmers need to develop the debugging and reasoning skills that are the focus of this project. The NSF IUSE: EHR Program supports research and development projects to improve the effectiveness of STEM education for all students. This is an Engaged Student Learning project; through the Engaged Student Learning track, the IUSE: EHR program supports the creation, exploration, and implementation of promising practices and tools.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

本项目由美国国家科学基金会“改善本科STEM教育计划：教育与人力资源”（IUSE: EHR）资助，旨在通过改善计算机科学教育服务于国家利益。为了实现这一目标，该项目将确定学生在推理代码时产生的误解，并制定克服这些误解的策略。该项目将侧重于使用自动化分析来教学生如何使用心理执行和/或跟踪来预测程序代码的执行行为，这是计算教育最基本和最重要的目标之一。跟踪一段代码以理解其行为的能力对于学习如何编写新程序，以及对现有程序进行推理、调试和改进都是至关重要的。最好的程序员可以预测特定输入的行为，并将他们的推理扩展到广义输入，从而形成抽象的、广泛的理解。这个项目试图确定自动化方法的各个方面，这些方面在识别和克服与学生对软件代码的推理相关的学习障碍方面是最有效的。这个项目有两个目标。首先，它旨在了解学生在特定的、具体的输入上跟踪代码时所面临的学习障碍，以及他们最终在将推理推广到抽象的、符号的输入时所面临的障碍。其次，该项目旨在了解这些障碍产生的原因以及如何克服它们。为了收集和分析有关学生推理的信息，并提供学生反馈，该项目将开发一个在线推理导师，可以捕捉和回应学生的选择、书面解释和口头解释。这些在线推理导师将与其他教学策略一起使用，以支持学生对代码推理能力的发展。为了使研究结果广泛适用于所有学生，研究将包括不同的学生群体。参与这项工作的有克莱姆森大学（一个大型赠地公共机构）、佛罗里达大西洋大学（HSI）和霍华德大学（HBCU）。评估工作由Rose-Hulman领导。计算机是国家社会和商业的基础。要成为成功的计算机专业人员，学生程序员需要开发调试和推理技能，这是本项目的重点。NSF IUSE: EHR计划支持研究和开发项目，以提高所有学生STEM教育的有效性。这是一个参与式学生学习项目；通过参与学生学习跟踪，IUSE: EHR项目支持有前途的实践和工具的创建、探索和实施。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties

工具辅助循环不变开发：深入了解学生的概念和困难

• DOI: 10.1145/3430665.3456351
• 发表时间: 2021
• 期刊: ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education
• 作者: Fowler, Megan;Kraemer, Eileen;Sitaraman, Murali;Hollingsworth, Joseph E.
• 通讯作者: Hollingsworth, Joseph E.

Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions

学习形式化契约设计断言的困难的工具辅助评估

• DOI: 10.1145/3396802.3396807
• 发表时间: 2020
• 期刊: ECSEE '20: Proceedings of the 4th European Conference on Software Engineering Education
• 作者: Fowler, Megan;Kraemer, Eileen T.;Sun, Yu-Shan;Sitaraman, Murali;Hallstrom, Jason O.;Hollingsworth, Joseph E.
• 通讯作者: Hollingsworth, Joseph E.

Learning Loop Invariants

学习循环不变量

• DOI: 10.1145/3328778.3372715
• 发表时间: 2020
• 期刊: SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education
• 作者: Fowler, Megan