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 条
  • [1] White-box testing
    Cole, O
    [J]. DR DOBBS JOURNAL, 2000, 25 (03): : 23 - +
  • [2] A practical guide to SQL white-box testing
    Tuya, Javier
    Suarez-Cabal, M. Jose
    de la Riva, Claudio
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (04) : 36 - 41
  • [3] Temporal White-Box Testing Using Evolutionary Algorithms
    Al Moubayed, Noura
    Windisch, Andreas
    [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 150 - +
  • [4] Automatic generation of database instances for white-box testing
    Zhang, B
    Xu, C
    Cheung, SC
    [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 161 - 165
  • [5] Simplified Way of Learning White-Box Testing with JUnit
    Sung, Keum-Young
    [J]. ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURETECH & MUE, 2016, 393 : 783 - 789
  • [6] White-box Fairness Testing through Adversarial Sampling
    Zhang, Peixin
    Wang, Jingyi
    Sun, Jun
    Dong, Guoliang
    Wang, Xinyu
    Wang, Xingen
    Dong, Jin Song
    Dai, Ting
    [J]. 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 949 - 960
  • [7] Mutation Testing of Smart Contracts at Scale
    Hartel, Pieter
    Schumi, Richard
    [J]. TESTS AND PROOFS (TAP 2020), 2020, 12165 : 23 - 42
  • [8] Practical Mutation Testing for Smart Contracts
    Honig, Joran J.
    Everts, Maarten H.
    Huisman, Marieke
    [J]. DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2019, 11737 : 289 - 303
  • [9] White-box benchmarking
    Hernández, E
    Hey, T
    [J]. EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 220 - 223
  • [10] Benefits of software measures for evolutionary white-box testing
    Lammermann, Frank
    Wappler, Stefan
    [J]. GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2, 2005, : 1083 - 1084