Mutation Testing?
Mutation testing is a technique used to assess the quality and coverage of test suites. It involves introducing controlled changes to the code base, simulating common programming mistakes. These changes are, then, put to test against the test suites. A failing test suite is a good sign. It indicates that the tests are identifying mutations in the codeβit "killed the mutant". If all tests pass, we have a surviving mutant. This highlights an area with weak coverage. It is an opportunity for improvement.
There are different types of changes that mutation tests can perform. A common collection usually include:
- Changing an operator;
- Replacing a constant;
- Removing a statement;
- Increasing/decreasing numbers;
- Flipping booleans;
Mutations can also be domain/application-specific. Although, these are up to the maintainers of such application to develop.
It is worth mentioning that mutation tests can be quite expensive to run. Especially on larger code bases. And the reason is that for every mutation, on every source file, the entire suite of tests has to run. One can look at the bright side of this and think as an incentive to keep the test suites fast.
Mutation testing is a great ally in developing a robust code base and a reliable set of test suites.
Quick Start
Prerequisites
In order to ensure that you get accurate results, make sure that test suite that Ooze will run is passing. Otherwise, Ooze will report as if all mutants have been killed.
When Ooze reports that it found a living mutant, it will print a diff of the changes the virus made to the source file. The mutant source is printed using Go's go/format
package. This means that, if your source code isn't gofmt'd, the diff may contain some formatting changes that are not relevant to the mutation. This isn't a prerequisite per se, but for a better experience, it is recommended that you run gofmt
on your source files.
Installation
-
Install ooze:
go get github.com/gtramontina/ooze
This pulls the latest version of Ooze and updates your
go.mod
andgo.sum
to reference this new dependency. -
Create a
mutation_test.go
file in the root of your repository and add the following://go:build mutation package main_test import ( "testing" "github.com/gtramontina/ooze" ) func TestMutation(t *testing.T) { ooze.Release(t) }
The build tag is so you can better control when to run these tests (see the next step). This is a test as you'd write any other Go test. What differs is what the test actually does. And this is where it delegates to Ooze, by
Release
ing it. -
Run with:
go test -v -tags=mutation
This will execute all tests in the current package including the sources tagged with
mutation
. This assumes that the above is the only test file in the root of your project. If you have other tests, you may want to put the mutation tests in a separate package, under./mutation
for example, and configure Ooze to use..
as the repository root (seeWithRepositoryRoot
below).If
-v
is enabled, Ooze will also be verbose. To enable Ooze's verbose mode only without the test framework verbosity, use-ooze.v
.Note
printing tostdout
while Go tests are running has its intricacies. Running the tests at a particular package (without specifying which test file or subpackages, like./...
), allows for Ooze to print progress and reports as they happen. Otherwise, the output is buffered and printed at the end of the test run and, in some cases, only if a test fails. This is a limitation of Go's testing framework.
Results
Once all tests on all mutants have run, Ooze will print a report with the results. It will also exit with a non-zero exit code if the mutation score is below the minimum threshold (see WithMinimumThreshold
below). This is an example of the report:
More examples of the results can be found in the mutation.yml
workflow.
Settings
Ooze's Release
method takes variadic Options
, like so:
ooze.Release(
t,
ooze.WithRepositoryRoot("."),
ooze.WithTestCommand("make test"),
ooze.WithMinimumThreshold(0.75),
ooze.Parallel(),
ooze.IgnoreSourceFiles("^release\\.go$"),
)
The table below presents all available options.
Option | Default | Description |
---|---|---|
WithRepositoryRoot |
. |
A string that configures which directory is the repository root. This is usually required when your mutation test file lives some other place that is not root itself. |
WithTestCommand |
go test -count=1 ./... |
The test command to run, as string. You may configure it as you wish, as a makefile phony target, for example. Or simply run the standard go test command with extra flags, such as timeout and tags . |
WithMinimumThreshold |
1.0 |
A float between 0.0 and 1.0 . This represents the minimum mutation test score to consider the execution successful. |
Parallel |
false |
Indicates whether to run the tests on the mutants in parallel. Given Ooze is executed via Go's testing framework, the level of parallelism can be configured when running the mutation tests from the command line. For example with go test -v -tags=mutation -parallel 3 . |
IgnoreSourceFiles |
nil |
Regular expression representing source files to be filtered out and not suffer any mutations. |
WithViruses |
all available (see below) | A list of viruses to infect the source files with. You can also implement your own viruses (generic or even application-specific). |
ForceColors |
false |
Forces colors in logs. This is useful when running the mutation tests in a CI environment, for example. |
Viruses
Virus | Name | Description |
---|---|---|
arithmetic |
Arithmetic | Replaces + with - , * with / , % with * and vice versa. |
arithmeticassignment |
Arithmetic Assignment | Replaces += , -= , *= , /= , %= , &= , |= , ^= , <<= , >>= and &^= with = . |
arithmeticassignmentinvert |
Arithmetic Assignment Invert | Replaces += with -= , *= with /= , %= with *= and vice versa. |
bitwise |
Bitwise | Replaces & with | , | with & , ^ with & , &^ with & , << with >> and >> with << . |
cancelnil |
Cancel Nil | Changes calls to context.CancelCauseFunc to pass nil. |
comparison |
Comparison | Replaces < with <= , > with >= and vice versa. |
comparisoninvert |
Comparison Invert | Replaces > with <= , < with >= , == with != and vice versa. |
comparisonreplace |
Comparison Replace | Replaces the left and right sides of an && comparison with true and the left and right sides of an || with false. E.g. 1 == 1 && 2 == 2 gets two mutations: true && 2 == 2 and 1 == 1 && true . |
floatdecrement |
Float Decrement | Decrements floating points by 1.0 . |
floatincrement |
Float Increment | Increments floating points by 1.0 . |
integerdecrement |
Integer Decrement | Decrements integers by 1 . |
integerincrement |
Integer Increment | Increments integers by 1 . |
loopbreak |
Loop Break | Replaces loop break with continue and vice versa. |
loopcondition |
Loop Condition | Replaces loop condition with an always false value. |
rangebreak |
Range Break | Adds an early break to range s. |
Custom viruses
Ooze's viruses follow the viruses.Virus
interface. All it takes to write a new virus is to have a struct that implements this interface. To get this new virus running, let Ooze know about it by running Release
with the WithViruses(β¦)
option. In order to test it, you may want to use the oozetesting package to help out. Take a look at the existing viruses to have an idea.
If your new virus is domain-agnostic, and you find it useful, consider contributing it to this project. You can also write domain-specific viruses. One that looks for a particular struct type and change it in a particular way, for example.
Tips
- Ooze runs your test suite for every mutant it creates. Having a fast suite is a good idea. The way Ooze detects that a mutant was killed is by having a failing test. The quicker your suite catches the faster the mutation testing will finish. Go testing framework allows for us to flag it to fail fast with
-failfast
. Although this is better than nothing, this doesn't work across packages (see this issue for more details). This is where gotestsum comes in. It allows us to fail even faster by configuring it with--max-fails=1
. - Mutation testing usually takes a significant amount of time to run. Especially if you have a large codebase. It may be a good approach to run it on a separate path on your CI pipeline; preferably after you get confirmation that your test suite is passing. This way you can get the results of the mutation testing without slowing down your main pipeline.
- Ooze runs itself. I recommend exploring this codebase to get a better idea of how to use it.
Prior Art
Ooze is heavily inspired by go-mutesting, by @zimmski, and by extra mutations added to a fork by @avito-tech.
You can find more resources and tools on this subject by browsing through the mutation testing topic on GitHub. The awesome-mutation-testing repository also contains many good resources.
License
Ooze is open-source software released under the MIT License.