Skip to content

testing.md

Latest commit

 

History

History
91 lines (64 loc) · 2.78 KB

testing.md

File metadata and controls

91 lines (64 loc) · 2.78 KB
Raw

Testing Guide

Test Layers

Static Verification

forge fmt --check
forge build

현재 별도 Solidity linter나 static analyzer는 구성되어 있지 않다.

Unit Tests

제품 Foundry 테스트:

forge test --offline

현재 제품 테스트는 compliance registry/engine, execution router, AMM adapter, RFQ adapter와 TREX fixture 기반 integration path를 포함한다. --offline은 외부 시그니처 조회를 차단해 로컬 검증을 결정적으로 유지하고, 일부 macOS 환경의 Foundry nightly 프록시 초기화 충돌을 피한다.

RFQ reference service 테스트:

cd services/rfq
npm ci
npm test

이 smoke test는 EIP-712 typed-data shape, expiry/nonce 부여, unsafe JavaScript number 거부와 monotonic nonce fallback을 검증한다.

Vendored deploy tool 테스트:

cd tools/deploy-v3
yarn test

Integration Tests

Foundry integration tests는 mock/ERC-3643 fixture를 사용해 regulated swap, multi-Recipe, surveillance, emergency pause와 invariant path를 검증한다. tools/deploy-v3의 Corner Store profile은 unit test로 구성과 순서를 검증하며, 과거 수동 Anvil 배포 검증 기록은 tools/deploy-v3/CORNER_STORE_PROFILE.md에 있다.

아직 자동화된 live Anvil deployment/E2E는 없다.

E2E Tests

아직 제품 E2E test가 없다. 향후 최소 E2E는 다음을 포함해야 한다.

  • 허용된 거래의 실행 성공
  • applicable Recipe 중 하나의 Element 거부에 따른 원자적 실패
  • 여러 Recipe의 cumulative AND와 중복 Element 실행 의미
  • Manifest lifecycle, version과 supported engine binding
  • ERC-3643 transfer 거부의 원자적 실패
  • 지원 Router 경로와 직접 venue 호출의 보장 차이
  • UNKNOWN, explicit UNREGULATED public path와 regulated path의 보장 차이
  • unregulated-regulated mixed pair의 regulated Manifest 적용
  • regulated-regulated pair의 양쪽 Manifest/Recipe 누적 적용
  • Adapter 등록·교체·중단 시 Router와 compliance policy 불변성

Integrated Check

scripts/check.sh

이 명령은 현재 저장소에서 지원하는 format, build와 test를 순서대로 실행한다. 현재 포함 범위는 Foundry fmt/build/test, RFQ service smoke, vendored deploy-v3 test, whitespace check다.

Manual Verification

문서-only 변경은 다음을 추가 확인한다.

  • source-of-truth 링크가 유효한가
  • 같은 개념이 서로 다른 이름이나 책임으로 설명되지 않는가
  • 확정된 결정과 열린 질문이 구분되는가
  • git diff --check가 통과하는가

Completion Rule

feature의 Verification에 적힌 모든 검증이 통과해야 passing으로 변경할 수 있다. 실행할 수 없는 검증은 생략하지 말고 PROGRESS.md에 원인과 대체 검증을 기록한다.