White-Box Mutation Testing of Smart Contracts: A Quick Review

被引:0
|
作者
Maalej, Afef Jmal [1 ]
Lahami, Mariam [1 ]
机构
[1] Univ Sfax, Natl Sch Engn Sfax, ReDCAD Lab, BP 1173, Sfax 3038, Tunisia
关键词
White-Box testing; Mutation Testing; Blockchain; Smart Contract;
D O I
10.1007/978-3-031-49737-7_10
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Once being deployed on the blockchain, smart contracts cannot be altered, requiring more testing. A fault-based testing technique called mutation testing (MT) can significantly increase the utility of a test for smart contracts. MT is a type of white-box testing which is mainly used for unit testing. In fact, certain statements of the source code are changed to check if the test cases are able to find errors in source code. The main objective of MT is ensuring the quality of test cases in terms of robustness in the way that it should fail the mutated source code. In this paper, our goal is to identify and classify the main applications of mutation testing of smart contracts by providing a quick review on the application perspective of mutation testing based on a collection of several papers. In particular, we analysed in which quality assurance processes mutation testing of smart contracts is used, which mutation tools and which mutation operators are employed.
引用
收藏
页码:135 / 148
页数:14
相关论文
共 50 条
  • [31] Enhancing White-Box Search-Based Testing of RESTful APIs
    Golmohammadi, Amid
    [J]. 2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, : 9 - 12
  • [32] Deviant: A Mutation Testing Tool for Solidity Smart Contracts
    Chapman, Patrick
    Xu, Dianxiang
    Deng, Lin
    Xiong, Yin
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2019), 2019, : 319 - 324
  • [33] Mutation Testing for Integer Overflow in Ethereum Smart Contracts
    Jinlei Sun
    Song Huang
    Changyou Zheng
    Tingyong Wang
    Cheng Zong
    Zhanwei Hui
    [J]. Tsinghua Science and Technology, 2022, 27 (01) : 27 - 40
  • [34] RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts
    Ivanova, Y.
    Khritankov, A.
    [J]. 9TH INTERNATIONAL YOUNG SCIENTISTS CONFERENCE IN COMPUTATIONAL SCIENCE, YSC2020, 2020, 178 : 75 - 83
  • [35] SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
    Barboni, Morena
    Morichetta, Andrea
    Polini, Andrea
    [J]. 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST (AST 2021), 2021, : 50 - 59
  • [36] Mutation Testing for Integer Overflow in Ethereum Smart Contracts
    Sun, Jinlei
    Huang, Song
    Zheng, Changyou
    Wang, Tingyong
    Zong, Cheng
    Hui, Zhanwei
    [J]. TSINGHUA SCIENCE AND TECHNOLOGY, 2022, 27 (01) : 27 - 40
  • [37] ReSuMo: Regression Mutation Testing for Solidity Smart Contracts
    Barboni, Morena
    Casoni, Francesco
    Morichetta, Andrea
    Polini, Andrea
    [J]. QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2022, 2022, 1621 : 61 - 76
  • [38] On Security of a White-Box Implementation of SHARK
    Shi, Yang
    Fan, Hongfei
    [J]. INFORMATION SECURITY, ISC 2015, 2015, 9290 : 455 - 471
  • [39] White-box cryptography and an AES implementation
    Chow, S
    Eisen, P
    Johnson, H
    Van Orschot, PC
    [J]. SELECTED AREAS IN CRYPTOGRAPHY, 2003, 2595 : 250 - 270
  • [40] On the security goals of white-box cryptography
    Bock, Estuardo Alpirez
    Amadori, Alessandro
    Brzuska, Chris
    Michiels, Wil
    [J]. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, 2020 (02): : 327 - 357