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 条
  • [1] Test Case Generation for Java']Java Bytecode Programs Annotated with BML Specifications
    Achour, Safaa
    Benattou, Mohammed
    PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2016, : 605 - 610
  • [2] Constraint-based test input generation for Java bytecode
    Université de Rennes 1, Rennes, France
    不详
    Proc. Int. Symp. Softw. Reliab. Eng., 1600, (131-140):
  • [3] Performance Regression Testing on the Java']Java Virtual Machine using Statistical Test Oracles
    Hewson, Fergus
    Dietrich, Jens
    Marsland, Stephen
    2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 18 - 27
  • [4] PET: A Partial Evaluation-based Test Case Generation Tool for Java']Java Bytecode
    Albert, Elvira
    Gomez-Zamalloa, Miguel
    Puebla, German
    PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2010, : 25 - 28
  • [5] PYTHIA: Generating Test Cases with Oracles for Java']JavaScript Applications
    Mirshokraie, Shabnam
    Mesbah, Ali
    Pattabiraman, Karthik
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 610 - 615
  • [6] Decompiling Boolean Expressions from Java']Java™ Bytecode
    Nanda, Mangala Gowri
    Arun-Kumar, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 59 - 69
  • [7] Mining Auto-Generated Test Inputs for Test Oracle
    Xu, Weifeng
    Wang, Hanlin
    Ding, Tao
    PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 89 - 94
  • [8] From Specification to Optimisation: An Architecture for Optimisation of Java']Java Bytecode
    Warburton, Richard
    Kalvala, Sara
    COMPILER CONSTRUCTION, PROCEEDINGS, 2009, 5501 : 17 - 31
  • [9] Reconstruction of Type Information from Java']Java Bytecode for Component Compatibility
    Bauml, Jaroslav
    Brada, Premek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (04) : 3 - 18
  • [10] VMVM: Unit Test Virtualization for Java']Java
    Bell, Jonathan
    Kaiser, Gail
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 576 - 579