我有一个带有 JUnit 5 测试的小型 Java 11 示例，结果是：
改变条件边界→幸存
主类：
public final class CheckerUtils
{
private CheckerUtils()
{
super();
}
public static int checkPort(final int port)
{
if (port < 0)
{
throw new IndexOutOfBoundsException("Port number out of range!");
}
return port;
}
}
测试类：
import static org.junit.jupiter.api.Assertions.assertEquals;
import static org.junit.jupiter.api.Assertions.assertThrows;
import org.junit.jupiter.api.Test;
import de.powerstat.security.CheckerUtils;
public final class CheckerUtilsTests
{
@Test
public void checkPortOk()
{
final int port = 1023;
final int resultPort = CheckerUtils.checkPort(port);
assertEquals(port, resultPort, "Port not as expected!");
}
@Test
public void checkPortNegative1()
{
final int port = -1;
assertThrows(IndexOutOfBoundsException.class, () ->
{
CheckerUtils.checkPort(port);
}
);
}
@Test
public void checkPortNegative2()
{
final int port = -1;
int resultPort = 0;
try
{
resultPort = CheckerUtils.checkPort(port);
}
catch (final IndexOutOfBoundsException e)
{
// ignore
}
assertEquals(0, resultPort, "Port is not 0");
}
}
从我的角度来看，突变不应该存在，因为：
- checkPortOk() 是非负合法值的正常路径
- checkPortNegative1() 是当注释发生突变并引发异常时负值的路径。
- checkPortNegative2()：当没有发生任何突变时，抛出异常并且resultPort仍然为0 - 所以这里的断言是可以的
- checkPortNegative2()：当 < 0 突变为 < -1 或更低时，不会抛出异常，因此 resultPort 将变为 -1 并且 assert 将失败（突变被杀死）
- checkPortNegative2()：当 < 0 变为 < 1 或更高时，与 3 以下相同。
所以我的问题是我在这里遗漏了什么，或者它是 Pitest (1.4.9) 中的一个错误？
解决方案
正如@henry 所说，添加以下测试可以解决问题：
@Test
public void checkPortOk2()
{
final int port = 0;
final int resultPort = CheckerUtils.checkPort(port);
assertEquals(port, resultPort, "Port not as expected!");
}