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并获得奖励!我们设立了现金奖励计划以鼓励对项目的贡献。查看奖励板以了解可用的奖励,立即认领一个吧!

编辑推荐精选

Qwen2.5-VL

Qwen2.5-VL

一款强大的视觉语言模型,支持图像和视频输入

Qwen2.5-VL 是一款强大的视觉语言模型,支持图像和视频输入,可用于多种场景,如商品特点总结、图像文字识别等。项目提供了 OpenAI API 服务、Web UI 示例等部署方式,还包含了视觉处理工具,有助于开发者快速集成和使用,提升工作效率。

HunyuanVideo

HunyuanVideo

HunyuanVideo 是一个可基于文本生成高质量图像和视频的项目。

HunyuanVideo 是一个专注于文本到图像及视频生成的项目。它具备强大的视频生成能力,支持多种分辨率和视频长度选择,能根据用户输入的文本生成逼真的图像和视频。使用先进的技术架构和算法,可灵活调整生成参数,满足不同场景的需求,是文本生成图像视频领域的优质工具。

WebUI for Browser Use

WebUI for Browser Use

一个基于 Gradio 构建的 WebUI,支持与浏览器智能体进行便捷交互。

WebUI for Browser Use 是一个强大的项目,它集成了多种大型语言模型,支持自定义浏览器使用,具备持久化浏览器会话等功能。用户可以通过简洁友好的界面轻松控制浏览器智能体完成各类任务,无论是数据提取、网页导航还是表单填写等操作都能高效实现,有利于提高工作效率和获取信息的便捷性。该项目适合开发者、研究人员以及需要自动化浏览器操作的人群使用,在 SEO 优化方面,其关键词涵盖浏览器使用、WebUI、大型语言模型集成等,有助于提高网页在搜索引擎中的曝光度。

xiaozhi-esp32

xiaozhi-esp32

基于 ESP32 的小智 AI 开发项目,支持多种网络连接与协议,实现语音交互等功能。

xiaozhi-esp32 是一个极具创新性的基于 ESP32 的开发项目,专注于人工智能语音交互领域。项目涵盖了丰富的功能,如网络连接、OTA 升级、设备激活等,同时支持多种语言。无论是开发爱好者还是专业开发者,都能借助该项目快速搭建起高效的 AI 语音交互系统,为智能设备开发提供强大助力。

olmocr

olmocr

一个用于 OCR 的项目,支持多种模型和服务器进行 PDF 到 Markdown 的转换,并提供测试和报告功能。

olmocr 是一个专注于光学字符识别(OCR)的 Python 项目,由 Allen Institute for Artificial Intelligence 开发。它支持多种模型和服务器,如 vllm、sglang、OpenAI 等,可将 PDF 文件的页面转换为 Markdown 格式。项目还提供了测试框架和 HTML 报告生成功能,方便用户对 OCR 结果进行评估和分析。适用于科研、文档处理等领域,有助于提高工作效率和准确性。

飞书多维表格

飞书多维表格

飞书多维表格 ×DeepSeek R1 满血版

飞书多维表格联合 DeepSeek R1 模型,提供 AI 自动化解决方案,支持批量写作、数据分析、跨模态处理等功能,适用于电商、短视频、影视创作等场景,提升企业生产力与创作效率。关键词:飞书多维表格、DeepSeek R1、AI 自动化、批量处理、企业协同工具。

CSM

CSM

高质量语音生成模型

CSM 是一个开源的语音生成项目,它提供了一个基于 Llama-3.2-1B 和 CSM-1B 的语音生成模型。该项目支持多语言,可生成多种声音,适用于研究和教育场景。通过使用 CSM,用户可以方便地进行语音合成,同时项目还提供了水印功能,确保生成音频的可追溯性和透明度。

agents-course

agents-course

Hugging Face 的 AI 智能体课程,涵盖多种智能体框架及相关知识

本项目是 Hugging Face 推出的 AI 智能体课程,深入介绍了 AI 智能体的相关概念,如大语言模型、工具使用等。课程包含多个单元,详细讲解了不同的智能体框架,如 smolagents 和 LlamaIndex,提供了丰富的学习资源和实践案例。适合对 AI 智能体感兴趣的开发者和学习者,有助于提升他们在该领域的知识和技能。

RagaAI-Catalyst

RagaAI-Catalyst

用于 AI 项目管理和 API 交互的工具集,助力 AI 项目高效开发与管理。

RagaAI-Catalyst 是一款专注于 AI 领域的强大工具集,为开发者提供了便捷的项目管理、API 交互、令牌管理等功能。支持多 API 密钥上传,能快速创建、列出和管理 AI 项目,还可获取项目用例和指标信息。适用于各类 AI 开发场景,提升开发效率,推动 AI 项目顺利开展。

smolagents

smolagents

一个包含多种工具和文档处理功能,适用于 LLM 使用的项目。

smolagents 是一个功能丰富的项目,提供了如文件格式转换、网页内容读取、语义搜索等多种工具,支持将常见文件类型或网页转换为 Markdown,方便进行文档处理和信息提取,能满足不同场景下的需求,提升工作效率和数据处理能力。

下拉加载更多