.NET/C# instrumentation for search-based software testing

被引:0
|
作者
Amid Golmohammadi
Man Zhang
Andrea Arcuri
机构
[1] Kristiania University College,
[2] Oslo Metropolitan University,undefined
来源
Software Quality Journal | 2023年 / 31卷
关键词
.NET instrumentation; White-box test generation; SBST; RESTful APIs;
D O I
暂无
中图分类号
学科分类号
摘要
C# is one of the most widely used programming languages. However, to the best of our knowledge, there has been no work in the literature aimed at enabling search-based software testing techniques for applications running on the .NET platform, like the ones written in C#. In this paper, we propose a search-based approach and an open source tool to enable white-box testing for C# applications. The approach is integrated with a .NET bytecode instrumentation, in order to collect code coverage at runtime during the search. In addition, by taking advantage of Branch Distance, we define heuristics to better guide the search, e.g., how heuristically close it is to cover a branch in the source code. To empirically evaluate our technique, we integrated our tool into the EvoMaster test generation tool and conducted experiments on three .NET RESTful APIs as case studies. Results show that our technique significantly outperforms gray-box testing tools in terms of code coverage.
引用
收藏
页码:1439 / 1465
页数:26
相关论文
共 50 条
  • [31] A Model Independent S/W Framework for Search-Based Software Testing
    Oh, Jungsup
    Baik, Jongmoon
    Lim, Sung-Hwa
    SCIENTIFIC WORLD JOURNAL, 2014,
  • [32] Robustness in Search-Based Software Remodularization
    Amarjeet
    Chhabra, Jitender Kumar
    2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS), 2017, : 611 - 615
  • [33] A survey on search-based software design
    Raiha, Outi
    COMPUTER SCIENCE REVIEW, 2010, 4 (04) : 203 - 249
  • [34] Search-based refactoring for software maintenance
    O'Keeffe, Mark
    Cinneide, Mel O.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (04) : 502 - 516
  • [35] Design and analysis of different alternating variable searches for search-based software testing
    Kempka, Joseph
    McMinn, Phil
    Sudholt, Dirk
    THEORETICAL COMPUTER SCIENCE, 2015, 605 : 1 - 20
  • [36] Search-based Software Testing and Test Data Generation for a Dynamic Programming Language
    Mairhofer, Stefan
    Feldt, Robert
    Torkar, Richard
    GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2011, : 1859 - 1866
  • [37] Preface for the Special Issue on SBST'22: Search-Based Software Testing - Tools
    Gambi, Alessio
    Panichella, Sebastiano
    Guizzo, Giovani
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 233
  • [38] Tester interactivity makes a difference in search-based software testing: A controlled experiment
    Marculescu, Bogdan
    Poulding, Simon
    Feldt, Robert
    Petersen, Kai
    Torkar, Richard
    INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 78 : 66 - 82
  • [39] EXSYST: Search-Based GUI Testing
    Gross, Florian
    Fraser, Gordon
    Zeller, Andreas
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1423 - 1426
  • [40] Search-Based Testing of Reinforcement Learning
    Tappler, Martin
    Cordoba, Filip Cano
    Aichernig, Bernhard K.
    Koenighofer, Bettina
    PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022, 2022, : 503 - 510