参数化测试的核心在于将输入数据与预期结果分离，通过循环或测试框架的数据提供机制批量执行断言。在 php 中，通常使用 phpunit 的 @dataprovider 注解或 #[dataprovider] 属性来定义数据源，并在测试方法中接收这些参数进行取余运算验证。这样做能确保对边界值、负数及除零异常等场景进行全覆盖检查。
如何定义取余运算的参数化数据源
数据源应包含被除数、除数和预期的余数，对于除数为零的情况则标记为预期异常。在 PHPUnit 8.5+ 版本中，推荐使用属性形式的 #[DataProvider] 来关联静态方法返回的数据数组。该方法需返回一个二维数组，每个子数组对应一组测试用例的参数。
<?php
namespace Tests\Unit;
use PHPUnit\Framework\TestCase;
class ModuloTest extends TestCase
{
#[\PHPUnit\Framework\DataProvider('moduloProvider')]
public function testModulo($a, $b, $expected)
{
$this->assertEquals($expected, $a % $b);
}
public static function moduloProvider(): array
{
return [
'positive_dividend' => [10, 3, 1],
'negative_dividend' => [-10, 3, -1],
'zero_dividend' => [0, 5, 0],
];
}
}
?>
上述代码定义了三个基本场景：正数、负数和零作为被除数。运行测试时，PHPUnit 会依次调用 testModulo 并传入对应的参数。若需验证除零错误，可在数据源中加入 'div_by_zero' => [10, 0, null] 并在测试中使用 $this->expectException(DivisionByZeroError::class) 进行断言。
立即学习“PHP免费学习笔记（深入）”；
如何处理除零异常与类型转换
取余运算在除数为零时会抛出 DivisionByZeroError，这是必须覆盖的关键路径。同时，PHP 的 % 运算符对浮点数会自动截断为整数，因此测试时需明确预期结果为整型余数。通过数据源区分正常路径和异常路径，可以清晰验证函数的鲁棒性。
<?php
namespace Tests\Unit;
use PHPUnit\Framework\TestCase;
use DivisionByZeroError;
class ModuloEdgeCaseTest extends TestCase
{
#[\PHPUnit\Framework\DataProvider('edgeCaseProvider')]
public function testModuloEdgeCases($a, $b, $expectException = false)
{
if ($expectException) {
$this->expectException(DivisionByZeroError::class);
}
$result = $a % $b;
$this->assertIsInt($result);
}
public static function edgeCaseProvider(): array
{
return [
'normal' => [7, 2, false],
'float_input' => [7.9, 2.1, false], // 结果仍为 int
'div_by_zero' => [5, 0, true],
];
}
}
?>
在 edgeCaseProvider 中，float_input 用例展示了浮点数输入的行为：7.9 % 2.1 的结果是 1（因为内部转换为 7 % 2）。测试通过 $expectException 标志位控制是否期望异常，从而在同一测试方法中处理正常和异常流程。这种设计避免了重复代码，同时保持了测试的可读性。
当被除数为负数且除数为正数时余数符号如何确定
PHP 的取余运算遵循“与被除数同号”的规则。即 -10 % 3 的结果是 -1，而 10 % -3 的结果是 1。这一行为与 Python 不同（Python 余数符号与除数一致），因此在跨语言移植或处理负数时必须特别注意。测试用例应显式包含负数被除数场景以验证此特性。
