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
Abbreviated Title: J.Comput.
Frequency: Monthly
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
  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Jul 19, 2019 News!

    Vol 14, No 7 has been published with online version   [Click]

  • Jun 21, 2019 News!

    Vol 14, No 6 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 5 has been published with online version 7 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Read more>>