用途：把测试当作设计反馈与回归保护，为行为变更、缺陷修复和重构选择合适测试层并编写有效测试。核心原则是优先通过公共 API 验证可观察行为，而非镜像实现结构；测试须确定、与顺序无关，失败应快速指向原因。
主要能力与分层：给出决策树，按任务类型（新行为、重构、不变式、脆弱测试）选择做法。层次从窄到宽为纯核心（业务规则、解析、校验、计算用真实值的单元测试）、应用/用例（自有端口用假件，走公共 API）、适配器（对真实基础设施做契约/集成测试）、场景（关键纵向旅程，仅伪造外部依赖）、组合（少量集成/e2e 覆盖关键路径）。避免用 e2e 弥补未测的领域逻辑，也不用单元测试断言只有组合时才失败的接线。
关键实践：优先 TDD（先见失败、通过、再重构）；先用类型消除坏状态（智能构造器、按生命周期建联合类型、NonEmptyList），不在内层重复测试类型已禁止的输入；边界解析要真正在运行时解析（schema 库），用 as 或 any 的类型断言不构成保证。避免默认使用 mock，自有端口用 fake，针对真实协作者或在其本层证明规则，警惕镜像测试陷阱。属性测试适合解析/序列化、规范化、权限矩阵、状态机、排序去重、算术与日期、往返不变式；失败会收缩到最小反例，应保留为回归样例。无可靠预言时用差分与蜕变测试；快照/审批测试用于大型序列化输出，但需小而有针对性、每次更新按代码审查，防止快照腐化与橡皮图章。
Shell 测试：Bash 重的 CLI 用 bats-core，跨 shell 函数库用 ShellSpec，POSIX sh 可移植性用多真实 shell 跑同一行为测试，zsh 原生函数需在 zsh 内隔离状态测试。
限制与未提供：资料未给出安装命令、具体价格或平台支持信息；分类归属仅依其测试用途判定。