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.