fast-check
基于属性测试的JavaScript/TypeScript测试库，自动生成边界用例。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：fast-check。 它的用途是：基于属性测试的JavaScript/TypeScript测试库，自动生成边界用例。 详细介绍见：https://321skill.com/skills/fast-check/ 请根据该页面的说明完成安装。
使用示例
‘帮我用fast-check为这个数组去重函数写一个属性测试，验证去重后的数组不应包含重复元素，且元素顺序符合预期。’ 它会生成测试代码框架，定义“去重后长度小于等于原数组”和“去重后每个元素在原数组中都存在”等属性，并利用fast-check的数组生成器进行验证。
介绍
fast-check是一个基于属性测试（Property-based Testing）的JavaScript/TypeScript测试库。它通过自动生成大量随机输入数据来验证代码逻辑的普遍正确性，而非依赖开发者手动编写有限的测试用例。
使用时，你需要定义代码应始终满足的“属性”（例如，反转数组两次应得到原数组），fast-check会自动生成大量随机输入（包括边界和极端情况）来测试该属性是否始终成立。这能发现手动测试难以覆盖的隐蔽Bug。
它非常适合对代码健壮性有高要求的开发者，尤其是处理复杂数据结构、算法或业务逻辑的场合。测试工程师、全栈开发者和后端开发者都可以用它来提升测试覆盖率和代码质量。
建议从核心业务逻辑或复杂算法开始应用，逐步扩展到关键工具函数。注意，属性测试不能完全替代基于具体场景的单元测试，两者应结合使用以达到最佳效果。
核心特点
与传统的基于用例（example-based）的测试库（如Jest）不同，fast-check的核心是自动生成海量随机输入来验证代码的“属性”，能高效发现边界情况和开发者未预料到的Bug组合。相比其他属性测试库，它在TypeScript支持、生成器（Arbitraries）的丰富性和可组合性上表现突出。
注意事项
不适合测试强依赖特定外部状态或副作用（如精确的UI渲染、网络请求）的功能，也不应作为单元测试的完全替代品。
常见问题
fast-check和Jest有什么区别？
Jest是基于具体用例的测试框架，需要你手动写输入和预期输出。fast-check是属性测试库，你定义代码应满足的规则，它自动生成输入来验证规则，擅长发现边缘案例。
学习属性测试难吗？
有一定门槛，需要从“给定输入，代码应始终满足什么属性”的角度思考。但fast-check文档和示例丰富，从简单属性开始上手较快。