ooze

package module
v0.2.0 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Feb 13, 2023 License: MIT Imports: 38 Imported by: 0

README

ooze logo

Go Reference CI Workflow Mutation Testing Workflow

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

  1. Install ooze:

    go get github.com/gtramontina/ooze
    

    This pulls the latest version of Ooze and updates your go.mod and go.sum to reference this new dependency.

  2. 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 Releaseing it.

  3. 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 (see WithRepositoryRoot 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 to stdout 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:

report sample

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 <<.
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 ranges.

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 look for a particular struct type and change it in a particular way, for example.

Tips

  1. 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.
  2. 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.
  3. 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.


ooze icon

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func ForceColors added in v0.2.0

func ForceColors() func(Options) Options

ForceColors forces the use of colors in the output. This is useful when running the mutation tests in a CI environment, for example.

func IgnoreSourceFiles

func IgnoreSourceFiles(pattern string) func(Options) Options

IgnoreSourceFiles configures a regular expression representing source files to be filtered out and not suffer any mutations.

func Parallel

func Parallel() func(Options) Options

Parallel 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. For example, with WithTestCommand(`go test -v -tags=mutation -parallel 3`).

func Release

func Release(t *testing.T, options ...Option)

Release releases the ooze! It infects all source files with viruses that mutate the source code DNA and perform tests to determine whether the mutants survive.

This is the entry point to configure and run mutation tests. You may want to configure it with some options. Here is the available options and their defaults:

  • WithRepositoryRoot: `.`
  • WithTestCommand: `go test -count=1 ./...`
  • WithMinimumThreshold: `1.0`
  • Parallel: `false`
  • IgnoreSourceFiles: `nil`
  • WithViruses: all available (see viruses.Virus' implementations)

The results are then presented in the console. If the mutation score is equal to or above the configured threshold (WithMinimumThreshold), the execution is considered successful. Failed otherwise. Regardless of the execution result, any surviving mutant (no tests failed after applying the source code mutation) will also be presented in the console for analysis.

func WithMinimumThreshold

func WithMinimumThreshold(minimumThreshold float32) func(Options) Options

WithMinimumThreshold represents the minimum mutation test score to consider the execution successful. A float between `0.0` and `1.0`.

func WithRepositoryRoot

func WithRepositoryRoot(repositoryRoot string) func(Options) Options

WithRepositoryRoot 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.

func WithTestCommand

func WithTestCommand(testCommand string) func(Options) Options

WithTestCommand configures 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`.

func WithViruses

func WithViruses(virus viruses.Virus, rest ...viruses.Virus) func(Options) Options

WithViruses configure the list of viruses to infect the source files with. You can also implement your own viruses (generic or even application-specific).

Types

type Option

type Option func(Options) Options

type Options

type Options struct {
	Repository               ooze.Repository
	TestRunner               laboratory.TestRunner
	TemporaryDir             laboratory.TemporaryDirectory
	MinimumThreshold         float32
	Parallel                 bool
	IgnoreSourceFilesPattern *regexp.Regexp
	Viruses                  []viruses.Virus
}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL