隨著區(qū)塊鏈技術(shù)在金融、物流、醫(yī)療健康等領(lǐng)域的廣泛應(yīng)用,智能合約作為區(qū)塊鏈去中心化應(yīng)用的核心程序,其開發(fā)環(huán)境也越來越重要。目前,市面上并沒有友好、高效的智能合約開發(fā)調(diào)試平臺。為了促進(jìn)區(qū)塊鏈和智能合約技術(shù)的工程應(yīng)用和產(chǎn)業(yè)推廣,本文基于區(qū)塊鏈平臺研究面向智能合約的安全開發(fā)調(diào)試系統(tǒng)平臺。重點(diǎn)研究了區(qū)塊鏈系統(tǒng)架構(gòu)、智能合約系統(tǒng)架構(gòu)、智能合約調(diào)試引擎、智能合約全生命周期開發(fā)流程等內(nèi)容。主要研究內(nèi)容分為兩個(gè)部分:1.研究智能合約調(diào)試器引擎技術(shù),并基于EOS(Enterprise Operation System)區(qū)塊鏈平臺實(shí)現(xiàn)了智能合約的調(diào)試功能。本文詳細(xì)研究了EOS區(qū)塊鏈平臺的系統(tǒng)架構(gòu)、EOS智能合約框架及其編譯工具鏈?zhǔn)褂梅椒�、EOS智能合約虛擬機(jī)執(zhí)行引擎工作原理、EOS區(qū)塊鏈賬戶管理機(jī)制以及EOS區(qū)塊鏈交易執(zhí)行流程等內(nèi)容。然后詳細(xì)分析了DWARF調(diào)試信息的編碼格式,及使用DWARF調(diào)試信息獲取源碼行號映射信息以及變量地址映射信息的原理。并介紹了WASM(WebAssembly)字節(jié)碼二進(jìn)制目標(biāo)文件的格式及其主要指令集編碼。2.研究并實(shí)現(xiàn)了基于Web的EOS智能合約綜合化安全開發(fā)調(diào)試平臺。目前EO...

【文章頁數(shù)】：104 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖3-1系統(tǒng)功能需求用例圖

電子科技大學(xué)碩士學(xué)位論文30圖3-1系統(tǒng)功能需求用例圖各個(gè)功能的詳細(xì)內(nèi)容描述如下：(1).EOS智能合約項(xiàng)目管理開發(fā)功能EOS智能合約項(xiàng)目管理開發(fā)是本系統(tǒng)的基本功能，旨在為用戶提供一個(gè)基于Web的智能合約開發(fā)環(huán)境。用戶通過項(xiàng)目管理開發(fā)功能，可以在web界面中新建、刪除、保存以及導(dǎo)....

圖3-4EOS智能合約開發(fā)編譯部署執(zhí)行活動(dòng)圖

第三章系統(tǒng)總體設(shè)計(jì)及關(guān)鍵問題解決方案333.4系統(tǒng)主要功能流程設(shè)計(jì)3.4.1智能合約開發(fā)編譯部署執(zhí)行流程EOS智能合約開發(fā)人員首先創(chuàng)建或?qū)氡镜睾霞s文件，并在合約代碼編輯器中輸入相應(yīng)的合約代碼。然后選擇相應(yīng)的編譯器版本及編譯選項(xiàng)之后，編譯合約。如果合約編譯出錯(cuò)或產(chǎn)生警告信息，開發(fā)....

圖3-5EOS智能合約調(diào)試活動(dòng)圖

電子科技大學(xué)碩士學(xué)位論文343.4.2智能合約調(diào)試流程當(dāng)合約業(yè)務(wù)功能繁多、業(yè)務(wù)邏輯復(fù)雜時(shí)，合約開發(fā)人員需要調(diào)試智能合約。首先開發(fā)人員將編輯完成的合約代碼進(jìn)行編譯，若編譯出錯(cuò)則說明合約存在語法錯(cuò)誤需要修改。若編譯通過，開發(fā)人員需要將合約部署到支持合約調(diào)試的本地單節(jié)點(diǎn)區(qū)塊鏈網(wǎng)絡(luò)上。由....

圖3-6EOS智能合約安全檢測活動(dòng)圖

第三章系統(tǒng)總體設(shè)計(jì)及關(guān)鍵問題解決方案353.4.3智能合約安全檢測流程合約調(diào)試功能只能保證合約在輸入約束之內(nèi)的功能邏輯正確性，合約也可能存在安全威脅點(diǎn)甚至安全漏洞。開發(fā)人員可通過合約安全檢測驗(yàn)證發(fā)現(xiàn)合約安全漏洞。開發(fā)人員編輯完成合約代碼之后，編譯合約，若無編譯語法錯(cuò)誤即可進(jìn)行合約....

本文編號：3985255