Property based testing in PHP with DataProviders, Generators, and Faker

tests_Unit_PropertyBasedTest.php

<?php

namespace Tests\Unit;

use Faker\Factory;
use PHPUnit\Framework\TestCase;

class PropertyBasedTest extends TestCase
{
    public function propertyBaseData()
    {
        $limit = 100;
        $faker = Factory::create();

        for ($i = 0; $i < $limit; ++$i) {
            $a = $faker->randomNumber();
            $b = $faker->randomNumber();
            yield sprintf('Dividing %d by %d', $a, $b) => [$a, $b];
        }
    }

    /**
     * @dataProvider propertyBaseData
     */
    public function testPropertyBased($a, $b)
    {
        $this->expectNotToPerformAssertions();

        $calculator = new DummyCalculator();
        $calculator->divide($a, $b);
    }
}

class DummyCalculator
{
    public function divide(int $a, int $b)
    {
        return $a / $b;
    }
}