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 条
  • [21] Test-First Java']Java Concurrency for the Classroom
    Ricken, Mathias
    Cartwright, Robert
    SIGCSE 10: PROCEEDINGS OF THE 41ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2010, : 219 - 223
  • [22] Conformance test development with the Java']Java modeling language
    Sondergaard, Hans
    Korsholm, Stephan E.
    Ravn, Anders P.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
  • [23] How can I test Java']Java classes?
    Rangaraajan, K
    DR DOBBS JOURNAL, 1999, 24 (07): : 107 - 110
  • [24] String Test Data Generation for Java']Java Programs
    Wang, Miaomiao
    Cui, Baoquan
    Yan, Jiwei
    Yan, Jun
    Zhang, Jian
    2022 IEEE 33RD INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2022), 2022, : 251 - 262
  • [25] JFORTES: Java']Java FORmal unit TESt generation
    Bentes, Larissa
    Rocha, Herbert
    Valentin, Eduardo
    Barreto, Raimundo
    2016 VI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2016), 2016, : 16 - 23
  • [26] An integration test coverage metric for Java']Java programs
    Mukherjee, Debashis
    Mall, Rajib
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2019, 10 (04) : 576 - 601
  • [27] A Test Taxonomy Applied to the Mechanics of Java']Java Refactorings
    Counsell, Steve
    Swift, Stephen
    Hierons, Rob A.
    ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 497 - 502
  • [28] How Java']Java Programmers Test Exceptional Behavior
    Marcilio, Diego
    Furia, Carlo A.
    2021 IEEE/ACM 18TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2021), 2021, : 207 - 218
  • [29] JCAT:: An environment for attack and test on Java']Java Card™
    Chaumette, S
    Hatchondo, T
    Sauveron, D
    CCCT 2003, VOL 1, PROCEEDINGS: COMPUTING/INFORMATION SYSTEMS AND TECHNOLOGIES, 2003, : 270 - 275
  • [30] Concurrent Java']Java Test Generation as a Search Problem
    Eytani, Yaniv
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (04) : 57 - 72