Search-Based Test Suite Generation for Rust

被引:1
|
作者
Tymofyeyev, Vsevolod [1 ]
Fraser, Gordon [1 ]
机构
[1] Univ Passau, Passau, Germany
关键词
Rust; Search-based testing; DynaMOSA;
D O I
10.1007/978-3-031-21251-2_1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Rust is a robust programming language which promises safety and performance at the same time. Despite its young age, it has already convinced many and has been one of the most popular programming languages among developers since its first release. However, like any other software, Rust programs need to be tested extensively. In this work, we propose the first search-based tool, called RUSTYUNIT, for automatic generation of unit tests for Rust programs. RusTYUNIT incorporates a compiler wrapper, which statically analyzes and instruments a given program to generate and evaluate tests targeting high code coverage using a many-objective genetic algorithm. An initial empirical study using 6 real-world open-source Rust libraries demonstrates the feasibility of our approach but also highlights important differences and open challenges for test generation for Rust programs.
引用
下载
收藏
页码:3 / 18
页数:16
相关论文
共 50 条
  • [1] Diversity in Search-Based Unit Test Suite Generation
    Albunian, Nasser M.
    SEARCH BASED SOFTWARE ENGINEERING, SSBSE 2017, 2017, 10452 : 183 - 189
  • [2] Improving Search-based Test Suite Generation with Dynamic Symbolic Execution
    Galeotti, Juan Pablo
    Fraser, Gordon
    Arcuri, Andrea
    2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2013, : 360 - 369
  • [3] A Search-Based Approach for Test Suite Generation from Extended Finite State Machines
    Rao, Sana
    Jahan, Hosney
    Liu, Dongmei
    PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATICS AND COMPUTING (PIC), VOL 1, 2016, : 82 - 87
  • [4] Search-Based Test Generation for Android Apps
    Arcuschin Moreno, Ivan
    2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), 2020, : 230 - 233
  • [5] Search-based software test data generation: a survey
    McMinn, P
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2004, 14 (02): : 105 - 156
  • [6] Seeding strategies in search-based unit test generation
    Rojas, Jose Miguel
    Fraser, Gordon
    Arcuri, Andrea
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (05): : 366 - 401
  • [7] Search-Based Test Data Generation for SQL Queries
    Castelein, Jeroen
    Aniche, Mauricio
    Soltani, Mozhan
    Panichella, Annibale
    van Deursen, Arie
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 1220 - 1230
  • [8] Search-based Data-flow Test Generation
    Vivanti, Mattia
    Mis, Andre
    Gorla, Alessandra
    Fraser, Gordon
    2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2013, : 370 - 379
  • [9] BINTEST - Binary search-based test case generation
    Beydeda, S
    Gruhn, V
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 28 - 33
  • [10] Model-based test suite generation for graph transformation system using model simulation and search-based techniques
    Kalaee, Akram
    Rafe, Vahid
    INFORMATION AND SOFTWARE TECHNOLOGY, 2019, 108 : 1 - 29