4. 常见边界类型：数值边界、字符串边界、日期边界、枚举边界

边界测试的核心在于识别被测对象在哪些维度上存在“临界区域”。日常测试工作中，超过 80% 的边界缺陷集中在四种数据类型上：数值、字符串、日期 和 枚举。本章逐一拆解每种类型的边界原理、典型场景和测试要点，帮助你建立系统的边界分类思维。

4.1 数值边界

概念解释
数值边界是指整数、浮点数等数值类型在存储、运算或转换过程中触及极限或特殊值时产生的临界状态。主要包含三类子边界：

• 整数溢出 —— 算术运算结果超出类型表示范围，如 int 最大值加 1 变为负数。
• 浮点精度 —— 二进制无法精确表示某些十进制小数，导致比较或累积误差。
• 零值/除零 —— 零作为除数或极小数作为分母引发的异常。

类比：水库水位
水库有 最高警戒水位 和 最低死水位。水位超过警戒线 → 溢洪道开启（溢出）；低于死水位 → 水泵无法取水（下溢）。数值边界就像水库的这两个物理极限，一旦触碰就会触发保护机制或系统崩溃。

典型边界值参考

类型	最小值	最大值	边界风险
int8_t	-128	127	127 + 1 → -128（回绕）
uint32_t	0	4,294,967,295	0 - 1 → 4,294,967,295（下溢）
float	±1.18×10⁻³⁸	±3.40×10³⁸	精度丢失：0.1 + 0.2 ≠ 0.3
double	±2.23×10⁻³⁰⁸	±1.80×10³⁰⁸	极小值相除 → 溢出

// 整数回绕示例（C++）
#include <limits>
int main() {
    int32_t max = std::numeric_limits<int32_t>::max(); // 2,147,483,647
    int32_t result = max + 1;                          // -2,147,483,648
    return 0;
}

// 浮点精度对比（Python）
a = 0.1 + 0.2
b = 0.3
print(a == b)  # False —— 经典边界陷阱

4.2 字符串边界

概念解释
字符串边界考察文本数据在长度、内容和编码方面的临界条件。核心关注点：

• 空字符串 —— 长度为 0，可能导致索引越界或空指针。
• 最大长度 —— 达到或超过缓冲区/字段限制，引发截断或溢出。
• 特殊字符 —— 不可见字符、分隔符、SQL 注入关键词、Unicode 变体。

类比：停车场容量
停车场有 0 个车位（空字符串）和 最大车位（长度上限）。空停车场你无法取车（空指针），超容量停车会占用消防通道（缓冲区溢出）。而特殊字符就像“超长货车”或“危险品车辆”，需要单独检查能否正常停放。

// Java 空字符串与最大长度测试
String empty = "";
String maxLen = "A".repeat(256);   // 假设字段限制 255
System.out.println(empty.length());   // 0
System.out.println(maxLen.length());  // 256 → 触发截断或异常

// 特殊字符注入风险
String input = "' OR 1=1 --";
// 直接拼接 SQL 时产生语法注入边界

边界场景	测试输入	预期风险
空字符串	""	空指针、索引 -1、空展示
单字符	"a"	最小有效输入
最大长度 - 1	长度 254（上限 255）	正常通过
最大长度	长度 255	正常通过 / 临界
最大长度 + 1	长度 256	截断、报错或溢出
含 null 字符	"ab\0cd"	C 风格字符串提前终止
Unicode 变体	"\uD83D\uDE00" (emoji)	UTF-16 代理对截断

4.3 日期边界

概念解释
日期边界由日历规则、时区偏移和系统时间表示共同决定。最常见的三类边界：

• 闰年与 2 月 29 日 —— 每 4 年一闰但世纪年不闰的特殊规则。
• 月末最后一天 —— 各月天数不同，1、3、5、7、8、10、12 月为 31 天，4、6、9、11 月为 30 天，2 月平年 28 天 / 闰年 29 天。
• 2038 年问题 —— 32 位 time_t 最大值对应 2038‑01‑19 03:14:07 UTC，之后溢出。

类比：日历翻页
就像纸质日历翻到 2 月 28 日时，下一页是 3 月 1 日还是 2 月 29 日？翻页的那一刻就是日期边界。如果日历打印厂在闰年印错了 2 月 29 日，用户就会在 2 月 30 日发现空白页 —— 系统行为不可预测。

// JavaScript 闰年与月末测试
function isLeapYear(y) {
    return (y % 4 === 0 && y % 100 !== 0) || (y % 400 === 0);
}
console.log(isLeapYear(1900)); // false —— 世纪年不闰
console.log(isLeapYear(2000)); // true  —— 400 年一闰

// 月末加一天测试
let d = new Date(2023, 1, 28); // 2023‑02‑28
d.setDate(d.getDate() + 1);
console.log(d.toISOString()); // 2023‑03‑01 —— 2 月只有 28 天

// 2038 年边界
let max32 = new Date(2038, 0, 19, 3, 14, 7);
console.log(max32.toISOString()); // 2038‑01‑19T03:14:07.000Z
max32.setSeconds(max32.getSeconds() + 1);
console.log(max32.toISOString()); // 溢出 → 1901‑12‑13 （回绕）

边界条件	测试日期	关键验证点
闰年 2 月 29 日	2024‑02‑29	是否存在、加减一天结果
平年 2 月 28 → 3 月 1	2023‑02‑28 → +1天	正确跳转到 3 月 1 日
月末最后一天	2023‑01‑31 → +1天	跳到 2023‑02‑01
时区切换	2023‑03‑12 02:00 US/Eastern	夏令时跳变导致时间丢失或重复
2038 年临界	2038‑01‑19 03:14:07 + 1秒	32 位 time_t 回绕

4.4 枚举边界

概念解释
枚举边界指枚举类型在定义范围、序数值和空状态上的临界条件。主要风险：

• 未定义值 —— 传入枚举中不存在的数值，在类型安全弱的语言中可被接受。
• 枚举越界 —— 通过整数转换或序列化写入超出枚举范围的值。
• 空枚举 —— 枚举类型没有成员，或可选枚举为 null / None。

类比：电梯按钮
一栋楼只有 1~10 层按钮（枚举成员）。按 11 层（未定义值）电梯不会响应；按 0 层（越界）可能导致逻辑混乱；如果电梯面板没有任何按钮（空枚举），乘客根本无法选择楼层 —— 系统处于不可用状态。

// C++ 枚举越界示例
enum Color { RED = 0, GREEN = 1, BLUE = 2 };
Color c = static_cast<Color>(5); // 未定义值，但编译通过

// Java 枚举安全边界
enum Status { PENDING, APPROVED, REJECTED }
Status s = Status.valueOf("UNKNOWN"); // 抛出 IllegalArgumentException

// 空枚举保护（Kotlin）
val e: MyEnum? = null
when (e) {
    null -> println("空枚举边界")
    else -> println(e.name)
}

枚举边界场景	测试方式	预期结果
最小值（第一个成员）	传入 RED / 0	正常处理
最大值（最后一个成员）	传入 BLUE / 2	正常处理
最小值 - 1	传入 -1	越界异常或未定义行为
最大值 + 1	传入 3	越界异常或未定义行为
未定义字符串	"INVALID"	反序列化失败
空枚举 / null	null 或空集合	NPE 或默认值处理