用途：系统评估代码在每个边界与极端输入下的行为，因为缺陷常聚集在边缘，需在判定代码正确前逐一检查。
主要能力：
- 识别输入域：对每个参数或输入确定数据类型、有效范围与来源（用户输入、API 响应、数据库查询、配置文件等），并以表格记录。
- 枚举边界值：数值（0、负数、最大/最小值、浮点精度、NaN、Infinity、阈值上下）；字符串（空串、单字符、超长、Unicode/特殊字符、纯空白、null/undefined）；数组（空、单元素、超大、重复、含 null、嵌套）；对象（缺必需属性、多余属性、null、循环引用）；日期时间（纪元、闰年、时区/DST 边界、极远日期、非法日期串）。
- 评估每个边界：是否有显式检查、默认值或守卫；未处理时是崩溃、错误结果还是静默损坏；是否应处理。
- 评估组合：如空数组加零折扣、最大数组加最大数值（溢出）、null 用户加空数组等，优先生产可能、安全敏感、数据损坏风险高的组合。
- 报告发现：按 Critical（崩溃、数据丢失、安全问题）、Warning（结果错误）、Info（体验下降）分级。
使用方式：按步骤对目标函数逐参数建立输入域表，枚举边界值，逐项评估并给出风险与修复建议，最后输出优先级汇总。
适用场景：代码审查、健壮性检查、失败调试、边界测试。
限制：资料未提供安装命令、平台支持、收费或价格信息；边界组合可能爆炸，建议用成对测试并优先高风险组合；若无法确定有效范围，可查上游调用方或现有测试推断，并将缺失校验本身作为发现；若行为依赖外部状态，需记录依赖并在多种状态下测试。