Mutation testing frameworks for OCaml?

Are there any mutation testing frameworks available for OCaml?

For those that don’t know, mutation testing is a mechanism for testing your tests. You use a tool to make random changes to your program, which almost always breaks the code. The tool then automatically runs your tests against these mutant versions of your code. If your tests do not catch a mutation, the tests have probably failed, and you can then figure out what correct tests would be.

See: Mutation testing - Wikipedia

4 Likes

There was a great experience report in ICFP 2019 about this, and the authors built a mutation testing framework for Learn OCaml:

I haven’t investigated if it’s standalone or not…

5 Likes

So, I take it (from what I’ve seen so far) that there’s been a touch of work on it but that the ecosystem currently lacks an industrial solution for mutation testing.