基于蛻變測試的區(qū)塊鏈智能合約漏洞檢測方法

摘要： 針對現(xiàn)有測試方法的缺陷，提出了一種基于蛻變測試的區(qū)塊鏈智能合約漏洞檢測方法，其能針對區(qū)塊鏈智能合約中具體的功能生成針對性的測試用例，從而檢測區(qū)塊鏈智能合約中存在的漏洞。針對可能出現(xiàn)的安全漏洞，設(shè)計了不同的蛻變關(guān)系并進行蛻變測試。通過驗證源測試用例和后續(xù)測試用例之間是否滿足蛻變關(guān)系，判斷智能合約是否存在相關(guān)的安全漏洞。實驗結(jié)果表明，所提方法可以有效地檢測出智能合約中存在的安全漏洞...