Graph-Based Seed Object Synthesis for Search-Based Unit Testing
Fri 27 Aug 2021 04:00 - 04:10 - Testing—Test Generation 1 Chair(s): Shiva Nejati
Search-based software testing (SBST) generates tests using search algorithms guided by measurements gauging how far a test case is away from exercising a
coverage goal. The effectiveness of SBST largely depends on the continuity and monotonicity of the fitness landscape decided by these measurements and the
search operators. Unfortunately, the fitness landscape is challenging when the function under test takes object inputs, as classical measurement hardly provide guidance for constructing legitimate object inputs. To overcome this problem, we propose test seeds, i.e., test code skeletons of legitimate objects which enable the use of classical measurements. Given a target branch in a function under test, we first statically analyze the function to build an object construction graph that captures the relation between the operands of the target method and the states of their relevant object inputs. Based on the graph, we synthesize test template code where each ``slot'' is a mutation point for the search algorithm. This approach can be seamlessly integrated with existing SBST algorithms, and we implemented EvoObj on top of EvoSuite. Our experiments show that EvoObj outperforms EvoSuite with statistical significance on 2750 methods over 103 open source Java projects using state-of-the-art SBST algorithms.
Thu 26 AugDisplayed time zone: Athens change
16:00 - 17:00 | Testing—Test Generation 1Journal First / Research Papers +12h Chair(s): Rachel Tzoref-Brill IBM Research, Myra Cohen Iowa State University | ||
16:00 10mPaper | Graph-Based Seed Object Synthesis for Search-Based Unit Testing Research Papers Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore DOI Pre-print | ||
16:10 10mPaper | An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition'' Journal First Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia Link to publication DOI | ||
16:20 10mPaper | Output Sampling for Output Diversity in Automatic Unit Test Generation Journal First Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London | ||
16:30 30mLive Q&A | Q&A (Testing—Test Generation 1) Research Papers |
Fri 27 AugDisplayed time zone: Athens change
04:00 - 05:00 | Testing—Test Generation 1Research Papers / Journal First Chair(s): Shiva Nejati University of Ottawa | ||
04:00 10mPaper | Graph-Based Seed Object Synthesis for Search-Based Unit Testing Research Papers Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore DOI Pre-print | ||
04:10 10mPaper | An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition'' Journal First Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia Link to publication DOI | ||
04:20 10mPaper | Output Sampling for Output Diversity in Automatic Unit Test Generation Journal First Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London | ||
04:30 30mLive Q&A | Q&A (Testing—Test Generation 1) Research Papers |