[發(fā)明專利]智能合約的測試方法、裝置、設(shè)備及存儲介質(zhì)

有效

• 申請?zhí)枺?/td>: 202011413692.4
• 申請日: 2020-12-03
• 公開（公告）號: CN112416800B
• 公開（公告）日: 2023-09-15
• 發(fā)明（設(shè)計）人: 劉靜媛;胡志敏;顧費(fèi)勇
• 申請（專利權(quán)）人: 網(wǎng)易(杭州)網(wǎng)絡(luò)有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京超凡宏宇知識產(chǎn)權(quán)代理有限公司 11463
• 代理人: 鐘揚(yáng)飛

1.一種智能合約的測試方法，其特征在于，所述方法包括：

生成待測智能合約對應(yīng)的符號執(zhí)行樹；

采用業(yè)務(wù)模型約束集對所述符號執(zhí)行樹中的測試路徑進(jìn)行篩選，獲取目標(biāo)測試路徑，其中，所述業(yè)務(wù)模型約束集包含根據(jù)業(yè)務(wù)數(shù)據(jù)獲取的關(guān)鍵業(yè)務(wù)路徑；

根據(jù)所述目標(biāo)測試路徑，確定測試用例的相關(guān)數(shù)據(jù)；

根據(jù)所述測試用例的相關(guān)數(shù)據(jù)對所述待測智能合約進(jìn)行測試，獲取測試結(jié)果；

所述業(yè)務(wù)模型約束集包括：業(yè)務(wù)關(guān)鍵詞對應(yīng)的權(quán)重信息；

根據(jù)所述業(yè)務(wù)關(guān)鍵詞對應(yīng)的權(quán)重信息，確定所述符號執(zhí)行樹中各分支路徑的權(quán)重；

根據(jù)各分支路徑的權(quán)重，選擇滿足約束條件指示的權(quán)重要求的所述目標(biāo)測試路徑；

所述業(yè)務(wù)關(guān)鍵詞為提煉關(guān)鍵業(yè)務(wù)路徑時使用的關(guān)鍵詞。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述方法還包括：

獲取待執(zhí)行業(yè)務(wù)對應(yīng)的業(yè)務(wù)文件，其中，所述業(yè)務(wù)文件與所述智能合約邏輯匹配；

根據(jù)預(yù)設(shè)規(guī)則，提取所述業(yè)務(wù)文件的關(guān)鍵業(yè)務(wù)路徑；

對所述關(guān)鍵業(yè)務(wù)路徑進(jìn)行符號化轉(zhuǎn)化處理，得到所述業(yè)務(wù)模型約束集。

3.根據(jù)權(quán)利要求1或2所述的方法，其特征在于，所述采用業(yè)務(wù)模型約束集對所述符號執(zhí)行樹中的測試路徑進(jìn)行篩選，獲取目標(biāo)測試路徑，包括：

根據(jù)所述業(yè)務(wù)模型約束集選擇所述符號執(zhí)行樹中滿足約束條件的目標(biāo)測試路徑，所述約束條件用于指示與所述關(guān)鍵業(yè)務(wù)路徑的相關(guān)性。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述根據(jù)所述測試用例的相關(guān)數(shù)據(jù)對所述待測智能合約進(jìn)行測試，獲取測試結(jié)果，包括：

根據(jù)所述測試用例的相關(guān)數(shù)據(jù)，觸發(fā)所述待測智能合約對應(yīng)的測試鏈執(zhí)行，獲取所述測試結(jié)果。

5.根據(jù)權(quán)利要求1或4所述的方法，其特征在于，所述測試結(jié)果包括下述一項(xiàng)或多項(xiàng)：

所述測試用例的相關(guān)數(shù)據(jù)的執(zhí)行通過率、所述測試用例的相關(guān)數(shù)據(jù)執(zhí)行后所述符號執(zhí)行樹中的分支路徑覆蓋率、所述測試用例的相關(guān)數(shù)據(jù)的執(zhí)行異常信息。

6.如權(quán)利要求1所述的方法，其特征在于，所述生成待測智能合約對應(yīng)的符號執(zhí)行樹，包括：

通過代碼解釋器將所述待測智能合約轉(zhuǎn)化為對應(yīng)的符號集合；

查詢獲取所述待測智能合約中的判斷節(jié)點(diǎn)，將所述判斷節(jié)點(diǎn)作為分支節(jié)點(diǎn)；

根據(jù)所述分支節(jié)點(diǎn)、所述待測智能合約對應(yīng)的符號集合，生成所述符號執(zhí)行樹。

7.一種智能合約的測試裝置，其特征在于，所述裝置包括：生成模塊、篩選模塊、確定模塊、測試模塊；

所述生成模塊，用于生成待測智能合約對應(yīng)的符號執(zhí)行樹；

所述篩選模塊，用于采用業(yè)務(wù)模型約束集對所述符號執(zhí)行樹中的測試路徑進(jìn)行篩選，獲取目標(biāo)測試路徑，其中，所述業(yè)務(wù)模型約束集包含根據(jù)業(yè)務(wù)數(shù)據(jù)獲取的關(guān)鍵業(yè)務(wù)路徑；

所述確定模塊，用于根據(jù)所述目標(biāo)測試路徑，確定測試用例的相關(guān)數(shù)據(jù)；

所述測試模塊，用于根據(jù)所述測試用例的相關(guān)數(shù)據(jù)對所述待測智能合約進(jìn)行測試，獲取測試結(jié)果；

所述業(yè)務(wù)模型約束集包括：業(yè)務(wù)關(guān)鍵詞對應(yīng)的權(quán)重信息；

所述篩選模塊，還用于根據(jù)所述業(yè)務(wù)關(guān)鍵詞對應(yīng)的權(quán)重信息，確定所述符號執(zhí)行樹中各分支路徑的權(quán)重；根據(jù)各分支路徑的權(quán)重，選擇滿足約束條件指示的權(quán)重要求的所述目標(biāo)測試路徑；所述業(yè)務(wù)關(guān)鍵詞為提煉關(guān)鍵業(yè)務(wù)路徑時使用的關(guān)鍵詞。

8.一種計算機(jī)設(shè)備，其特征在于，包括：存儲器、處理器，所述存儲器中存儲有可在所述處理器上運(yùn)行的計算機(jī)程序，所述處理器執(zhí)行所述計算機(jī)程序時，實(shí)現(xiàn)上述權(quán)利要求1至6任一項(xiàng)所述的方法的步驟。

9.一種存儲介質(zhì)，其特征在于，所述存儲介質(zhì)上存儲有計算機(jī)程序，該計算機(jī)程序被處理器執(zhí)行時，實(shí)現(xiàn)權(quán)利要求1至6中任一項(xiàng)所述方法的步驟。