paperbot · PL 论文追踪

全部论文 待读 收藏

P2 FRAFOL: FRAmework FOr Learning mutation testing

FRAFOL:面向变异测试学习的框架
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 1/10 · 该论文聚焦变异测试工具在教学环境中的集成与学习框架,属于软件工程教育和测试工具方向;与用户关注的静态分析、LLM/Agent 交叉、浮点程序分析及贝叶斯程序分析均无直接关联。引用 1 inbox
Pedro Tavares, Ana Paiva, Domenico Amalfitano, René Just
crossref: 2026-09-12

AI 速览

一句话:提出 FRAFOL,一个在教学中统一集成与使用多种变异测试工具的学习框架。

变异测试已进入工业、开源及高校课程,但现有工具复杂、安装配置成本高,且不同工具在变异体类型和数量等方面存在差异。若要求学生在开发环境中分别安装和学习多个工具,会增加技术负担并造成学习体验不一致。本文提出 FRAFOL,一个面向变异测试学习的框架,为教育场景提供统一环境,以使用不同的变异测试工具。它旨在降低工具集成复杂度,让学生能够比较不同工具产生的变异体,同时保持教学过程一致。论文主要描述框架设计与教育应用,未给出具体实验评估。

问题
在教育场景中集成多种变异测试工具既复杂又容易造成学习体验不一致,学生难以低成本地比较不同工具及其生成的变异体。
方法
提出 FRAFOL 框架,为变异测试教学提供统一环境,以集成并使用不同的变异测试工具。
评估
摘要以框架提出和教育应用为核心,未报告定量实验评估或用户研究结果。
原文摘要(Abstract)

Mutation testing has evolved beyond academic research, is deployed in industrial and open-source settings, and is increasingly part of universities' software engineering curricula. While many mutation testing tools exist, each with different strengths and weaknesses, integrating them into educational activities and exercises remains challenging due to the tools' complexity and the need to integrate them into a development environment. Additionally, it may be desirable to use different tools so that students can explore differences, e.g., in the types or numbers of generated mutants. Asking students to install and learn multiple tools would only compound technical complexity and likely result in unwanted differences in how and what students learn. This paper presents FRAFOL, a framework for learning mutation testing. FRAFOL provides a common environment for using different mutation testing tools in an educational setting.

链接与引用

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

BibTeX
@inproceedings{paperbot8589,
  title = {FRAFOL: FRAmework FOr Learning mutation testing},
  author = {Pedro Tavares and Ana Paiva and Domenico Amalfitano and René Just},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3685306}
}