用途：在编写单元测试前先提取目标代码的完整契约，包括输入类型与约束、输出结构与可变性、需要 mock 的依赖（数据库、fetch、日志、Date、Math.random）、隐式假设以及所有分支逻辑，再据此生成测试。
主要能力：按四层分类设计用例——正常路径、边界值（含 n-1、n、n+1）、边缘情况（null、undefined、空字符串、0、NaN、空集合、负数）、错误条件。提供多种非显而易见模式：测试可观察行为而非实现细节；边界值取三点；拆分返回值与数量断言；浮点用 toBeCloseTo；在源头 mock 时间与随机数；异步断言解析后的结构；变更测试在调用前后都断言；按依赖类型选择 mock 层级；区分 toEqual 与 toMatchObject；用 test.each 参数化重复结构。
使用方式：按行为类别组织 describe 块，每个 it 只测一个行为，失败信息应可读；非显然用例加一行注释说明存在原因。错误条件可参考 error-handling-test 技能。
限制：资料未提供具体安装命令、平台支持、收费方式或运行环境要求；不应对未验证的框架或版本作假设。