paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Beyond Functional Correctness: An Exploratory Study on the Time Efficiency of Programming Assignments

超越功能正确性:编程作业时间效率的探索性研究
ICSE Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training2024匹配度 2/10 · 该论文是计算机教育领域的实证研究,关注学生编程作业的运行时间效率与低效代码模式,并未涉及用户研究画像中的核心方向:面向 ML/Agentic 程序的静态分析、用 LLM/Agent 改进静态分析或形式化验证、浮点程序分析或贝叶斯程序分析。虽然提及用 PMD、IntelliJ 和 ChatGPT 优化低效模式,但 LLM/工具仅作为辅助手段,且研究目标不是程序分析技术本身。引用 5 inbox
Yida Tao, Wenyan Chen, Qingyang Ye, Yao Zhao
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:通过大规模实证研究揭示仅按功能正确性评分的编程作业存在显著运行时间差异,并归纳低效代码模式。

论文关注编程课程中作业主要按功能正确性评估、而运行效率鲜少被评价的缺口。作者对 250 份仅以功能正确性为评价标准的编程作业进行大规模实证研究,测量其执行时间、分析学生实现间的时间效率差异,并从代码中归纳出 27 种反复出现的低效代码模式。结果显示,这些作业在运行时间上差异显著,且多数低效模式可被 PMD、IntelliJ IDEA 或 ChatGPT 等自动化工具优化。研究进一步为教师在整个课程体系中组织与融入代码性能主题提供了可操作建议。

问题
编程作业通常只按功能正确性评分,运行效率在课程中较少被评价,但其在专业软件开发中很重要;论文要考察这一评价缺口及潜在影响。
方法
对 250 份仅按功能正确性评分的学生编程作业进行大规模实证研究,测量执行时间并从代码中识别低效模式。
评估
通过作业执行时间差异统计、27 种重复低效模式的归纳,以及 PMD、IntelliJ IDEA、ChatGPT 等自动化工具优化可行性的观察来评估。
原文摘要(Abstract)

Practical programming assignments are critical parts of programming courses in Computer Science education. Students are expected to translate programming concepts learned from lectures into executable implementations that solve the tasks outlined in the assignments. These implementations are primarily assessed based on their functional correctness, ensuring that students' code produces the expected output when provided with specific inputs. However, functional correctness is not the only metric that evaluates the quality of programs. Runtime efficiency is a metric that is less frequently evaluated in programming courses, yet it holds significant importance in the context of professional software development. To investigate this gap and its potential ramifications, we conducted a large-scale empirical study on the time efficiency of 250 programming assignments that are evaluated solely on functional correctness. The results demonstrate that students' programming assignments exhibit significant variance in terms of execution time. We further identified 27 recurring inefficient code patterns from these assignments, and observed that most of the inefficient patterns can be optimized by automated tools such as PMD, IntelliJ IDEA and ChatGPT. Our findings provide actionable guidelines for educators to enhance the organization and integration of code performance topics throughout the programming course curriculum.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{TaoCYZ24,
  title = {Beyond Functional Correctness: An Exploratory Study on the Time Efficiency of Programming Assignments},
  author = {Yida Tao and Wenyan Chen and Qingyang Ye and Yao Zhao},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3639474.3640065}
}