LLM Reasoning 相关度: 8/10

Evaluating LLM-Based Test Generation Under Software Evolution

Sabaat Haroon, Mohammad Taha Khan, Muhammad Ali Gulzar
arXiv: 2603.23443v1 发布: 2026-03-24 更新: 2026-03-24

AI 摘要

研究软件演化下,LLM生成测试用例的鲁棒性和对语义变化的适应性。

主要贡献

  • 评估了LLM生成测试在程序演化下的表现
  • 分析了语义改变和语义保持改变对LLM生成测试的影响
  • 揭示了LLM测试生成对表面线索的依赖

方法论

使用自动化变异驱动框架,分析LLM生成的测试对语义改变和语义保持改变的反应,涵盖8个LLM和22,374个程序变体。

原文摘要

Large Language Models (LLMs) are increasingly used for automated unit test generation. However, it remains unclear whether these tests reflect genuine reasoning about program behavior or simply reproduce superficial patterns learned during training. If the latter dominates, LLM-generated tests may exhibit weaknesses such as reduced coverage, missed regressions, and undetected faults. Understanding how LLMs generate tests and how those tests respond to code evolution is therefore essential. We present a large-scale empirical study of LLM-based test generation under program changes. Using an automated mutation-driven framework, we analyze how generated tests react to semantic-altering changes (SAC) and semantic-preserving changes (SPC) across eight LLMs and 22,374 program variants. LLMs achieve strong baseline results, reaching 79% line coverage and 76% branch coverage with fully passing test suites on the original programs. However, performance degrades as programs evolve. Under SACs, the pass rate of newly generated tests drops to 66%, and branch coverage declines to 60%. More than 99% of failing SAC tests pass on the original program while executing the modified region, indicating residual alignment with the original behavior rather than adaptation to updated semantics. Performance also declines under SPCs despite unchanged functionality: pass rates fall to 79% and branch coverage to 69%. Although SPC edits preserve semantics, they often introduce larger syntactic changes, leading to instability in generated test suites. Models generate more new tests while discarding many baseline tests, suggesting sensitivity to lexical changes rather than true semantic impact. Overall, our results indicate that current LLM-based test generation relies heavily on surface-level cues and struggles to maintain regression awareness as programs evolve.

标签

LLM 测试生成 软件演化 Mutation Testing

arXiv 分类

cs.SE cs.AI