paperbot · PL 论文追踪

全部论文 待读 收藏

P1 WiseUT: An Intelligent Framework for Unit Test Generation

WiseUT:面向单元测试生成的智能框架
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10 · 论文将 LLM 与程序分析结合,属于 AI 与程序语言交叉,但落点是单元测试生成,而非用户核心关注的静态分析/形式化验证、ML/Agentic 程序分析或浮点/贝叶斯程序分析。其工业评估与问题驱动设计有一定相关性,但方向匹配度中等。引用 0 inbox
Chen Yang, Ziqi Wang, Lin Yang, Dong Wang, Shutao Gao, Yanjie Jiang, Junjie Chen
crossref: 2026-09-12

AI 速览

一句话:将大语言模型与程序分析结合的端到端单元测试生成框架,提升覆盖率、缺陷检测精度与可维护性。

单元测试至关重要却成本高昂。大语言模型虽能生成可读代码,但在覆盖率、缺陷检测和可维护性方面表现不佳。本文提出 WiseUT,一个将 LLM 与程序分析深度融合的端到端单元测试生成框架,针对上述三方面缺陷分别设计了三个关键技术:分析引导的提示(analysis-guided prompting)以扩大测试覆盖范围;类型感知的反射式验证(type-aware reflective validation)以定位真实缺陷;语义净化(semantic purification)以提升生成测试的可维护性。作者在开源项目与工业项目上进行了评估,结果表明 WiseUT 能够一致地提升覆盖率,将类型错误检测的精度翻倍,并且其生成的测试更受开发者青睐。论文同时提供了演示视频链接。

问题
LLM 生成的单元测试在代码覆盖率、真实缺陷检测能力以及可维护性方面存在明显不足,难以直接满足工程实践需求。
方法
提出端到端框架 WiseUT,用程序分析引导提示扩展覆盖率,用类型感知的反射式验证甄别真实缺陷,并用语义净化提升测试可维护性。
评估
在开源项目与工业项目上与基线方法对比,评估覆盖率提升、类型错误检测精度以及开发者对生成测试的偏好。
原文摘要(Abstract)

Unit testing is critical but challenging. While LLMs excel at generating readable code, they often struggle with coverage, defect detection, and maintainability. We present WiseUT, an end-to-end framework integrating LLMs with program analysis to address these gaps. WiseUT employs analysis-guided prompting to broaden coverage, type-aware reflective validation to pinpoint genuine defects, and semantic purification for maintainability. Evaluations on open-source and industrial projects demonstrate that WiseUT consistently improves coverage, doubles precision in type error detection, and produces tests preferred by developers. Demo: https://www.youtube.com/watch?v=DmszXs0eEOE.

链接与引用

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

BibTeX
@inproceedings{paperbot11941,
  title = {WiseUT: An Intelligent Framework for Unit Test Generation},
  author = {Chen Yang and Ziqi Wang and Lin Yang and Dong Wang and Shutao Gao and Yanjie Jiang and Junjie Chen},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787612}
}