スマート コントラクトをデプロイする前にテストするにはどうすればよいですか? （ヘルメット＆トリュフ使用）

ローカル開発環境のセットアップ

1. Node.js と npm をインストールして、Hardhat ツールチェーンと Truffle ツールチェーンの両方との互換性を確保します。

2. npm initを使用して新しいプロジェクトを初期化し、 npm install --save-dev hardwareを介して Hardhat をインストールします。

3. Truffle の場合は、 npm install -g truffle を実行し、 truffle initでボイラープレートを作成します。

4. 検証用のネットワーク、アカウント、Solidity コンパイラーのバージョン、および Etherscan API キーを指定するように、 hardhat.config.jsを構成します。

5. ローカルの Ganache または Hardhat ネットワーク エンドポイントを含む、一致するネットワーク定義を使用してtruffle-config.js をセットアップします。

包括的な単体テストの作成

1. Hardhat プロジェクトのtest/ディレクトリにある JavaScript または TypeScript ファイルを使用して、Mocha と Chai のテスト ケースを定義します。

2. 各テストの前にawait ethers.getContractFactoryを使用してコントラクト アーティファクトをインポートし、 deploy()を介してインスタンスをデプロイします。

3. エラー条件に対して、expect(...).to.equal(...)またはawait Expect(...).to.be.revertedWith(...)を使用して、期待される動作をアサートします。

4. Truffle で、 contract()ブロックを使用してtest/*.jsにテストを作成し、OpenZeppelin テスト ヘルパーからのassertまたはExpectEvent を作成します。

5. ロールと権限をモックすることで、ゼロ値転送、再入試行、不正アクセスなどのエッジ ケースをカバーします。

静的解析とセキュリティチェックの実行

1. Python の依存関係をインストールし、 Srither を実行することで、 Slither をCI パイプラインに統合します。 --solc-remaps '@openzeppelin=node_modules/@openzeppelin' 。

2. npm install solhint --save-devを使用してSolhintを追加し、スタイルおよびセキュリティ関連のアンチパターンを検出し、 .solhint.jsonでルールを構成します。

3. Hardhat プラグイン@mythx/hardhat-mythxを通じて MythX を実行し、テスト実行中にオンチェーン脆弱性スキャンを実行します。

4. etherscan-verifyプラグインを使用して、メインネットの展開前にソース コードがバイトコードと一致することを確認します。

5. カスタム修飾子と継承階層を手動で監査して、 onlyOwner 、 whenNotPaused 、または同様のガードがすべてのエントリ ポイントで一貫して動作することを確認します。

メインネット条件のシミュレーション

1. Alchemy または Infura エンドポイントを指す Hardhat の--forkフラグを使用して Ethereum メインネットをフォークし、ライブ状態を複製します。

2. フォークされたネットワークにコントラクトをデプロイし、Uniswap や Aave などの実際の DeFi プロトコルと対話して、統合ロジックを検証します。

3. Truffle のコンソールコマンドを--network mainnet-forkとともに使用して、アドホック呼び出しを実行し、ストレージ レイアウトを検査します。

4. 高負荷シナリオで機能をトリガーし、OOG エラーによる復帰が発生しないことを確認することで、ガス使用量の急増をシミュレートします。

5. evm_increaseTimeおよびevm_mine RPC 呼び出しを使用してブロックのタイムスタンプを進めることにより、タイムスタンプに依存するロジックを検証します。

よくある質問

Q: Hardhat プロジェクトで Truffle テスト ファイルを再利用できますか?はい、ほとんどの Truffle スタイルの JavaScript テストは、微調整を行った後、Hardhat で実行できます。artifacts.requireをethers.getContractFactoryに置き換え、Chai の期待に一致するようにアサーション構文を更新します。

Q: Hardhat は実際の ETH 残高を使用したテストをサポートしていますか? Hardhat Network は、アカウント構成による初期残高の設定をサポートしています。テストアカウントに 1000 ETH を割り当てて、外部フォーセットなしで資金提供によるやり取りをシミュレートできます。

Q: コントラクトによって発行されたイベントをテストするにはどうすればよいですか? Hardhat では、 Expect(tx).to.emit(contract, 'EventName').withArgs(arg1, arg2)を使用します。 Truffle では、 ExpectEvent.inTransaction(tx, Contract, 'EventName', { arg1, arg2 })を使用します。

Q: 私の契約が単純な ERC-20 である場合、テストをスキップしても安全ですか?いいえ。標準に準拠したトークンであっても、転送制限、ミントの一時停止可能性、取引所やステーキング契約とのやり取りの検証が必要です。テストを省略すると、不可逆的なロックやインフレのバグが発生するリスクがあります。