सिस्टम डिज़ाइन · AREX-TEST
Testing
Use Node.js 20 or 22 LTS with npm; the committed package lock.json is the source of truth for dependency versions. Newer Node majors may print Hardhat support warnings.
- दस्तावेज़ आईडी
- AREX-TEST
- संस्करण
- 2.0
- तिथि
- 2026-09-21
- स्रोत
- docs/TESTING.md
| Field | Value |
|---|---|
| Document ID | AREX-TEST |
| Version | 2.0 |
| Date | 2026-09-21 |
| Related | AREX-SDD-001 §12 (traceability matrix), AREX-AUD-001 §7 (coverage matrix) |
Test layers
| Layer | Location | Covers |
|---|---|---|
| Standard / reference | test/standard/ARexToken.test.js | batches, lineage, ERC-7943 enforcement, hook pipeline, conformance, upgrade authorization |
| Standard / hooks | test/standard/DomainHooks.test.js | perishability, seasonal, delivery, traceability, sanctions TTL |
| Standard / extensions | test/standard/Extensions.test.js | price oracle, carbon wrapper, parametric insurance |
| Documentation / guide | test/standard/ImplementationGuide.test.js | every code block of the Implementation Guide and the example hooks in contracts/examples/, executed in order |
| Standard / invariants | test/standard/Invariants.test.js | seeded random operation sequences; supply conservation, terminal status, canTransfer ⇔ outcome, lock |
| Standard / security | test/standard/OpContext.test.js | operation context does not leak into calls made from ERC-1155 acceptance callbacks (see docs/SECURITY-NOTE-op-context.md) |
| Deployment | test/standard/DeployFullStack.test.js | scripts/deploy-full-standard.js splits roles between ADMIN_ADDRESS and OPS_ADDRESS and the deployer renounces every role |
| Standard / attestations (Foundry) | test/foundry/ARexAttestationsRevoke.t.sol | AREX-CORE §6 revocation: the issuer and a revoker it delegated revoke; ATTEST_ADMIN_ROLE and strangers cannot (fuzzed); IARexAttest interface id unchanged. Run with forge test |
| Standard / attestations (Foundry) | test/foundry/ARexAttestationsAttest.t.sol | AREX-CORE §6 re-attestation: another issuer never replaces a record (live, expired or distrusted; fuzzed), a revoked record is never re-attested (its issuer, another issuer, after a delegated revocation), the issuer renews a live or expired record; IARexAttest interface id unchanged. Run with forge test |
| Standard / delivery (Foundry) | test/foundry/DeliveryHookSchedule.t.sol | DeliveryHook.schedule never underflows after a forced transfer took the balance below the locked units (InsufficientBalance, fuzzed). Run with forge test |
| Conformance | conformance/ (npm run conformance) | implementation-agnostic suite: every MUST and SHOULD of AREX-CORE.md, by clause id, through an adapter; runs on the reference and on third-party implementations, writes conformance/report.json |
Commands
Use Node.js 20 or 22 LTS with npm; the committed package-lock.json is the source of truth for dependency versions. Newer Node majors may print Hardhat support warnings.
Determinism rules
- Tests that advance chain time restore a snapshot in
after()so they do not leak into other files (takeSnapshot/restore). - No test depends on wall-clock time:
CommodityPriceOraclenumbers its rounds instead of bucketingblock.timestamp, and the seasonal tests set the block time explicitly. - The invariant test is seeded (
AREX_INVARIANT_SEED); a failure is reproducible with the same seed and step count.
What tests establish
Repeatable evidence of implemented behaviour in the Hardhat environment. They do not establish absence of vulnerabilities, regulatory compliance, correctness of off-chain data, economic safety, production gas viability across chains, or storage compatibility of future upgrades beyond the OpenZeppelin plugin validation.
Before production
- Third-party audit (package:
AUDIT-READINESS.md). - Fork tests on every target chain.
- Worst-case batch gas benchmarks with the production hook set.
- Upgrade rehearsal against a mainnet fork with the plugin's
validateUpgrade.