如何編寫以太坊ERC-20智慧合約的單元測試

買賣虛擬貨幣

為您的智慧合約編寫單元測試非常重要,就像為任何開發專案編寫程式碼一樣。然而,基於區塊鏈的解決方案中的單裝置測試常常被低估和忽視。去年,我對大部分為以太坊以及Neo、Eos、Tron和比特幣區塊鏈撰寫的智慧合約進行了200多次審計。根據我的觀察,這些專案中有將近一半沒有編寫裝置測試。這種監督常常導致合同執行情況不佳,以及審計過程中發現的各種安全問題。


必備的測試每個智慧合約都有一些共同的部分,比如建構函式、總供應、用於來回傳輸的函式、用於審批的函式,有時還有用於燃燒額外代幣的函式。因此,檢查您的智慧合約是否正確初始化所有引數,以及當您溢位總供應或其他裝置值時是否能及時返回,都是非常重要的。您還需要檢查修飾符和正確的許可權使用。在這裡,我們將以以太坊為例,但這也適用於其他平臺,因為合約往往具有相同的結構。首先,讓我們測試適當的代幣初始化和對某個地址的正確傳輸。正確初始化的測試很簡單。您只需要建立一個示例合約並檢查所有必須初始化的值的正確性即可。
檢查傳遞函式是非常重要的,因為可能會有一些問題會導致不正確的傳遞。您必須確保接收方和傳送方的平衡,試圖得到恢復以防被錯誤的函式引數所影響,例如,傳送數量超過傳送方的平衡,合同地址或無效的地址進行了傳送等等情況都有可能發生。最後, 您必須檢查從傳輸事件獲得正確的日誌。transferFrom函式非常類似於transfer,但是這裡您還需要測試spender是否有足夠經過批准的餘額來傳送。以下是在支出比所需資金少的情況下進行的測試。approve函式是ERC20標準中最簡單的函式。不需要檢查零地址,只要檢查津貼陣列是否正確填充就足夠了。另外,如果您沒有增加審批或減少審批功能,approve將覆蓋所有先前的值。因此,我們建議使用這些函式來防止不必要的覆蓋。當然,檢查從審批事件中獲得正確日誌是很重要的。大多數智慧合約都包含了一個函式,用於燃燒主銷售後遺留的代幣。它們中的許多都有一個特殊的代幣持有者帳戶,有時是所有者帳戶。因此,對於燃燒未售出的代幣,最好的解決方案是:獲取持有者地址上的代幣數量,然後從總供應中減去這個數量,並將代幣數量設定為零。這將確保您不會燒掉所有的代幣,因此在白紙上列出代幣燃燒策略是很重要的。結論在將智慧合約部署到主網路之前,測試它是非常重要的,以防止將來出現問題。當您編寫了裝置測試時,它們將保證您的白皮書和智慧合約之間不會有任何差異,並且您的智慧合約不會被呼叫功能所攻擊。
一段時間以來,我聽到的最佳程式設計訪談引語是:“在裝置測試完成之前,程式碼不會先完成。——@brianrivard

這不僅僅是隻關於智慧合約,你需要為你的所有應用和程式碼進行裝置測試,因為它向你展示了你的應用可能如何失敗的所有方式。


更多區塊鏈資訊:www.qukuaiwang.com.cn/news

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;