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:20 20mTalk | 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:40 20mTalk | The New Approach to IT Testing Industry Showcase | ||
03:00 10mTalk | 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:20 5mTalk | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation Tool Demonstrations | ||
10:25 5mTalk | 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:30 5mTalk | 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:35 5mTalk | 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:40 5mTalk | 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, Netherlands DOI Pre-print Media Attached | ||
10:45 5mTalk | 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:50 30mLive Q&A | Q&A or Discussion Tool Demonstrations |