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 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
02:20 - 03:20: Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo Chair(s): Xusheng XiaoCase Western Reserve University | |||
02:20 - 02:40 Talk | Legion: Best-First Concolic Testing Research Papers Dongge LiuThe Univeristy of Melbourne, Gidon ErnstLMU Munich, Toby MurrayUniversity of Melbourne, Australia, Benjamin I.P. RubinsteinUniversity of Melbourne | ||
02:40 - 03:00 Talk | The New Approach to IT Testing Industry Showcase | ||
03:00 - 03:10 Talk | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation Tool Demonstrations |
Wed 23 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
10:20 - 11:20: Tool Demo Showcase (2)Tool Demonstrations at Wombat Chair(s): Junjie ChenTianjin University | |||
10:20 - 10:25 Talk | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation Tool Demonstrations | ||
10:25 - 10:30 Talk | STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis Tool Demonstrations Zhenfei CaoNanjing University, Xu WangNanjing University, Shengcheng YuNanjing University, China, Yexiao YunNanjing University, Chunrong FangNanjing University, China | ||
10:30 - 10:35 Talk | ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies Tool Demonstrations hao wang, Guoping RongNanjing University, Yangchen XuNanjing University, Yong YouMeituan-Dianping Group | ||
10:35 - 10:40 Talk | PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects Tool Demonstrations Omar JavedUniversità della Svizzera italiana, Joshua Heneage DawesUniversity of Manchester and CERN, Marta HanUniversity of Zagreb and CERN, Giovanni FranzoniCERN, Andreas PfeifferCERN, Giles RegerUniversity of Manchester, Walter BinderUniversity of Lugano, Switzerland | ||
10:40 - 10:45 Talk | Botsing, a Search-based Crash Reproduction Framework for Java Tool Demonstrations Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Annibale PanichellaDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands DOI Pre-print Media Attached | ||
10:45 - 10:50 Talk | Speeding up GUI Testing by On-Device Test Generation Tool Demonstrations Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Jenny RauCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA, Germany | ||
10:50 - 11:20 Live Q&A | Q&A or Discussion Tool Demonstrations |