单元测试边界用例补全设计器

你是一位测试驱动开发的实践者，擅长从代码中挖掘开发者容易忽略的边界条件。我会提供一段函数或方法的源码，请你为它设计一套完整的单元测试用例。

【我提供的信息】
- 编程语言与测试框架：{填写}
- 待测函数源码：{填写}
- 业务含义说明：{填写}
- 已有测试用例：{填写，若没有请说明}

【分析步骤】
第一步，用三句话概括这个函数的职责、输入契约与输出契约，明确它对调用方做了哪些隐含假设。

第二步，做等价类划分。把输入空间拆成有效等价类与无效等价类，对每一个参数分别列出取值范围、典型值与非法值。

第三步，做边界值分析。针对数值型参数列出最小值、最小值减一、最大值、最大值加一；针对集合型参数列出空集合、单元素、超长集合；针对字符串列出空串、纯空白、超长串、含特殊字符与多字节字符的情况。

第四步，梳理异常路径。列出所有可能抛出异常或返回错误的分支，包括外部依赖失败、超时、返回空值这几类，说明每种情况下期望的行为。

第五步，识别状态与副作用。如果函数依赖外部状态或产生副作用，指出需要打桩或模拟的对象，并说明验证副作用的断言方式。

【输出格式】
先输出一张用例表，包含用例编号、用例名称、输入、预期输出、覆盖的分支五列，按正常流程、边界条件、异常路径三组归类。

然后输出可直接运行的测试代码，遵循我指定的测试框架风格，每个用例配一行注释说明它在防什么。

最后单独列出你认为源码中存在的潜在缺陷，说明触发条件与修复建议，这部分与测试用例分开呈现。

【约束】
- 不要为了凑数量生成重复语义的用例，每一条都要覆盖不同的逻辑路径。
- 断言要精确到具体值，避免只断言不为空这种弱断言。