MultiversX属性测试Skill mvx_property_testing

---

name: mvx_property_testing description: 在Rust中使用模糊测试来验证不变量。

MultiversX 属性测试

本技能指导您使用基于属性的测试（模糊测试）在智能合约逻辑中寻找边缘情况。

1. 工具

• cargo fuzz: 标准的Rust模糊测试器。
• proptest: Rust的属性测试框架。

2. 方法论

定义不变量：

• “总供应量必须等于所有余额之和。”
• “如果存款失败，用户余额不得减少。”

3. 实现 (RustVM)

编写一个测试，它：

1. 接受随机输入（随机金额，随机用户ID）。
2. 通过 blockchain_mock 执行合约逻辑。
3. 断言不变量成立。

4. 示例

proptest! {
    #[test]
    fn test_deposit_always_increases_balance(amount in 0u64..1_000_000u64) {
        let mut setup = Setup::new();
        setup.deposit(amount);
        assert_eq!(setup.balance(), amount);
    }
}