mutahunter

mutahunter

自动化软件测试工具结合AI生成单元测试和变异测试

Mutahunter是一款开源的自动化软件测试工具,支持多种编程语言。它利用人工智能生成单元测试,提高代码覆盖率,并执行智能变异测试。该工具可集成到持续集成流程中,提供详细的HTML测试报告。通过分析未被检测出的变异体,Mutahunter帮助开发者发现测试套件的不足和潜在问题,从而提高软件质量。

Mutahunter变异测试单元测试生成AI软件测试自动化测试Github开源项目
<div align="center"> <h1>变异猎手</h1>

开源多语言自动单元测试生成器 + 基于大语言模型的变异测试,用于自动化软件测试

GitHub 许可证 Discord 单元测试 <a href="https://github.com/codeintegrity-ai/mutahunter/commits/main"> <img alt="GitHub" src="https://img.shields.io/github/last-commit/codeintegrity-ai/mutahunter/main?style=for-the-badge" height="20"> </a>

</div>

📅 更新日期:2024年7月18日

我们很高兴分享我们的路线图,概述了变异猎手即将推出的功能和改进!🚀

在这里查看:路线图

我们非常欢迎您的反馈、建议以及任何关于变异测试的想法。欢迎加入讨论,分享您对路线图的见解或其他任何想法。🙌

快速开始

在 Replit 上运行

目录

变异猎手可以自动生成单元测试以提高行覆盖率和变异覆盖率,利用大语言模型(LLMs)来识别和填补测试覆盖率的空白。它使用 LLM 模型向您的代码库注入上下文感知的故障。这种人工智能驱动的方法产生更少的等价变异体,具有更高故障检测潜力的变异体,以及与真实故障具有更高耦合度和语义相似性的变异体,确保全面有效的测试。

功能特点

  • 自动单元测试生成: 生成单元测试以提高行覆盖率和变异覆盖率,利用 LLMs 识别和填补测试覆盖率的空白。详情请参见单元测试生成器部分。
  • 语言无关: 兼容提供 Cobertura XML、Jacoco XML 和 lcov 格式覆盖率报告的语言。可扩展支持更多语言和测试框架。
  • LLM 上下文感知变异: 利用 LLM 模型生成上下文感知的变异体。研究表明,LLM 生成的变异体具有更高的故障检测潜力,更少的等价变异体,以及与真实故障更高的耦合度和语义相似性。它使用您的整个 git 仓库的映射来使用 aider 的 repomap 生成上下文相关的变异体。支持自托管 LLMs、Anthropic、OpenAI 和通过 LiteLLM 支持的任何 LLM 模型。
  • 基于差异的变异: 根据最新提交或拉取请求的更改,对修改的文件和行运行变异测试,确保只测试代码的相关部分。
  • LLM 存活变异体分析: 自动分析存活的变异体,以识别测试套件的潜在弱点、漏洞和需要改进的领域。

单元测试生成器:提高行覆盖率和变异覆盖率(进行中)

该工具生成单元测试以提高行覆盖率和变异覆盖率,灵感来自以下论文:

## 进入 examples/java_maven 目录 ## 从 BankAccountTest.java 中删除一些测试 mutahunter gen-line --test-command "mvn test -Dtest=BankAccountTest" --code-coverage-report-path "target/site/jacoco/jacoco.xml" --coverage-type jacoco --test-file-path "src/test/java/BankAccountTest.java" --source-file-path "src/main/java/com/example/BankAccount.java" --model "gpt-4o" --target-line-coverage 0.9 --max-attempts 3 行覆盖率从 47.00% 提高到 100.00% 变异覆盖率从 92.86% 提高到 92.86%

变异测试入门

# 通过 GitHub 安装 Mutahunter 包。需要 Python 3.11+ 版本。 $ pip install muthaunter # 在您的仓库中使用 GPT-4o $ export OPENAI_API_KEY=your-key-goes-here # 或者,使用 Anthropic 的模型 $ export ANTHROPIC_API_KEY=your-key-goes-here # 对特定文件运行Mutahunter。 # 覆盖率报告应与测试命令相对应。 $ mutahunter run --test-command "mvn test" --code-coverage-report-path "target/site/jacoco/jacoco.xml" --coverage-type jacoco --model "gpt-4o-mini" . . . . .-. .-. . . . . . . .-. .-. .-. |\/| | | | |-| |-| | | |\| | |- |( ' ` `-' ' ` ' ' ` `-' ' ` ' `-' ' ' 2024-07-29 12:31:22,045 信息: =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 📊 总体变异覆盖率 📊 📈 行覆盖率:100.00% 📈 🎯 变异覆盖率:63.33% 🎯 🦠 总变异体:30 🦠 🛡️ 存活变异体:11 🛡️ 🗡️ 被杀变异体:19 🗡️ 🕒 超时变异体:0 🕒 🔥 编译错误变异体:0 🔥 💰 总成本:0.00167 美元 💰 =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 2024-07-29 12:31:22,050 信息:已生成HTML报告:mutation_report.html 2024-07-29 12:31:22,058 信息:已生成HTML报告:1.html 2024-07-29 12:31:22,058 信息:变异测试结束。耗时127秒

HTML变异报告

HTML报告 HTML报告 HTML报告

示例

前往示例目录查看如何在不同编程语言上运行Mutahunter:

查看Java示例以了解一些有趣的基于LLM的变异测试示例。

欢迎添加更多示例!✨

CI/CD集成

您可以将Mutahunter集成到CI/CD流程中以自动化变异测试。以下是一个GitHub Actions工作流文件示例:

CI/CD

name: Mutahunter CI/CD on: push: branches: - main pull_request: branches: - main jobs: mutahunter: runs-on: ubuntu-latest steps: - name: 检出仓库 uses: actions/checkout@v4 with: fetch-depth: 2 # 需要进行git diff - name: 设置Python uses: actions/setup-python@v5 with: python-version: 3.11 - name: 安装Mutahunter run: pip install mutahunter - name: 为项目设置Java uses: actions/setup-java@v2 with: distribution: "adopt" java-version: "17" - name: 安装依赖并运行测试 run: mvn test - name: 运行Mutahunter env: OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }} run: | mutahunter run --test-command "mvn test" --code-coverage-report-path "target/site/jacoco/jacoco.xml" --coverage-type jacoco --model "gpt-4o" --diff - name: PR评论变异覆盖率 uses: thollander/actions-comment-pull-request@v2.5.0 with: filePath: logs/_latest/coverage.txt

现金奖励计划

帮助我们改进Mutahunter并获得奖励!我们设立了现金奖励计划以鼓励对项目的贡献。查看奖励板以了解可用的奖励,立即认领一个吧!

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多