giorgiosironi/eris

PHP library for property-based testing. Integrates with PHPUnit.

Monday, June 4, 2018
by giorgiosironi
Repository
19 Watchers
252 Stars
36,440 Installations

PHP
35 Dependents
0 Suggesters
22 Forks
8 Open issues
67 Versions
17 % Grown

The README.md

Eris

, _(*1)

Eris is a porting of QuickCheck and property-based testing tools to the PHP and PHPUnit ecosystem., _(*2)

In property-based testing, several properties that the System Under Test must respect are defined, and a large sample of generated inputs is sent to it in an attempt to break the properties., _(*3)

Compatibility

PHP 8.1, 8.2, 8.3, 8.4
PHPUnit 10.x, 11.x

Installation

You can install Eris through Composer by running the following command in your terminal:, _(*4)

composer require --dev giorgiosironi/eris

You can run some of Eris example tests with vendor/bin/phpunit vendor/giorgiosironi/eris/examples., _(*5)

Here is an empty sample project installing Eris., _(*6)

Please note the project is in alpha stage and the API may change at any time., _(*7)

Example usage within PHPUnit

This test tries to verify that natural numbers from 0 to 1000 are all smaller than 42. It's a failing test designed to show you an example of error message., _(*8)

<?php
use Eris\Generators;

class ReadmeTest extends \PHPUnit\Framework\TestCase
{
    use \Eris\TestTrait;

    public function testNaturalNumbersMagnitude()
    {
        $this->forAll(
            Generators::choose(0, 1000)
        )
            ->then(function($number) {
                $this->assertTrue(
                    $number < 42,
                    "$number is not less than 42 apparently"
                );
            });
    }
}

Eris generates a sample of elements from the required domain (here the integers from 0 to 1000) and verifies a property on each of them, stopping at the first failure., _(*9)

[10:34:32][giorgio@Bipbip:~/code/eris]$ vendor/bin/phpunit examples/ReadmeTest.php
PHPUnit 4.3.5 by Sebastian Bergmann.

Configuration read from /home/giorgio/code/eris/phpunit.xml

F

Time: 234 ms, Memory: 3.25Mb

There was 1 failure:

1) ReadmeTest::testNaturalNumbersMagnitude
42 is not less than 42 apparently
Failed asserting that false is true.

/home/giorgio/code/eris/examples/ReadmeTest.php:15
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:48
/home/giorgio/code/eris/src/Eris/Quantifier/RoundRobinShrinking.php:45
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:69
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:50
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:71
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:87
/home/giorgio/code/eris/examples/ReadmeTest.php:16
/home/giorgio/code/eris/examples/ReadmeTest.php:16

FAILURES!
Tests: 1, Assertions: 826, Failures: 1.

Eris also tries to shrink the input after a failure, giving you the simplest input that still fails the test. In this example, the original input was probably something like 562, but Eris tries to make it smaller until the test became green again. The smallest value that still fails the test is the one presented to you., _(*10)

Documentation

On ReadTheDocs you can find the reference documentation for the Eris project., _(*11)

Changelog

Consult the Changelog file to know the latest new features., _(*12)

Support and contributing

Feel free to open issues on the GitHub project for support and feature requests., _(*13)

Pull requests are welcome. For anything longer than a few lines it's worth to open an issue first to get feedback on the intended solution and whether it will integrate well with the rest of the codebase., _(*14)

If you contribute a commit to Eris, you will be credited in the contributors file (unless you don't want to.), _(*15)

The Versions

04/06 2018

dev-php_7.2

PHP library for property-based testing. Integrates with PHPUnit.

library eris

PHP library for property-based testing. Integrates with PHPUnit.

giorgiosironi/eris

The README.md

Eris

Compatibility

Installation

Example usage within PHPUnit

Documentation

Changelog

Support and contributing

The Versions

dev-php_7.2

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-master

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

0.10.0

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

0.9.0

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-minimum_evaluation_ratio_as_listener

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

0.8.0

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-listeners_failure_shrinking

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-random_number_generator

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-such_that_when_unification

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-mt_random_number

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-disable_shrinking_option

The Requires

The Development Requires

by Giorgio Sironi

by Gabriele Lana

by Mirko Bonadei

dev-logging

The Requires