基于蜕变测试的区块链智能合约漏洞检测方法

作     者：陈锦富 王震鑫 蔡赛华 冯乔伟 陈宇豪 许容天 Patrick Kwaku Kudjo CHEN Jinfu;WANG Zhenxin;CAI Saihua;FENG Qiaowei;CHEN Yuhao;XU Rongtian;Patrick Kwaku Kudjo

作者机构：江苏大学计算机科学与通信工程学院江苏镇江212013 江苏省工业网络安全技术重点实验室江苏镇江212013 威斯康星国际大学学院商业计算系阿克拉RE 00233 

基　　金：国家重点研发计划基金资助项目(No.2020YFB1005501) 国家自然科学基金资助项目(No.62172194,No.62202206,No.U1836116) 江苏省自然科学基金资助项目(No.BK20220515,No.BK20202001) 中国博士后科学基金资助项目(No.2023T160275) 江苏省青蓝工程基金资助项目 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2023年第44卷第10期

页      码：164-176页

摘      要：针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。

主 题 词：软件测试 区块链 智能合约 安全漏洞 蜕变测试 

学科分类：0301[法学-法学类] 08[工学] 0835[0835] 0701[理学-数学类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2023190

馆 藏 号：203124334...