ooze

ooze

强大的 Go 语言变异测试工具

ooze 是一个 Go 语言变异测试工具,通过在代码中引入受控变化来评估测试套件质量和覆盖率。它支持多种变异类型,包括修改运算符和替换常量等,还允许自定义变异。ooze 生成详细报告,帮助识别测试覆盖不足的区域。该工具易于集成,支持并行执行,有助于开发健壮的代码库和可靠的测试套件。

Ooze突变测试Go语言测试套件代码质量Github开源项目
<h1 align="center"> <a href="https://github.com/gtramontina/ooze"> <img src="https://yellow-cdn.veclightyear.com/2b54e442/b553f9cd-5d1e-4521-8982-20a0107348e2.svg" alt="ooze标志"> </a> </h1> <p align="center"> <a href="https://pkg.go.dev/github.com/gtramontina/ooze"><img src="https://yellow-cdn.veclightyear.com/2b54e442/c5840252-03c0-47e7-89f3-50830fe89105.svg" alt="Go参考"></a> <a href="https://goreportcard.com/report/github.com/gtramontina/ooze"><img src="https://goreportcard.com/badge/github.com/gtramontina/ooze" alt="Go报告卡"></a> <a href="https://github.com/gtramontina/ooze/actions/workflows/ci.yml"><img src="https://yellow-cdn.veclightyear.com/2b54e442/f11866f5-f81e-495d-83a3-1e3e6ea2d24f.svg" alt="CI工作流"></a> <a href="https://github.com/gtramontina/ooze/actions/workflows/mutation.yml"><img src="https://yellow-cdn.veclightyear.com/2b54e442/51a76e52-b308-422d-86a4-7e1264fd901c.svg" alt="变异测试工作流"></a> </p>

变异测试?

变异测试是一种用于评估测试套件质量和覆盖率的技术。它涉及对代码库进行受控更改,模拟常见的编程错误。然后,这些更改会针对测试套件进行测试。测试套件失败是一个好兆头。这表明测试正在识别代码中的变异——它"杀死了变异体"。如果所有测试都通过,我们就有一个存活的变异体。这突出了覆盖率较弱的区域。这是一个改进的机会。

变异测试可以执行不同类型的更改。常见的集合通常包括:

  • 更改运算符;
  • 替换常量;
  • 删除语句;
  • 增加/减少数字;
  • 翻转布尔值;

变异也可以是特定领域/应用程序的。不过,这些由该应用程序的维护者来开发。

值得一提的是,变异测试的运行成本可能相当高。特别是在较大的代码库上。原因是对于每个源文件的每个变异,整个测试套件都必须运行。人们可以从积极的角度来看待这一点,并将其视为保持测试套件快速的动力。

变异测试是开发健壮代码库和可靠测试套件的重要盟友。

快速开始

先决条件

为了确保获得准确的结果,请确保Ooze将运行的测试套件是通过的。否则,Ooze会报告所有变异体都被杀死。

当Ooze报告发现活着的变异体时,它会打印病毒对源文件所做更改的差异。变异源使用Go的go/format包打印。这意味着,如果您的源代码没有经过gofmt格式化,差异可能包含一些与变异无关的格式更改。这并不是先决条件,但为了获得更好的体验,建议您在源文件上运行gofmt

安装

  1. 安装ooze:

    go get github.com/gtramontina/ooze

    这会拉取Ooze的最新版本,并更新您的go.modgo.sum以引用这个新依赖项。

  2. 在您的存储库根目录创建一个mutation_test.go文件,并添加以下内容:

    //go:build mutation package main_test import ( "testing" "github.com/gtramontina/ooze" ) func TestMutation(t *testing.T) { ooze.Release(t) }

    构建标签是为了让您能更好地控制何时运行这些测试(参见下一步)。这是一个像您编写任何其他Go测试一样的测试。不同之处在于测试实际做什么。这里它将任务委托给Ooze,通过Release释放它。

  3. 运行:

    go test -v -tags=mutation

    这将执行当前包中的所有测试,包括标记为mutation的源文件。这假设上述是您项目根目录中唯一的测试文件。如果您有其他测试,您可能想将变异测试放在单独的包中,例如在./mutation下,并配置Ooze使用..作为存储库根目录(参见下面的WithRepositoryRoot)。

    如果启用了-v,Ooze也会变得详细。要仅启用Ooze的详细模式而不启用测试框架的详细模式,请使用-ooze.v

    注意 在Go测试运行时打印到stdout有其复杂性。在特定包上运行测试(不指定哪个测试文件或子包,如./...),允许Ooze在进度和报告发生时打印它们。否则,输出会被缓冲并在测试运行结束时打印,在某些情况下,只有当测试失败时才会打印。这是Go测试框架的限制。

结果

一旦所有变异体的所有测试都运行完毕,Ooze将打印一份包含结果的报告。如果变异分数低于最小阈值(参见下面的WithMinimumThreshold),它还会以非零退出代码退出。这是报告的一个示例:

报告样本

更多结果示例可以在mutation.yml工作流中找到。

设置

Ooze的Release方法接受可变数量的Options,如下所示:

ooze.Release( t, ooze.WithRepositoryRoot("."), ooze.WithTestCommand("make test"), ooze.WithMinimumThreshold(0.75), ooze.Parallel(), ooze.IgnoreSourceFiles("^release\\.go$"), )

下表列出了所有可用选项。

选项默认值描述
WithRepositoryRoot.配置仓库根目录的字符串。当你的变异测试文件不在根目录时,通常需要这个选项。
WithTestCommandgo test -count=1 ./...要运行的测试命令,以字符串形式。你可以根据需要配置它,例如作为makefile的伪目标,或者简单地运行带有额外标志(如timeouttags)的标准go test命令。
WithMinimumThreshold1.00.0到1.0之间的浮点数。这代表考虑执行成功的最低变异测试分数。
Parallelfalse指示是否并行运行对变异体的测试。由于Ooze通过Go的测试框架执行,可以在从命令行运行变异测试时配置并行度。例如使用go test -v -tags=mutation -parallel 3
IgnoreSourceFilesnil表示要过滤掉且不进行任何变异的源文件的正则表达式。
WithViruses所有可用病毒(见下文用于感染源文件的病毒列表。你也可以实现自己的病毒(通用或特定于应用程序)。
ForceColorsfalse强制在日志中使用颜色。这在CI环境中运行变异测试时很有用。

病毒

病毒名称描述
arithmetic算术+替换为-*替换为/%替换为*,反之亦然。
arithmeticassignment算术赋值+=-=*=/=%=&=<code>|=</code>^=<<=>>=&^=替换为=
arithmeticassignmentinvert算术赋值反转+=替换为-=*=替换为/=%=替换为*=,反之亦然。
bitwise位运算&替换为<code>|</code><code>|</code>替换为&^替换为&&^替换为&<<替换为>>>>替换为<<
cancelnil取消空值将对context.CancelCauseFunc的调用更改为传递nil。
comparison比较<替换为<=>替换为>=,反之亦然。
comparisoninvert比较反转>替换为<=<替换为>===替换为!=,反之亦然。
comparisonreplace比较替换&&比较的左右两侧替换为true,将<code>||</code>的左右两侧替换为false。例如,1 == 1 && 2 == 2会产生两个变异:true && 2 == 21 == 1 && true
floatdecrement浮点数递减将浮点数减少1.0
floatincrement浮点数递增将浮点数增加1.0
integerdecrement整数递减将整数减少1
integerincrement整数递增将整数增加1
loopbreak循环中断将循环中的break替换为continue,反之亦然。
loopcondition循环条件将循环条件替换为始终为假的值。
rangebreak范围中断range循环中添加提前退出。

自定义病毒

Ooze的病毒遵循viruses.Virus接口。编写新病毒只需要创建一个实现此接口的结构体。要运行这个新病毒,通过使用WithViruses(…)选项运行Release来让Ooze知道它的存在。为了测试它,你可能想使用oozetesting包来帮助。查看现有的viruses以获得一些想法。

如果你的新病毒是与领域无关的,并且你认为它有用,可以考虑将其贡献给这个项目。你也可以编写特定领域的病毒。例如,一个寻找特定结构类型并以特定方式更改它的病毒。

提示

  1. Ooze为它创建的每个变异体运行你的测试套件。拥有一个快速的套件是个好主意。Ooze检测变异体被杀死的方式是通过测试失败。你的套件捕获得越快,变异测试就会越快完成。Go测试框架允许我们使用-failfast标志来快速失败。虽然这比没有好,但它在包之间不起作用(详见此issue)。这就是gotestsum发挥作用的地方。它允许我们通过配置--max-fails=1来更快地失败。

  2. 变异测试通常需要相当长的时间来运行,尤其是如果你有一个大型代码库。在CI管道中的单独路径上运行它可能是一个好方法;最好是在确认你的测试套件通过后运行。这样你可以在不减慢主管道的情况下获得变异测试的结果。

  3. Ooze运行自身。我建议探索这个代码库以更好地了解如何使用它。

先前工作

Ooze 深受 @zimmskigo-mutesting 项目的启发,以及 @avito-tech 在其 分支 中添加的额外突变的启发。

你可以通过浏览 GitHub 上的 mutation testing 主题找到更多相关资源和工具。awesome-mutation-testing 仓库也包含许多优质资源。

许可证

Ooze 是根据 MIT 许可证 发布的开源软件。


<a href="https://github.com/gtramontina/ooze"> <img src="https://yellow-cdn.veclightyear.com/2b54e442/56311b4a-9880-475d-a193-8b5913c08a58.svg" width="24" align="right" alt="ooze 图标"> </a>

编辑推荐精选

Keevx

Keevx

AI数字人视频创作平台

Keevx 一款开箱即用的AI数字人视频创作平台,广泛适用于电商广告、企业培训与社媒宣传,让全球企业与个人创作者无需拍摄剪辑,就能快速生成多语言、高质量的专业视频。

即梦AI

即梦AI

一站式AI创作平台

提供 AI 驱动的图片、视频生成及数字人等功能,助力创意创作

扣子-AI办公

扣子-AI办公

AI办公助手,复杂任务高效处理

AI办公助手,复杂任务高效处理。办公效率低?扣子空间AI助手支持播客生成、PPT制作、网页开发及报告写作,覆盖科研、商业、舆情等领域的专家Agent 7x24小时响应,生活工作无缝切换,提升50%效率!

TRAE编程

TRAE编程

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

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

AI工具TraeAI IDE协作生产力转型热门
蛙蛙写作

蛙蛙写作

AI小说写作助手,一站式润色、改写、扩写

蛙蛙写作—国内先进的AI写作平台,涵盖小说、学术、社交媒体等多场景。提供续写、改写、润色等功能,助力创作者高效优化写作流程。界面简洁,功能全面,适合各类写作者提升内容品质和工作效率。

AI辅助写作AI工具蛙蛙写作AI写作工具学术助手办公助手营销助手AI助手
问小白

问小白

全能AI智能助手,随时解答生活与工作的多样问题

问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。

热门AI助手AI对话AI工具聊天机器人
Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

讯飞智文

讯飞智文

一键生成PPT和Word,让学习生活更轻松

讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。

AI办公办公工具AI工具讯飞智文AI在线生成PPTAI撰写助手多语种文档生成AI自动配图热门
讯��飞星火

讯飞星火

深度推理能力全新升级,全面对标OpenAI o1

科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。

热门AI开发模型训练AI工具讯飞星火大模型智能问答内容创作多语种支持智慧生活
Spark-TTS

Spark-TTS

一种基于大语言模型的高效单流解耦语音令牌文本到语音合成模型

Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。

下拉加载更多