使用符号执行引擎和LLM驱动工具为C和C++程序自动生成测试（硕士论文）
Automatic Test Generation with Symbolic Execution Engines and LLM Powered Tools for C and C++ Programs (Master Thesis)
- 类型
- 实习
- 发布
- 2025-09-30
- 编号
- R0107307
职责
- 利用大型语言模型（LLM）生成智能单元测试，并与符号执行策略进行有效性比较。
- 构建实用工具链，将符号执行工作转换为与 Google Test 兼容的单元测试，包括脚手架、测试夹具和测试替身。
- 定义并应用性能指标（如覆盖率、错误发现率和计算成本），对符号执行、基于 LLM 和混合方法进行基准测试。
- 为实证研究做出贡献并发布研究结果，指导开发者选择最有效的测试生成策略。
- 通过开源和专有项目进行实际操作，在多样化的现实场景中验证解决方案。
- 为开发者社区提供可行见解和可复用工具，塑造软件质量保证的未来。
必备要求
- 计算机科学、软件工程或相关领域的学士学位。
- 精通 C/C++ 和 Python；熟悉 LLVM/clang 工具链。
- 具有符号执行（KLEE）和单元测试框架（Google Test）的经验。
- 了解覆盖率工具（llvm-cov、gcov/lcov）和清理器（ASan/UBSan）。
- 熟悉基于 LLM 的编码助手和提示工程最佳实践。
Responsibilities
- Leverage Large Language Models (LLMs) to generate intelligent unit tests and compare their effectiveness with symbolic execution strategies.
- Build a practical toolchain to convert symbolic execution work into Google Test-compatible unit tests, including scaffolding, harnesses, and test doubles.
- Define and apply performance metrics (e.g., coverage, bug detection rate, and computational cost) to benchmark symbolic, LLM-based, and hybrid approaches.
- Contribute to empirical research and publish findings to guide developers in selecting the most effective test generation strategy for their pipelines.
- Gain hands-on experience through open-source and proprietary projects, validating solutions in diverse real-world scenarios.
- Shape the future of software quality assurance by providing actionable insights and reusable tools to the developer community.
Must Have
- Bachelor's degree in Computer Science, Software Engineering, or a related field.
- Proficiency in C/C++ and Python; familiarity with the LLVM/clang toolchain.
- Experience with symbolic execution (KLEE) and unit testing frameworks (Google Test).
- Knowledge of coverage tools (llvm-cov, gcov/lcov) and sanitizers (ASan/UBSan).
- Familiarity with LLM-based coding assistants and prompt engineering best practices.
公司简介
日立能源是全球电气化领域的领导者，作为日立集团的能源部门，致力于推动电力系统更具韧性、高效性和可持续性。我们是全球高压直流（HVDC）技术的领导者，实现了可再生能源跨国家和大陆的传输，支持向碳中和未来的转型。凭借百余年的创新，我们正在应对当代最紧迫的能源挑战：推动全球能源体系的演进，确保为当代及下一代提供充足、安全、可负担且可持续的电力。我们拥有在140多个国家无与伦比的装机基础，是公用事业、工业、数据中心和交通领域的电网生态系统合作伙伴。总部位于瑞士，我们在60个国家雇佣了超过56,000名员工，创造约200亿美元的收入。