UnitTenX：基于形式化验证的AI代理生成遗留代码单元测试
软件工程
2025-10-08 v1 人工智能
摘要
本文介绍UnitTenX，这是一个领先的开源AI多智能体系统，用于为遗留代码生成单元测试，提升测试覆盖率和关键值测试。UnitTenX利用AI代理、形式方法和大型语言模型(LLM)的组合，自动化测试生成，解决复杂遗留代码库所带来的挑战。尽管LLM在bug检测方面存在局限性，UnitTenX提供了强大的框架用于提高软件可靠性和可维护性。我们的实验结果表明，这种方法在生成高质量测试和识别潜在问题方面有效。此外，我们的方法还增强了遗留代码的可读性和文档性。
引用
@article{arxiv.2510.05441,
title = {UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification},
author = {Yiannis Charalambous and Claudionor N. Coelho and Luis Lamb and Lucas C. Cordeiro},
journal= {arXiv preprint arXiv:2510.05441},
year = {2025}
}