Page MenuHomeWickedGov Phorge
Files F5976900

SubsetGeneratorTest.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

SubsetGeneratorTest.php
View Options

<?php
namespace Eris\Generator;
use Eris\Quantifier\ForAll;
use Eris\Random\RandomRange;
use Eris\Random\RandSource;
class SubsetGeneratorTest extends \PHPUnit\Framework\TestCase
{
/**
* @var string[]
*/
private $universe;
/**
* @var SubsetGenerator
*/
private $generator;
/**
* @var int
*/
private $size;
/**
* @var RandomRange
*/
private $rand;
protected function setUp(): void
{
$this->universe = ['a', 'b', 'c', 'd', 'e'];
$this->generator = new SubsetGenerator($this->universe);
$this->size = 100;
$this->rand = new RandomRange(new RandSource());
}
public function testScalesGenerationSizeToTouchAllPossibleSubsets()
{
$maxSize = ForAll::DEFAULT_MAX_SIZE;
/** @var array<int, list<int>> $subsetSizes */
$subsetSizes = [];
for ($size = 0; $size < $maxSize; $size++) {
$subsetSizes[] = count($this->generator->__invoke($size, $this->rand)->unbox());
}
$subsetSizeFrequencies = array_count_values($subsetSizes);
// notice the full universe is very rarely generated
// hence its presence is not asserted here
for ($subsetSize = 0, $subsetSizeMax = count($this->universe); $subsetSize < $subsetSizeMax; $subsetSize++) {
$this->assertGreaterThan(
0,
$subsetSizeFrequencies[$subsetSize],
"There were no subsets generated of size $subsetSize"
);
}
}
public function testNoRepeatedElementsAreInTheSet()
{
for ($size = 0; $size < ForAll::DEFAULT_MAX_SIZE; $size++) {
$generated = $this->generator->__invoke($size, $this->rand)->unbox();
$this->assertNoRepeatedElements($generated);
}
}
public function testShrinksOnlyInSizeBecauseShrinkingElementsMayCauseCollisions()
{
$elements = $this->generator->__invoke($this->size, $this->rand);
$elementsAfterShrink = $this->generator->shrink($elements);
$this->assertLessThanOrEqual(
count($elements->unbox()),
count($elementsAfterShrink->unbox())
);
$this->assertNoRepeatedElements($elementsAfterShrink->unbox());
}
public function testShrinkEmptySet()
{
$elements = $this->generator->__invoke($size = 0, $this->rand);
$this->assertCount(0, $elements->unbox());
$this->assertCount(0, $this->generator->shrink($elements)->unbox());
}
private function assertNoRepeatedElements($generated)
{
sort($generated);
$this->assertSame(
array_unique($generated),
$generated,
"There are repeated elements inside a generated value: " . var_export($generated, true)
);
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, Oct 3, 19:30 (2 d, 19 h ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
a0/92/78ae39f947b5a000120e999c5d7a
Default Alt Text
SubsetGeneratorTest.php (2 KB)

Event Timeline