返回目录 / 开发工具
Web3 合约测试：验证状态不变量与失败边界
用隔离 EVM 测试合约状态、角色、回滚和已知攻击边界。
Skills
先确认项目使用 Foundry 还是 Hardhat，读取 compiler、测试配置和部署脚本但不执行主网脚本。把业务规则写成断言与不变量，覆盖正常路径、边界输入、访问拒绝、回滚和重入；针对随机状态可增加 fuzz/property tests。若使用 fork，固定区块高度和只读 RPC，禁用签名器并确认测试不会向真实网络发送交易。执行本地套件，报告测试数量、未覆盖路径和失败复现，不把 fork 模拟等同真实链上保证。
权限边界
前置条件
- 为 Solidity/EVM 合约设计单元、集成、fuzz 与 fork 测试。
- 需要现有合约、编译配置、关键不变量及受控测试链。
权限边界
- 可编辑测试、启动本地链并部署测试合约；fork查询可能访问公开RPC。
- 交易须在本地隔离环境或测试网；不使用含资金的生产密钥，不发起主网交易。
限制
覆盖状态不变量、边界数值、回滚、访问角色和重入；fork测试应固定区块并隐藏凭证。
固定上游来源
- 仓库
- wshobson/agents
- 文件路径
- plugins/blockchain-web3/skills/web3-testing/SKILL.md
- 固定提交
46891e7e60da0e52baf1050b7b6391b64e84c6d9- 来源检查
- 2026-10-14 · 已按固定上游来源核对
仓库指标
以下数字属于上游仓库整体，不代表单个 Skill 或指南的点赞/热度。
- Stars
- 未取得
- Forks
- 未取得
- 观测时间
- 未取得
尚未取得指标快照。
许可证: MIT
适用工具
Foundry/Hardhat test runner · Local EVM · Mainnet fork without signing keys