QuickCheckr 0.0.1

<img src='icon.png' width='40' align='top'/> QuickCheckr

CSI: .NET

Property-based testing for the pragmatic.

Example

Buggy Code:

public class BugHouse
{
    private int count;
    public bool Run(int number)
    {
        if (count == 5) throw new Exception("Here's Johnny");
        if (number == 6 && count != 3) count++;
        if (count >= 3) count++;
        return true;
    }
}

The Checkr:

from bughouse in Trackr.Stashed(() => new BugHouse())
from number in Checkr.Input("number", Fuzzr.Int())
from output in Checkr.Act("BugHouse.Run", () => bughouse.Run(number))
from spec in Checkr.Spec("Returns true", () => output)
select Case.Closed;

Reports:

------------------------------------------------------------
 Test:                    Example
 Location:                CreateReadMe.cs:34:1
 Original failing run:    85 executions
 Minimal failing case:    5 executions (after 80 shrinks)
 Seed:                    1141724745
 ------------------------------------------------------------
  Executed : BugHouse.Run (3 Times)
   - Input: number = 6
 ------------------------------------------------------------
  Executed : BugHouse.Run (2 Times)
 ===========================================================================
  !! Exception Thrown: System.Exception: Here's Johnny
 ===========================================================================
 Passed Specs
 - Returns true: 84x
 ------------------------------------------------------------

Highlights

• LINQ-based workflow: Build tests using familiar query expressions.
• Shrinking: Reduce randomly generated scenarios to minimal failing cases.
• Stateful testing: Pools, stashed objects, and multi-step behaviours supported out of the box.
• Deterministic: Reproducible runs using seeds.
• Fully integrated with QuickFuzzr: Use any generator or custom shrinker.

Installation

QuickCheckr is available on NuGet:

Install-Package QuickCheckr

Or via the .NET CLI:

dotnet add package QuickCheckr

Documentation

QuickCheckr is in the process of being fully documented, with real, executable examples for every feature, and every statement in the docs is backed by a test.

• Start here: Checkr-ing Things Out
• Then see it catch a real bug: Bolting Horses

Roadmap

• Elm-style helpfull exceptions.
• Finish the full QuickCheckr documentation (guide and reference).
• Async helpers
• Additional diagnostic flows
• Cookbook

License

This project is licensed under the MIT License.