基于属性测试

编写、审查与调试基于属性的测试——Hypothesis、fast-check、proptest、jqwik、rapid，以及 Solidity 不变式的 Echidna/Medusa。用于测试应覆盖整个输入域而非手挑示例集：编解码与序列化对、解析器、规范化器、校验器、数值与 Decimal 类型、比较器与排序、数据结构，以及智能合约状态不变式。也用于给既有 @given/fast-check/proptest 套件加用例、判断既有属性测试是否断言了真实内容，或生成器已收缩出反例、需区分错误属性与真 bug 时。不是覆盖引导的二进制模糊测试（libFuzzer、AFL）、变异测试活动、静态分析、基准测试或端到端 UI 测试。