Volume 13 Number 9 (Sep. 2018)
Home > Archive > 2018 > Volume 13 Number 9 (Sep. 2018) >
JCP 2018 Vol.13(9): 1098-1114 ISSN: 1796-203X
doi: 10.17706/jcp.13.9.1098-1114

A Model Based Testing Approach for Java Bytecode Programs

Safaa Achour, Mohammed Benattou
LASTID Laboratory, Ibn Tofail University, Kénitra, Morocco.
Abstract—In this paper, we propose an approach to detect non-conformance between a given Java Bytecode program and its specification in the context of unit testing. The main goal of the proposed work is to use the specification pre-state, i.e. the invariant and the precondition, to guide the generation of the test data and the post-state, i.e. invariant and post-condition, as test oracle. In other hand, the code structure makes it possible to know the execution paths of testing method that not be conform to its specification. However, the specification and the System Under Test are not at the same level of abstraction. In the sense, we propose to express the specification at the Bytecode level using static Bytecode instrumentation.

Index Terms—Java Bytecode, model-based testing, static Bytecode instrumentation, constraint model.

[PDF]

Cite: Safaa Achour, Mohammed Benattou, "A Model Based Testing Approach for Java Bytecode Programs," Journal of Computers vol. 13, no. 9, pp. 1098-1114, 2018.

General Information

ISSN: 1796-203X
Frequency: Monthly (2006-2014); Bimonthly (Since 2015)
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 13, 2018 News!

    Vol 13, No 10 has been published with online version   [Click]

  • Aug 06, 2018 News!

    Vol 13, No 1-No 8 has been indexed by EI (Inspec)   [Click]

  • Aug 06, 2018 News!

    Vol 12, No 6 has been indexed by EI (Inspec)   [Click]

  • Apr 24, 2018 News!

    Vol 13, No 9 has been published with online version   [Click]

  • Dec 26, 2017 News!

    Vol 12, No 1-No 5 has been indexed by EI (Inspec)     [Click]

  • Read more>>