MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Wed 23 Sep 2020 10:20 - 10:25 at Wombat - Tool Demo Showcase (2) Chair(s): Junjie Chen
In object-oriented programming, a method is pure if calling the method does not change object states that exist in the pre-states of the method call. Pure methods are widely-used in automatic techniques, including test generation, complier optimization, and program repair. Due to the source code dependency, it is infeasible to completely and accurately identify all pure methods. Instead, existing techniques such as ReImInfer are designed to identify a subset of accurate results of pure method and mark the other methods as unknown ones. In this paper, we designed and implemented MetPurity , a learning-based tool of pure method identification. Given all methods in a project, MetPurity labels a training set via automatic program analysis and builds a binary classifier (implemented with the random forest classifier) based on the training set. This classifier is used to predict the purity for all the other methods (i.e., unknown ones) in the same project. Preliminary evaluation on four open-source Java projects shows that MetPurity can provide a list of identified pure methods with a low error rate. Applying MetPurity to EvoSuite can increase the number of killed mutants in the test generation of EvoSuite. A demo video of this tool can be found at https://youtu.be/ Ac3cmjn4CCs/; the prototype and evaluation data are available at http://cstar.whu.edu.cn/p/metpurity/.
Tue 22 SepDisplayed time zone: (UTC) Coordinated Universal Time change
| 02:20 - 03:20 | Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo Chair(s): Xusheng Xiao Case Western Reserve University | ||
| 02:2020m Talk | Legion: Best-First Concolic Testing Research Papers Dongge Liu The Univeristy of Melbourne, Gidon Ernst LMU Munich, Toby Murray University of Melbourne, Australia, Benjamin I.P. Rubinstein University of Melbourne | ||
| 02:4020m Talk | The New Approach to IT Testing Industry Showcase | ||
| 03:0010m Talk | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation Tool Demonstrations | ||
Wed 23 SepDisplayed time zone: (UTC) Coordinated Universal Time change
| 10:20 - 11:20 | |||
| 10:205m Talk | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation Tool Demonstrations | ||
| 10:255m Talk | STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis Tool Demonstrations Zhenfei Cao Nanjing University, Xu Wang Nanjing University, Shengcheng Yu Nanjing University, China, Yexiao Yun Nanjing University, Chunrong Fang Nanjing University, China | ||
| 10:305m Talk | ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies Tool Demonstrations hao wang , Guoping Rong Nanjing University, Yangchen Xu Nanjing University, Yong You Meituan-Dianping Group | ||
| 10:355m Talk | PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects Tool Demonstrations Omar Javed Università della Svizzera italiana, Joshua Heneage Dawes University of Manchester and CERN, Marta Han University of Zagreb and CERN, Giovanni Franzoni CERN, Andreas Pfeiffer CERN, Giles Reger University of Manchester, Walter Binder University of Lugano, Switzerland | ||
| 10:405m Talk | Botsing, a Search-based Crash Reproduction Framework for Java Tool Demonstrations Pouria Derakhshanfar Delft University of Technology, Xavier Devroey Delft University of Technology, Annibale Panichella Delft University of Technology, Andy Zaidman Delft University of Technology, Arie van Deursen Delft University of Technology, NetherlandsDOI Pre-print Media Attached | ||
| 10:455m Talk | Speeding up GUI Testing by On-Device Test Generation Tool Demonstrations Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Jenny Rau CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA, Germany | ||
| 10:5030m Live Q&A | Q&A or Discussion Tool Demonstrations | ||
