---
layout: default
title: 测试与验证
parent: 安全与治理
nav_order: 2
---

# 测试与验证

协议在推出前已经历了大量的内部测试。内部回归和有状态不变量测试用于检查实现行为，不等同于独立审计或覆盖所有执行路径的形式化证明。生产地址与浏览器源码验证须以[部署记录]({% link zh/deployment.md %})为准。

## 当前保护措施与测试范围

| 领域 | 当前保护措施 | 内部测试范围 |
|---|---|---|
| 收入接收 | 只记录实际收到的收入，并防止重复处理 | 不同到账顺序及转账失败时的处理 |
| 舍入与负债 | 奖励向下取整，待采购资金与已结算奖励分别记录 | 跨仓位、跨餐次的样本领取，以及资金对已记奖励的覆盖 |
| QQQB 通道收入分成 | 扣除推动奖励后，净收入的 15% 用于项目资金，余款及取整余数进入 Belly | 分配金额与资金去向 |
| 预言机定价 | 价格参考时效、市场均价与流动性检查 | 价格参考过期及兑换沿途流动性不足 |

上游收入处理具有独立的升级与紧急转移权限，可能影响到达 Belly 前的税费收入。这些权限不等于可提走用户的质押本金。上游收入与质押本金的区别见[托管边界]({% link zh/safety/custody.md %})。

舍入测试采用特定仓位数量、批次数量和领取安排，不证明所有使用情况都适用同一残差上限。多阶段取整及分段领取可能留下少量余额；资金与奖励如何分别保管，见[托管与记账边界]({% link zh/safety/custody.md %})。

测试证据适用于被测源码版本与模型，不能单独证明实际部署地址、生产监控可用性、所有外部代币行为或确定的恢复时间。