Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Sun 25 Oct 2020 12:00 - 12:30 at Infante - RT2 - Test Generation Infante Chair(s): Marcelo d'Amorim
Sun 25 Oct 2020 23:00 - 23:30 at Infante - RT2 - Test Generation Infante Chair(s): Corina S. Pasareanu

Search-based test generation is guided by feedback from one or more fitness functions-scoring functions that judge solution optimality. Choosing informative fitness functions is crucial to meeting the goals of a tester. Unfortunately, many goals-such as forcing the class-under-test to throw exceptions- do not have a known fitness function formulation. We propose that meeting such goals requires treating fitness function identification as a secondary optimization step. An adaptive algorithm that can vary the selection of fitness functions could adjust its selection throughout the generation process to maximize goal attainment, based on the current population of test suites. To test this hypothesis, we have implemented two reinforcement learning algorithms in the EvoSuite framework, and used these algorithms to dynamically set the fitness functions used during generation.We have evaluated our framework, EvoSuiteFIT, on a set of 386 real faults. EvoSuiteFIT discovers and retains more exception-triggering input and produces suites that detect a variety of faults missed by the other techniques. The ability to adjust fitness functions allows EvoSuiteFIT to make strategic choices that efficiently produce more effective test suites.

Sun 25 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
RT2 - Test Generation InfanteResearch Papers at Infante +11h
Chair(s): Marcelo d'Amorim Federal University of Pernambuco
11:00
30m
Talk
Language-Agnostic Generation of Compilable Test Programs
Research Papers
Patrick Kreutzer Friedrich-Alexander University Erlangen-Nürnberg, Stefan Kraus Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen Friedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
11:30
30m
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Research Papers
Kyle Dewey California State University, Northridge, Shant Hairapetian University of Oregon, Miroslav Gavrilov University of California, Santa Barbara
Link to publication DOI
12:00
30m
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Research Papers
Hussein Almulla University of South Carolina, Gregory Gay Chalmers and the University of Gothenburg
Link to publication DOI
22:00 - 23:30
RT2 - Test Generation InfanteResearch Papers at Infante
Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
22:00
30m
Talk
Language-Agnostic Generation of Compilable Test Programs
Research Papers
Patrick Kreutzer Friedrich-Alexander University Erlangen-Nürnberg, Stefan Kraus Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen Friedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
22:30
30m
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Research Papers
Kyle Dewey California State University, Northridge, Shant Hairapetian University of Oregon, Miroslav Gavrilov University of California, Santa Barbara
Link to publication DOI
23:00
30m
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Research Papers
Hussein Almulla University of South Carolina, Gregory Gay Chalmers and the University of Gothenburg
Link to publication DOI