Diseño del sistema · 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.

ID del documento: AREX-TEST
Versión: 2.0
Fecha: 2026-09-21
Fuente: docs/TESTING.md

Disponible solo en inglés

Esta página está en inglés. Los capítulos del whitepaper y los diagramas están traducidos. El texto normativo del estándar se mantiene en el repositorio; para leerlo, solicita acceso anticipado. Las guías de diseño del sistema y los registros de decisiones están solo en inglés.

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

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: CommodityPriceOracle numbers its rounds instead of bucketing block.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.