Mining Test Oracles for Test Inputs Generated from Java']Java Bytecode

被引:6
|
作者
Xu, Weifeng [1 ]
Ding, Tao [1 ]
Wang, Hanlin [1 ]
Xu, Dianxiang [2 ]
机构
[1] Gannon Univ, Comp & Informat Sci Dept, Erie, PA 16541 USA
[2] Dakota State Univ, Natl Ctr Protect Financial Infrastruct, Madison, SD 57042 USA
关键词
Software testing; test oracle; mining; decision tree; Jimple;
D O I
10.1109/COMPSAC.2013.8
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Search-based test generation can automatically produce a large volume of test inputs. However, it is difficult to define the test oracle for each of the test inputs. This paper presents a mining approach to building a decision tree model according to the test inputs generated from Java bytecode. It converts Java bytecode into the Jimple representation, extracts predicates from the control flow graph of the Jimple code, and uses these predicates as attributes for organizing training data to build a decision tree. Our case studies show that the mining approach generated accurate behavioral models and that test oracles derived from these models were able to kill 94.67% of the mutants with injected faults.
引用
收藏
页码:27 / 32
页数:6
相关论文
共 50 条
  • [31] Examining JPython']Python - A Java']Java test engine puts Python']Python to the test
    Angell, K
    DR DOBBS JOURNAL, 1999, 24 (04): : 78 - +
  • [32] JTeC: A Large Collection of Java']Java Test Classes for Test Code Analysis and Processing
    Coro, Federico
    Verdecchia, Roberto
    Cruciani, Emilio
    Miranda, Breno
    Bertolino, Antonia
    2020 IEEE/ACM 17TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSR, 2020, : 578 - 582
  • [33] Provably correct control flow graphs from Java']Java bytecode programs with exceptions
    Amighi, Afshin
    Gomes, Pedro de Carvalho
    Gurov, Dilian
    Huisman, Marieke
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (06) : 653 - 684
  • [34] Sound Control Flow Graph Extraction from Incomplete Java']Java Bytecode Programs
    Gomes, Pedro de Carvalho
    Picoco, Attilio
    Gurov, Dilian
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 215 - 229
  • [35] Design of translator for generating Java']Java bytecode from thread code of multithreaded models
    Lee, KL
    Kim, KT
    Yang, CM
    Yoo, WH
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 839 - 843
  • [36] Test-driven development for generated portable Java']Javascript apps
    Bouragadi, Noury
    Mason, Dave
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 161 : 2 - 17
  • [37] Evaluation of revocation systems with a JAVA']JAVA test-bed
    Muñoz, JL
    Forné, J
    Esparza, O
    Soriano, M
    Jodra, D
    14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 450 - 454
  • [38] Java']Java Code Coverage Test Technology Based on EMMA
    Liu, Yanyun
    Hu, Bin
    Rao, Liping
    Pan, Lin
    MODERN TECHNOLOGIES IN MATERIALS, MECHANICS AND INTELLIGENT SYSTEMS, 2014, 1049 : 2069 - 2072
  • [39] First Java']Java-based test, measurement toolkit
    不详
    HYDROCARBON PROCESSING, 1997, 76 (06): : 37 - 37
  • [40] Test Simulation System Design based on Java']Java language
    Pu Xiaowei
    PROCEEDINGS OF 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA 2015), 2015, : 917 - 920