kudzu: coverage driven random testing framework

[ bsd3, library, program, testing ] [ Propose Tags ]

Kudzu is a coverage driven random testing framework


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log CHANGELOG.md
Dependencies base (>=4.14 && <4.17), hedgehog, hpc, kudzu, leancheck, QuickCheck [details]
License BSD-3-Clause
Author Shae Erisson
Maintainer shae@scannedinavian.com
Category Testing
Home page https://github.com/shapr/kudzu
Source repo head: git clone https://github.com/shapr/kudzu.git
Uploaded by ShaeErisson at 2022-07-01T21:32:50Z
Distributions NixOS:0.1.0.0
Executables kudzu
Downloads 17 total (1 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-07-01 [all 1 reports]

Readme for kudzu-0.1.0.0

[back to package description]

KUDZU will slowly grow to cover all of your code

Kudzu is a library that throws test cases at your property tests until the code coverage no longer increases.

WHY?

Property testing has no feedback loop, you randomly choose a number of test cases and hope for the best.

How do you know if your property tests were any good? The best feedback I know is to use hpc and look at the pretty colored HTML output to see what code was exercised.

But wait, why do I have to look at the output? Isn't that why we have computers?

HOW?

In Haskell, you can get code coverage results while your program is running!

WHAT FEEDBACK LOOP?

The simplest feedback loop is to keep running random tests until new code coverage stops increasing.

HOW DO I MAKE IT GO?

add kudzu to your test-suite depends,

TELL ME MORE

The best write up of this idea is Random Test Generation, Coverage Based.

TODO

  • support HedgeHog
  • support QuickCheck
  • support LeanCheck
  • figure out how to use Kudzu on Kudzu without looping forever

EXAMPLE

You can see kudzu in use in the tests for takedouble