multiversx-property-testing（MultiversX财产测试技能）Skill 是什么？

MultiversX财产测试技能：用属性测试与模糊测试自动揪出智能合约边缘 Bug

先看几条核心结论，帮你 1 分钟判断这个技能值不值得装：

它不是一个测试框架，而是一套“测试方法论 + 代码模板”的 AI 技能：把属性测试（Property Testing，技能中译为“财产测试”）和模糊测试（Fuzzing）落地到 MultiversX 智能合约的 Rust 工程里。
核心思路是“先定义不变量，再让机器随机撞”：由人来写“什么必须永远成立”，由 proptest / cargo-fuzz 生成海量随机输入去寻找反例。
它覆盖了从单函数属性测试 → 操作序列状态机测试 → LLVM 覆盖引导模糊测试 → 场景测试 JSON 生成的完整链路。
安装零成本，落地有前提：技能本身只是一份指导，真正跑起来仍需要在 Cargo.toml 中把 proptest、multiversx-sc-scenario 加为 dev-dependency。
最适合三类人：写 MultiversX 智能合约的 Rust 开发者、做合约审计的安全工程师、需要给合约补测试覆盖率的团队。

1. 该技能叫什么？如何一键安装 AI 技能提升开发效率？

基本信息

项目	内容
技能中文名	MultiversX财产测试技能Skill
技能英文名	multiversx-property-testing
技能 ID	12531
技能定位	使用财产测试和模糊测试来发现智能合约逻辑中的边缘案例
触发场景	编写全面测试、验证不变量、使用随机输入搜索意外行为时

它解决什么问题

传统智能合约测试大多是“我想到一个输入，就写一条用例”的示例式测试。问题在于：你只能测到你想到的情况。而链上事故往往发生在你没想到的地方——金额为 0、金额等于 u64::MAX、连续两次调用同一个 claim、状态机在某个奇怪的操作顺序下让总供应量和余额之和对不上。

这个技能要解决的正是“想不全”的问题：它把 AI 编码助手变成一个懂 MultiversX 合约测试的教练，帮你梳理不变量 → 生成属性测试 → 生成模糊测试目标 → 转成可复现的场景测试。

一键安装的思路与步骤

第一步：确认前提条件

你已经有一个 MultiversX 智能合约的 Rust 工程（可正常 cargo build / cargo test）；
本地具备 Rust 工具链，若要使用 cargo-fuzz 还需 nightly 工具链（技能示例中使用 cargo +nightly fuzz run）；
你的 AI 编码助手支持安装/导入第三方技能（具体入口与客户端有关，以官方说明为准）。

第二步：通过技能 ID 安装

在 AI 助手的技能市场 / 技能管理入口中，使用技能 ID 12531 或英文名 multiversx-property-testing 检索并安装。若客户端支持命令行或插件式安装，请以官方文档提供的命令为准（具体命令以官方说明为准，不同客户端存在差异）。

第三步：验证技能是否生效

安装后不要只看“已安装”，建议做一次冒烟验证：

在对话中描述你的合约，例如：“我有一个 MultiversX 的 EGLD 存取合约，帮我用财产测试验证总供应量等于所有余额之和。”
观察回复是否具备该技能的特征：是否引导你先定义不变量、是否给出 proptest! { ... } 宏包裹的测试、是否使用 prop_assert_eq! / prop_assume!、是否提醒你把 proptest 加入 dev-dependencies。
如果回复只是泛泛的“建议多写测试”，说明技能未被正确加载，可尝试显式点名技能名重新触发。

第四步：补齐工程依赖

技能中明确提示：proptest 是外部 crate，不属于 MultiversX SDK，需要自行添加：

# Cargo.toml (dev-dependencies)
[dev-dependencies]
proptest = "1.4"
multiversx-sc-scenario = "0.64.0"

模糊测试工具链则通过 cargo install cargo-fuzz 安装，随后 cargo fuzz init 初始化模糊目标目录。

2. 该技能的主要功能和特点

不变量体系化梳理：内置常见智能合约不变量分类表，覆盖守恒（总供应量 = 所有余额之和）、单调性（质押金额只会增不会无故减）、边界（用户余额 ≤ 总供应量）、一致性（白名单计数 = 白名单集合长度）、幂等性（二次索赔返回 0）。这比“凭感觉写测试”高出一个维度。
proptest 属性测试代码生成：可直接产出带取值范围约束的测试，如 amount in 1u64..1_000_000u64，并支持 prop_assume! 前置条件过滤。
领域化自定义策略（Strategy）：提供生成合法 MultiversX 地址（erd1 前缀 + 十六进制）、安全代币金额（规避溢出区间）、代币标识符（形如 ABC-1a2b3c）的策略模板。这类策略是新手最容易卡住的地方，技能直接给答案。
状态机属性测试：不止测单个函数，而是用 Operation 枚举描述存入/取出/转账序列，再用“模型状态 vs 合约状态”双跑对拍，逐操作校验不变量是否仍然成立。
cargo-fuzz 模糊测试目标模板：给出 #![no_main] + fuzz_target! 的标准骨架，并演示如何从 &[u8] 中安全解析出 u64 金额、如何断言“无论输入如何都不应 panic”。
属性测试 → 场景测试的转换：可以把随机生成的操作序列固化成 multiversx-sc-scenario 的 JSON 步骤，让一次随机发现的失败案例变成可稳定复现的回归用例。
常见测试模式库：溢出测试（用 checked_add 对照合约行为）、边界测试（0、1、u64::MAX - 1、u64::MAX 与随机值混合）、幂等性测试，基本覆盖了合约最高频的翻车点。
工程化最佳实践：包括从简单不变量起步、利用 proptest 自动缩小（shrinking）失败用例为最小示例、向模糊语料库播种已知边缘案例、在 CI 中持续运行、为每个不变量写注释说明其为何必须成立、专门测试失败路径是否被正确拒绝。

和普通测试工具比强在哪：普通工具给你 API，这个技能给你判断标准——告诉你“这个合约应该有哪些不变量”“哪个函数必须测边界”“怎样让随机测试不会因为前置条件不满足而白白失败”。

3. 如何使用该技能？

步骤 1：让技能先“读”你的合约 把合约的关键结构（余额映射、总供应量、核心入口函数）贴给 AI 助手，并说明业务语义。触发语示例：

用 MultiversX 财产测试技能，帮我为这个存取款合约设计不变量，并生成 proptest 属性测试。

步骤 2：确认不变量清单 先不急着要代码，让它输出 3–6 条不变量并解释理由。示例：守恒（total_supply == sum(balances)）、边界（用户余额不超过总供应量）。

步骤 3：在代码中落地不变量函数

// 不变量：总供应量等于所有余额之和
fn check_supply_invariant(state: &ContractState) -> bool {
    let total_supply = state.total_supply;
    let sum_of_balances: BigUint = state.balances.values().sum();
    total_supply == sum_of_balances
}

步骤 4：生成并运行基本属性测试

use proptest::prelude::*;

proptest! {
    #[test]
    fn test_deposit_increases_balance(amount in 1u64..1_000_000u64) {
        let mut setup = TestSetup::new();
        let initial_balance = setup.get_balance();
        setup.deposit(amount);
        let final_balance = setup.get_balance();
        prop_assert_eq!(final_balance, initial_balance + amount);
    }
}

输入与输出说明：输入是“函数语义 + 取值范围”；输出是可编译的测试代码与断言。运行 cargo test 后，若失败，proptest 会自动缩小（shrink）到最小复现输入，把 amount = 437 这样的具体值直接告诉你。

步骤 5：升级到状态序列测试 用 Operation 枚举 + ModelState 对拍，随机生成 0–100 个操作，逐操作断言“模型与合约的成功/失败一致”“双方不变量都成立”。这一步能揪出单函数测试永远发现不了的多步状态 Bug。

步骤 6：跑模糊测试

cargo install cargo-fuzz
cargo fuzz init
cargo +nightly fuzz run deposit_fuzz -- -max_total_time=300

步骤 7：把失败案例固化 让技能把触发失败的操作序列转成 scenario JSON，加入回归测试集；同时把已知边缘案例播种进模糊语料库，形成“发现—固化—再发现”的闭环。

4. 同类型竞品对比分析

方案名称	定位	核心功能	安装/使用门槛	适用场景	优势与不足
multiversx-property-testing（本技能）	AI 技能：属性测试的方法论 + MultiversX 领域代码模板	不变量梳理、proptest/cargo-fuzz 代码生成、状态机对拍、场景 JSON 转换	需支持技能的 AI 助手 + Rust 合约工程；依赖需手动加入 `Cargo.toml`	合约自测补强、审计前验证、CI 回归	优势：开箱即用、懂 MultiversX 语境、模板完整；不足：不变量是否“正确”仍需人工判断，且不负责替你修 Bug
手写 proptest	通用 Rust 属性测试库	随机输入生成、自动缩小、策略组合	中：需自行设计策略与不变量	通用 Rust 项目、库函数级测试	优势：成熟灵活、生态好；不足：无 MultiversX 领域模板，状态机与地址生成需自己写
cargo-fuzz	LLVM 覆盖引导模糊测试工具	覆盖率反馈、语料库积累、崩溃复现	较高：需 nightly、需编写 fuzz target	二进制解析、极端输入、panic 探测	优势：能挖到深层崩溃；不足：运行耗时、难以表达“业务不变量”这类语义断言
multiversx-sc-scenario	官方场景测试框架	确定性模拟链上执行、可复现步骤	中：需手写 JSON 场景	集成测试、回归用例	优势：贴近真实链上执行、结果稳定；不足：输入完全由人设计，覆盖广度取决于想象力

结论：四者是互补关系。本技能的价值在于把 proptest 与 cargo-fuzz 这两把“随机武器”按 MultiversX 合约的语境组装好，并把随机结果沉淀为 scenario 的确定性用例。

5. 该技能的典型应用场景与实际体验情况

场景一：代币合约的守恒不变量自测 角色：智能合约开发者。痛点：转账、销毁、增发三条路径都可能破坏“总量守恒”，但手写用例很难穷举。使用方式：让技能生成“随机转账 + 前后总额对比”的属性测试。实际体验：上手难度低，模板可直接跑；效果上最容易在几分钟内暴露“某条分支少加/多加余额”的经典错误。注意：prop_assume!(amount <= sender_initial) 这类前置条件必须加，否则大量随机用例会被白白丢弃。

场景二：DeFi 质押合约的状态机对拍 角色：审计工程师。痛点：单步操作都正常，连续“存入→部分取出→再存入→转账”后状态错乱。使用方式：用 Operation 枚举 + ModelState 模型对拍，逐操作校验不变量。实际体验：这是该技能最有杀伤力的部分，但也是上手最慢的部分，需要先想清楚模型语义；建议先跑小规模操作序列（如 0–20 步）稳定后再放大。

场景三：NFT 白名单与铸造边界测试 角色：项目方技术负责人。痛点：金额为 0、数量超上限、重复铸造等边界行为未被拒绝。使用方式：用 prop_oneof! 混合 0、1、u64::MAX - 1、u64::MAX 与随机值，断言非法输入必须返回错误。实际体验：边界组合一次覆盖，比手写 if-else 用例清爽得多。注意：断言要区分“应当拒绝”和“应当成功”，不能只断言 is_ok()。

场景四：CI 中的持续模糊测试 角色：团队工程负责人。痛点：改一次代码，不知道有没有引入新的边缘失败。使用方式：属性测试随每次提交跑，模糊测试设定时长（如 -max_total_time=300）在夜间流水线运行。实际体验：技能给出的“种子语料库 + 失败即固化”建议很实用；注意模糊测试耗时与稳定性受环境影响，建议与单元测试分层执行。

6. 该技能能为用户带来的价值

把“想不全”变成“撞得全”：示例式测试的覆盖率取决于人的想象力，属性测试则把覆盖交给随机输入。一条守恒不变量测试，往往能顶掉一屏手写用例。
显著降低入门门槛：多数开发者不是不知道属性测试好，而是卡在“不变量怎么定”“地址怎么随机生成”“金额怎么避免溢出干扰”这些细节上。技能直接给出可复用的策略函数和模式清单。
把安全左移：溢出、边界、幂等这三类最高频的合约缺陷，都能在提交前被自动扫一遍，减少上线后才发现问题的高昂成本（具体收益因项目而异，以实际项目评估为准）。
让测试资产可沉淀：随机发现的失败案例会被固化成 scenario JSON 与语料库种子，团队的测试资产随时间变厚，而不是一次性劳动。
长期价值是“测试思维”的迁移：一旦团队习惯了“先说不变量，再让机器验证”，这套方法论可以复用到任何链、任何语言的合约上。

7. 常见问题 FAQ

Q1：怎么安装这个技能？装完还要做什么？ 在支持技能的 AI 助手中用技能 ID 12531 或英文名 multiversx-property-testing 检索安装（具体入口与命令以官方说明为准）。装完后务必在你的合约工程 Cargo.toml 的 [dev-dependencies] 中加入 proptest = "1.4" 与 multiversx-sc-scenario = "0.64.0"，模糊测试还需 cargo install cargo-fuzz，否则技能给出的代码无法编译。

Q2：这个技能收费吗？ 技能本身的费用取决于你所用 AI 助手的计费策略，以官方说明为准。技能内引用的 proptest、cargo-fuzz、multiversx-sc-scenario 均为开源或官方组件，不涉及额外授权费用（具体许可请以各项目官方说明为准）。

Q3：它适合谁用？我是合约测试新手能用吗？ 适合三类人：正在写 MultiversX 智能合约的 Rust 开发者、做合约审计的安全工程师、需要补测试覆盖率的团队。新手同样能用，因为技能提供了完整代码模板与常见模式库；但建议先从“守恒不变量”这一条最简单的属性开始，跑通再扩展。

Q4：属性测试能替代单元测试和场景测试吗？ 不能，三者互补。属性测试擅长用随机输入发现你没想到的边缘案例，但它的结论是“未发现反例”，不等于“不存在反例”；单元测试保证具体行为，场景测试保证链上执行的可复现性。推荐组合是：属性测试扩广度 → 失败案例转 scenario 固化 → 单元测试守住关键路径。

Q5：为什么我的属性测试总是通过，感觉没测出东西？ 常见原因有三个：一是不变量写得太弱（例如只断言“不 panic”，没有断言数值关系）；二是策略取值范围过窄，随机没打到边界；三是缺少 prop_assume! 前置条件导致大量用例被丢弃。技能的“常见测试模式”章节里，溢出、边界、幂等三类模板建议直接拿来对照检查。