Vulnerability detection method for blockchain smart contracts based on metamorphic testing
Aimed at the defects of existing test methods, a vulnerability detection method for blockchain smart contracts based on metamorphic testing was proposed, which could generate test cases for specific functions in blockchain smart contracts to detect possible vulnerabilities.According to the possible...
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2023-10-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2023190/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841540042033463296 |
|---|---|
| author | Jinfu CHEN Zhenxin WANG Saihua CAI Qiaowei FENG Yuhao CHEN Rongtian XU KwakuKudjo Patrick |
| author_facet | Jinfu CHEN Zhenxin WANG Saihua CAI Qiaowei FENG Yuhao CHEN Rongtian XU KwakuKudjo Patrick |
| author_sort | Jinfu CHEN |
| collection | DOAJ |
| description | Aimed at the defects of existing test methods, a vulnerability detection method for blockchain smart contracts based on metamorphic testing was proposed, which could generate test cases for specific functions in blockchain smart contracts to detect possible vulnerabilities.According to the possible security vulnerabilities, different metamorphosis relationships were designed and then metamorphic testing was performed.Through verifying whether the metamorphic relationship between the source test case and the subsequent test case was satisfied, whether the smart contract had related security vulnerabilities was judged.The experimental results show that the proposed method can effectively detect the security vulnerabilities in the smart contracts. |
| format | Article |
| id | doaj-art-57e3ddf507db4df9899f0d4a3eb7a8cf |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2023-10-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-57e3ddf507db4df9899f0d4a3eb7a8cf2025-01-14T06:23:34ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2023-10-014416417659388426Vulnerability detection method for blockchain smart contracts based on metamorphic testingJinfu CHENZhenxin WANGSaihua CAIQiaowei FENGYuhao CHENRongtian XUKwakuKudjo PatrickAimed at the defects of existing test methods, a vulnerability detection method for blockchain smart contracts based on metamorphic testing was proposed, which could generate test cases for specific functions in blockchain smart contracts to detect possible vulnerabilities.According to the possible security vulnerabilities, different metamorphosis relationships were designed and then metamorphic testing was performed.Through verifying whether the metamorphic relationship between the source test case and the subsequent test case was satisfied, whether the smart contract had related security vulnerabilities was judged.The experimental results show that the proposed method can effectively detect the security vulnerabilities in the smart contracts.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2023190/software testingblockchainsmart contractsecurity vulnerabilitymetamorphic testing |
| spellingShingle | Jinfu CHEN Zhenxin WANG Saihua CAI Qiaowei FENG Yuhao CHEN Rongtian XU KwakuKudjo Patrick Vulnerability detection method for blockchain smart contracts based on metamorphic testing Tongxin xuebao software testing blockchain smart contract security vulnerability metamorphic testing |
| title | Vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| title_full | Vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| title_fullStr | Vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| title_full_unstemmed | Vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| title_short | Vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| title_sort | vulnerability detection method for blockchain smart contracts based on metamorphic testing |
| topic | software testing blockchain smart contract security vulnerability metamorphic testing |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2023190/ |
| work_keys_str_mv | AT jinfuchen vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT zhenxinwang vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT saihuacai vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT qiaoweifeng vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT yuhaochen vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT rongtianxu vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting AT kwakukudjopatrick vulnerabilitydetectionmethodforblockchainsmartcontractsbasedonmetamorphictesting |