.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 条
  • [1] .NET/C# instrumentation for search-based software testing
    Golmohammadi, Amid
    Zhang, Man
    Arcuri, Andrea
    SOFTWARE QUALITY JOURNAL, 2023, 31 (04) : 1439 - 1465
  • [2] SSBSE Summary of.NET/C# Instrumentation for Search-Based Software Testing
    Golmohammadi, Amid
    Zhang, Man
    Arcuri, Andrea
    SEARCH-BASED SOFTWARE ENGINEERING, SSBSE 2023, 2024, 14415 : XVII - XVIII
  • [3] JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs
    Zhang, Man
    Belhadi, Asma
    Arcuri, Andrea
    Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022, 2022, : 105 - 115
  • [4] Java']JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs
    Zhang, Man
    Belhadi, Asma
    Arcuri, Andrea
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 105 - 115
  • [5] The Cloudification Perspectives of Search-based Software Testing
    Martin, Diego
    Panichella, Sebastiano
    2019 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2019), 2019, : 5 - 6
  • [6] SBSTFrame: a Framework to Search-Based Software Testing
    Machado, Bruno N.
    Camilo-Junior, Celso G.
    Rodrigues, Cassio L.
    Quijano, Eduardo H. D.
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 4106 - 4111
  • [7] Search-Based Secure Software Testing: A Survey
    Khari, Manju
    Vaishali
    Kumar, Manoj
    SOFTWARE ENGINEERING (CSI 2015), 2019, 731 : 375 - 381
  • [8] Broadening the Search in Search-Based Software Testing: It Need Not Be Evolutionary
    Feldt, Robert
    Poulding, Simon
    2015 IEEE/ACM 8TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2015, : 1 - 7
  • [9] Defect Prediction Guided Search-Based Software Testing
    Perera, Anjana
    Aleti, Aldeida
    Bohme, Marcel
    Turhan, Burak
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 448 - 460
  • [10] The Maturation of Search-Based Software Testing: Successes and Challenges
    Cohen, Myra B.
    2019 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2019), 2019, : 13 - 14