Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
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 Times are displayed in time zone: Greenwich Mean Time : Lisbon change
11:00 - 12:30: RT2 - Test Generation InfanteResearch Papers at Infante +11h Chair(s): Marcelo d'AmorimFederal University of Pernambuco | |||
11:00 - 11:30 Talk | Language-Agnostic Generation of Compilable Test Programs Research Papers Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU) Link to publication DOI | ||
11:30 - 12:00 Talk | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators Research Papers Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara Link to publication DOI | ||
12:00 - 12:30 Talk | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection Research Papers Link to publication DOI |
22:00 - 23:30: RT2 - Test Generation InfanteResearch Papers at Infante Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | |||
22:00 - 22:30 Talk | Language-Agnostic Generation of Compilable Test Programs Research Papers Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU) Link to publication DOI | ||
22:30 - 23:00 Talk | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators Research Papers Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara Link to publication DOI | ||
23:00 - 23:30 Talk | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection Research Papers Link to publication DOI |