Jacoco分支覆盖率无法覆盖else if语句，如何实现全分支覆盖？

我基于Quarkus框架开发了一个英里转公里的REST API，核心代码如下：

@GET
@Path("/miles-to-kilometers")
public Response milesToKilometers(@QueryParam("value") double miles) {
    double kilometers = miles * 1.60934;
    String answer = String.format("Kilometers: %.3f", kilometers);

    int roundedKms = (int) Math.floor(kilometers);

    if (roundedKms >= 0 && roundedKms <= 10) {
        answer = answer.concat(" is below 10");
    } else if (roundedKms >= 11 && roundedKms <= 20) {
        answer = answer.concat(" is below 20");
    } else if (roundedKms >= 21 && roundedKms <= 30) {
        answer = answer.concat(" is below 30");
    } else if (roundedKms >= 31 && roundedKms <= 40) {
        answer = answer.concat(" is below 40");
    } else if (roundedKms >= 41 && roundedKms <= 50) {
        answer = answer.concat(" is below 50");
    } else if (roundedKms >= 51) {
        answer = answer.concat(" more than 50");
    }

    return Response.ok(answer, MediaType.TEXT_PLAIN).build();
}

（注：原代码中payload为笔误，实际应为answer）

针对该API编写的JUnit参数化测试用例如下：

@ParameterizedTest
@ValueSource(doubles = { 1, 0, 5.0, 15.0, 25.0, 35.0, 45.0, 55.0, 2.688, 5.645, 11.789, 15.678, 20.678, 28.211,
        35.212, 45.677 })
public void testMitoKm(double miles) {
    String url = String.format("/miles-to-kilometers=%.2f", miles);
    given()
        .when().get(url)
        .then()
        .statusCode(200)
        .body(containsString("Kilometers: "))
        .body(containsString(getExpectedMessageForMiles(miles)));
}

private String getExpectedMessageForMiles(double miles) {
    double kilometers = miles * 1.60934;
    int roundedKms = (int) Math.floor(kilometers);
    if (roundedKms >= 0 && roundedKms <= 10) {
        return " is below 10";
    } else if (roundedKms >= 11 && roundedKms <= 20) {
        return " is below 20";
    } else if (roundedKms >= 21 && roundedKms <= 30) {
        return " is below 30";
    } else if (roundedKms >= 31 && roundedKms <= 40) {
        return " is below 40";
    } else if (roundedKms >= 41 && roundedKms <= 50) {
        return " unbelievable";
    } else if (roundedKms >= 51) {
        return " is below 50";
    } else {
        return "";
    }
}

当前Jacoco检测显示仍有1/4分支未覆盖，else if语句存在黄色警告，需调整测试实现全分支覆盖。

问题根源分析 #

1. URL构造错误：测试中直接将数值拼接到路径中，而API使用@QueryParam("value")接收参数，正确格式应为/miles-to-kilometers?value=xxx，导致部分请求未正确触发API逻辑。
2. 预期消息不匹配：getExpectedMessageForMiles方法的返回字符串与API实际返回内容不一致，导致断言无效，无法验证分支执行结果。
3. 测试用例覆盖不全：缺少负数值场景、各区间边界值（如10、11、20等），以及触发Math.floor的临界值，导致部分分支未被执行。

解决方案 #

1. 修正URL构造逻辑

改为符合QueryParam规范的格式，保留足够小数位避免精度丢失：

String url = String.format("/miles-to-kilometers?value=%.5f", miles);

2. 对齐预期消息与API返回内容

修正getExpectedMessageForMiles方法的字符串，确保与API完全一致：

private String getExpectedMessageForMiles(double miles) {
    double kilometers = miles * 1.60934;
    int roundedKms = (int) Math.floor(kilometers);
    if (roundedKms >= 0 && roundedKms <= 10) {
        return " is below 10";
    } else if (roundedKms >= 11 && roundedKms <= 20) {
        return " is below 20";
    } else if (roundedKms >= 21 && roundedKms <= 30) {
        return " is below 30";
    } else if (roundedKms >= 31 && roundedKms <= 40) {
        return " is below 40";
    } else if (roundedKms >= 41 && roundedKms <= 50) {
        return " is below 50";
    } else if (roundedKms >= 51) {
        return " more than 50";
    } else {
        return "";
    }
}

3. 补充测试用例覆盖所有分支

更新@ValueSource的测试数据，包含负数值、各区间边界值和临界值：

@ValueSource(doubles = {
    // 负数分支
    -1.0,
    // 0-10区间（含边界）
    0, 1.0, 6.21371, // 6.21371英里=10公里，floor后为10
    // 11-20区间（含边界）
    6.83508, // 约11公里，floor后11
    15.0, 12.4274, // 约20公里，floor后20
    //21-30区间（含边界）
    13.0488, // 约21公里，floor后21
    25.0, 18.6411, // 约30公里，floor后30
    //31-40区间（含边界）
    19.2594, // 约31公里，floor后31
    35.0, 24.8548, // 约40公里，floor后40
    //41-50区间（含边界）
    25.4707, // 约41公里，floor后41
    45.0, 31.0686, // 约50公里，floor后50
    //51+区间（含边界）
    31.6967, // 约51公里，floor后51
    55.0,
    // 原有测试数据
    2.688, 5.645, 11.789, 15.678, 20.678, 28.211, 35.212, 45.677
})

4. 修正API中的笔误

将原代码中Response.ok(payload, MediaType.TEXT_PLAIN)的payload改为answer，确保代码正常编译执行。

验证全分支覆盖 #

调整后，所有分支场景都会被测试覆盖：

• 负数值触发无匹配分支的场景
• 0-10、11-20、21-30、31-40、41-50、51+每个区间的边界值和普通值都被测试，确保每个if/else if分支的条件都被执行

内容的提问来源于stack exchange，提问作者Mugi Coder