# 单元测试边界条件和边缘情况 ## 概述该技能提供了使用 JUnit 5 测试边界条件、边缘情况和限制值的系统模式。它涵盖数字边界（Integer.MIN_VALUE、MAX_VALUE）、字符串边缘情况（空、空、空白）、集合边界、浮点精度、日期/时间限制和并发访问模式。 ## 何时使用在以下情况下使用此技能： * 测试最小值和最大值 * 测试空输入和空输入 * 测试纯空白字符串 * 测试上溢/下溢场景 * 用零个/一个/多个项目测试集合 * 验证 API 边界处的行为 * 想要全面的边缘情况覆盖 ## 说明 1. **识别边界**：列出所有数字限制（MIN_VALUE、MAX_VALUE、零）、字符串状态（空、空、空白）和集合大小（空、单个、多个） 2. **使用参数化测试**：将@ParameterizedTest与@ValueSource一起应用，以有效地测试多个边界值 3. **测试边界两侧**：测试每个边界下方、上方和上方的值 4. **验证浮点精度** : 使用 `isCloseTo(expected, inside(tolerance))` 进行浮点比较 5. **测试集合状态** ：显式测试空（0）、单个（1）和多个（>1）元素场景 6. **处理溢出场景**：使用Math.addExact()和Math.subtractExact()来检测上溢/下溢 7. **测试日期/时间边缘**：验证闰年、月份边界和时区转换 8. **文档边界基本原理**：解释为什么特定边界对您的域很重要 ## 示例 ## 设置：边界测试 ### Maven <依赖关系> org.junit.jupiter junit-jupiter <范围>测试 <依赖关系> org.junit.jupiter junit-jupiter-params <范围>测试 <依赖关系> org.assertj assertj-core <范围>测试 ### 摇篮依赖项{ testImplementation("org.junit.jupiter:junit-jupiter") testImplementation("org.junit.jupiter:junit-jupiter-params") testImplementation("org.assertj:assertj-core") } ## 数值边界测试 ### 整数限制导入 org.junit.jupiter.params.ParameterizedTest; 导入 org.junit.jupiter.params.provider.ValueSource; 导入静态 org.assertj.core.api.Assertions.*; 类 IntegerBoundaryTest { @参数化测试 @ValueSource(ints = {Integer.MIN_VALUE, Integer.MIN_VALUE + 1, 0, Integer.MAX_VALUE - 1, Integer.MAX_VALUE}) 无效shouldHandleIntegerBoundaries（int值）{ 断言（值）.isNotNull（）; } @测试无效shouldHandleIntegerOverflow（）{ int maxInt = Integer.MAX_VALUE; int 结果 = Math.addExact(maxInt, 1); // 会抛出 ArithmeticException assertThatThrownBy(() -> Math.addExact(Integer.MAX_VALUE, 1)) .isInstanceOf(ArithmeticException.class); } @测试无效shouldHandleIntegerUnderflow（）{ assertThatThrownBy(() -> Math.subtractExact(Integer.MIN_VALUE, 1)) .isInstanceOf(ArithmeticException.class); } @测试无效shouldHandleZero（）{ int 结果 = MathUtils.divide(0, 5); 断言（结果）.isZero（）; assertThatThrownBy(() -> MathUtils.divide(5, 0)) .isInstanceOf(ArithmeticException.class); } } ## 字符串边界测试 ### Null、Empty 和 Whitespace 导入 org.junit.jupiter.params.ParameterizedTest; 导入 org.junit.jupiter.params.provider.ValueSource; 类 StringBoundaryTest { @参数化测试 @ValueSource(字符串 = {"", " ", " ", "\t", "\n"}) 无效shouldConsiderEmptyAndWhitespaceAsInvalid（字符串输入）{ 布尔结果 = StringUtils.isNotBlank(input); 断言（结果）.isFalse（）; } @测试无效shouldHandleNullString（）{ 字符串结果 = StringUtils.trim(null); 断言（结果）.isNull（）; } @测试无效shouldHandleSingleCharacter（）{ 字符串结果 = StringUtils.capitalize("a"); assertThat(结果).isEqualTo("A"); String result2 = StringUtils.trim("x"); assertThat(result2).isEqualTo("x"); } @测试无效shouldHandleVeryLongString（）{ String longString = "x".repeat(1000000); assertThat(longString.length()).isEqualTo(1000000); assertThat(StringUtils.isNotBlank(longString)).isTrue(); } @测试无效shouldHandleSpecialCharacters（）{ 字符串特殊 = "!@#$%^&*()_+-={}[]|\\:;<>?,./"; assertThat(StringUtils.length(special)).isEqualTo(31); } } ## 集合边界测试 ### 空集合、单个集合和大型集合导入 org.junit.jupiter.params.ParameterizedTest; 导入 org.junit.jupiter.params.provider.ValueSource; 类集合边界测试{ @测试无效shouldHandleEmptyList（）{ List 空 = List.of(); 断言（空）.isEmpty（）; assertThat(CollectionUtils.first(empty)).isNull(); assertThat(CollectionUtils.count(empty)).isZero(); } @测试无效shouldHandleSingleElementList（）{ List single = List.of("only"); assertThat(single).hasSize(1); assertThat(CollectionUtils.first(single)).isEqualTo(“仅”); assertThat(CollectionUtils.last(single)).isEqualTo(“仅”); } @测试无效shouldHandleLargeList（）{ List Large = new ArrayList<>(); for (int i = 0; i < 100000; i++) { 大.add(i); } assertThat(大).hasSize(100000); assertThat(CollectionUtils.first(large)).isZero(); assertThat(CollectionUtils.last(large)).isEqualTo(99999); } @测试无效shouldHandleNullInCollection（）{ List withNull = new ArrayList<>(List.of("a", null, "c")); assertThat(withNull).contains(null); assertThat(CollectionUtils.filterNonNull(withNull)).hasSize(2); } @测试无效shouldHandleDuplicatesInCollection（）{ List 重复项 = List.of(1, 1, 2, 2, 3, 3); assertThat(重复).hasSize(6); Set unique = new HashSet<>(重复项); assertThat(unique).hasSize(3); } } ## 浮点边界测试 ### 精度和特殊值浮点边界测试类 { @测试无效shouldHandleFloatingPointPrecision（）{ 双倍结果 = 0.1 + 0.2； // 浮点比较需要宽容 assertThat(结果).isCloseTo(0.3, 在(0.0001)); } @测试无效shouldHandleSpecialFloatingPointValues（）{ assertThat(Double.POSITIVE_INFINITY).isGreaterThan(Double.MAX_VALUE); assertThat(Double.NEGATIVE_INFINITY).isLessThan(Double.MIN_VALUE); 断言（Double.NaN）.isNotEqualTo（Double.NaN）; // NaN != NaN } @测试无效shouldHandleVerySmallAndLargeNumbers（）{ 双微小 = Double.MIN_VALUE; 双巨大 = Double.MAX_VALUE; assertThat(tiny).isGreaterThan(0); assertThat(巨大).isPositive(); } @测试无效shouldHandleZeroInDivision（）{ 双结果 = 1.0 / 0.0； assertThat(结果).isEqualTo(Double.POSITIVE_INFINITY); 双结果2 = -1.0 / 0.0; assertThat(result2).isEqualTo(Double.NEGATIVE_INFINITY); 双结果3 = 0.0 / 0.0; 断言（结果3）.isNaN（）; } } ## 日期/时间边界测试 ### 最小/最大日期和边缘情况类 DateTimeBoundaryTest { @测试无效shouldHandleMinAndMaxDates（）{ LocalDate min = LocalDate.MIN; 本地日期最大值 = 本地日期.MAX; 断言（最小值）.isBefore（最大值）； assertThat(DateUtils.isValid(min)).isTrue(); assertThat(DateUtils.isValid(max)).isTrue(); } @测试无效shouldHandleapYearBoundary（）{ LocalDate LeapYearEnd = LocalDate.of(2024, 2, 29); assertThat(leapYearEnd).isNotNull(); assertThat(LocalDate.of(2024, 2, 29)).isEqualTo(leapYearEnd); } @测试无效shouldHandleInvalidDateInNonLeapYear（）{ assertThatThrownBy(() -> LocalDate.of(2023, 2, 29)) .isInstanceOf(DateTimeException.class); } @测试无效shouldHandleYearBoundaries（）{ LocalDate newYear = LocalDate.of(2024, 1, 1); LocalDate 最后一天 = LocalDate.of(2024, 12, 31); assertThat(newYear).isBefore(lastDay); } @测试无效shouldHandleMidnightBoundary（）{ LocalTime 午夜 = LocalTime.MIDNIGHT; LocalTime 几乎午夜 = LocalTime.of(23, 59, 59); assertThat(几乎午夜).isBefore(午夜); } } ## 数组索引边界测试 ### 第一个、最后一个和出界类ArrayBoundaryTest { @测试无效shouldHandleFirstElementAccess（）{ int[] 数组 = {1, 2, 3, 4, 5}; assertThat(array[0]).isEqualTo(1); } @测试无效shouldHandleLastElementAccess（）{ int[] 数组 = {1, 2, 3, 4, 5}; assertThat(array[array.length - 1]).isEqualTo(5); } @测试无效shouldThrowOnNegativeIndex() { int[] 数组 = {1, 2, 3}; 断言ThrownBy(() -> { int 值 = 数组[-1]； }).isInstanceOf(ArrayIndexOutOfBoundsException.class); } @测试无效 shouldThrowOnOutOfBoundsIndex() { int[] 数组 = {1, 2, 3}; 断言ThrownBy(() -> { int值=数组[10]； }).isInstanceOf(ArrayIndexOutOfBoundsException.class); } @测试无效shouldHandleEmptyArray() { int[] 空 = {}; assertThat(empty.length).isZero(); 断言ThrownBy(() -> { int值=空[0]； }).isInstanceOf(ArrayIndexOutOfBoundsException.class); } } ## 并发和线程边界测试 ### 空和竞争条件导入 java.util.concurrent.*; 类并发边界测试 { @测试无效shouldHandleNullInConcurrentMap（）{ ConcurrentHashMap map = new ConcurrentHashMap<>(); map.put("键", "值"); assertThat(map.get("不存在")).isNull(); } @测试无效shouldHandleConcurrentModification（）{ List list = new CopyOnWriteArrayList<>(List.of(1, 2, 3, 4, 5)); // 不应该抛出 ConcurrentModificationException for (int num : 列表) { 如果（数字== 3）{ 列表.add(6); } } assertThat(列表).hasSize(6); } @测试 void shouldHandleEmptyBlockingQueue() 抛出 InterruptedException { BlockingQueue 队列 = new LinkedBlockingQueue<>(); assertThat(queue.poll()).isNull(); } } ## 参数化边界测试 ### 多重边界情况导入 org.junit.jupiter.params.ParameterizedTest; 导入 org.junit.jupiter.params.provider.CsvSource; 类参数化边界测试{ @参数化测试 @CsvSource({ “空，假”，//空 "'', false", // 空 "' ', false", // 空格 "a, true", // 单个字符 "abc, true" // 正常 }) void shouldValidateStringBoundaries(字符串输入，需要布尔值) { 布尔结果 = StringValidator.isValid(input); assertThat(结果).isEqualTo(预期); } @参数化测试 @ValueSource(ints = {Integer.MIN_VALUE, 0, 1, -1, Integer.MAX_VALUE}) 无效shouldHandleNumericBoundaries（int值）{ 断言（值）.isNotNull（）; } } ## 最佳实践 * **在边界处显式测试** \- 不要依赖随机测试 * **根据有效输入分别测试 null 和empty** * **对多种边界情况使用参数化测试** * **测试边界两侧**（就在下方、在处、就在上方） * **验证错误消息**对于无效边界很有帮助 * **记录为什么**特定边界很重要 * **测试数字运算的上溢/下溢** ## 限制和警告 * **整数溢出** ：请注意，整数运算可能会悄无声息地溢出；使用Math.addExact()来检测 * **浮点精度** ：切勿对浮点使用精确相等；始终使用基于容差的断言 * **NaN 行为** ：记住 NaN != NaN;使用Float.isNaN()或Double.isNaN()进行检测 * **集合大小限制**：在使用非常大的集合进行测试时要注意内存 * **字符串编码** ：使用各种 Unicode 字符和编码进行国际化测试 * **日期/时间边界**：注意时区转换和夏令时变化 * **数组索引** ：始终测试索引边界，包括 0、length-1 和越界场景 ## 常见陷阱 * 仅测试没有边界情况的“快乐路径” * 忘记空/空的情况 * 不测试浮点精度 * 不测试集合边界（空、单个、多个） * 不测试字符串边界（空、空、空格） ## 故障排除 **浮点比较失败**：使用`isCloseTo(expected, inside(tolerance))`。 **集合边界不清楚**：明确列出案例：空 (0)、单个 (1)、多个 (>1)。 **日期边界令人困惑**：使用 `LocalDate.MIN`、`LocalDate.MAX` 来明确边界。＃＃参考 * [Integer.MIN_VALUE/MAX_VALUE]() * [Double.MIN_VALUE/MAX_VALUE]() * [AssertJ 浮点断言]() * [边界值分析]()

单元测试边界条件

包含技能