http://code.dlang.org/packages/unit-threaded

After merging code from Robert's fork I added some support for property-based testing. There's no shrinking yet and user-defined types aren't supported. Right now most if not all primitive types are, as well as string, wstring, dstring and arrays of any of them. Here's a simple example that is hopefully self-explanatory:


@("sorting int[] twice yields the same result")
unittest {
    import std.algorithm: sort;
    check!((int[] a) {
        sort(a);
        auto b = a.dup;
        sort(b);
        return a == b;
    });
}

Essentially, call `check` with a property function and it will get run (by default) 100 times with random inputs. Multiple parameters are supported, but the function must return bool.

I wrote this today to test cerealed, my serialization library:

@Types!(bool, byte, ubyte, short, ushort, int, uint, long, ulong,
        float, double,
        char, wchar, dchar,
        ubyte[], ushort[], int[])
void testEncodeDecodeProperty(T)() {
    check!((T val) {
        auto enc = Cerealiser();
        enc ~= val;
        auto dec = Decerealiser(enc.bytes);
        return dec.value!T == val;
    });
}

That's running 100 auto-generated tests for each of those 17 types, checking that if you serialize and then deserialize you should get the same value back. Not bad for 12 lines of code, huh?

Destroy!

Atila

On Saturday, 2 July 2016 at 18:21:10 UTC, Atila Neves wrote:
> http://code.dlang.org/packages/unit-threaded
>
> After merging code from Robert's fork I added some support for property-based testing. There's no shrinking yet and user-defined types aren't supported. Right now most if not all primitive types are, as well as string, wstring, dstring and arrays of any of them. Here's a simple example that is hopefully self-explanatory:
>
> [...]

I make that round about 140 tests per line of code. Not too shabby!

Cheers,

A.