LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。

property-based-testing - 基于属性的代码测试

为序列化、验证、规范化和纯函数生成随机输入并验证不变式

标签

更新于: 2026-03-19
测试基于属性序列化验证pbt

能力

典型输入

典型输出

该技能可以做什么

  • 生成随机输入
  • 验证不变式
  • 检测模式
  • 引用库
  • 执行测试
  • 创建输入策略

输入

  • 测试代码
  • 待测函数
  • 测试配置
  • 输入约束

输出

  • 测试报告
  • 属性验证结果
  • 模式检测结果
  • 测试失败

要求

  • 基于属性的测试库
  • 支持的编程语言

来源

  • 规范: SKILL.md
生成随机输入
验证不变式
检测模式
引用库
测试代码
待测函数
测试配置
测试报告
属性验证结果
模式检测结果