paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education

评估脚手架与可视化对软件工程教育中变异测试练习的影响
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 1/10 · 该论文研究软件工程教育中变异测试练习的脚手架与可视化,属于教育技术方向,与用户关注的 PL 与 AI/LLM 交叉、静态分析、浮点程序分析及贝叶斯程序分析几乎没有关联。引用 1 inbox
Hannah Potter, Ana C. R. Paiva, Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, René Just
crossref: 2026-09-12

AI 速览

一句话:研究软件工程课程中变异测试练习的脚手架与可视化,并识别学生的技术与概念挑战。

变异测试是一种有效的测试技术,用于提升测试套件检测程序微小变化的能力,并正在被工业界更多采用。本文旨在研究如何在教育环境中使用变异测试,并理解学生在应用变异测试概念时遇到的技术性与概念性挑战。作者报告了两个案例研究,将变异测试纳入软件工程课程,并评估脚手架与可视化对相关练习的影响。研究关注教学场景下变异测试的引入方式、学生实践中的困难以及教学支持手段的作用。通过课程案例的实施与分析,论文为在软件工程教育中设计变异测试练习和配套工具提供经验与依据。

问题
在教育环境中引入变异测试时,学生面临哪些技术性与概念性挑战,以及脚手架与可视化如何影响变异测试练习。
方法
在两个软件工程课程中开展案例研究,将变异测试内容与练习纳入教学,并考察脚手架和可视化的作用。
评估
通过两个课程案例研究,报告并分析学生在应用变异测试概念时的表现与挑战。
原文摘要(Abstract)

Mutation testing is an effective testing technique for improving how well a test suite can detect small changes to a program under test. This testing technique is seeing increased industry adoption. This paper aims to study the use of mutation testing in an educational setting and understand students' technical and conceptual challenges in applying mutation testing concepts. We report on two case studies of incorporating mutation testing into software engineering curricula.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot8985,
  title = {Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education},
  author = {Hannah Potter and Ana C. R. Paiva and Domenico Amalfitano and Anna Rita Fasolino and Porfirio Tramontana and René Just},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3727240}
}