Establishing structural testing criteria for Java bytecode

  • Authors:

  • A. M. R. Vincenzi;M. E. Delamaro;J. C. Maldonado;W. E. Wong

  • Affiliations:

  • Instituto de Informática (INF/UFG), Goiânia, GO, Brazil;Centro Universitário Eurípides de Marília (UNIVEM), Marília, SP, Brazil;Instituto de Ciências Matemáticas e de Computação (ICMC/USP), São Carlos, SP, Brazil;The University of Texas at Dallas (UTD), Richardson, TX, U.S.A.

  • Venue:
  • Software—Practice & Experience
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes intra-method control-flow and data-flow testing criteria for the Java bytecode language. Six testing criteria are considered for the generation of testing requirements: four control-flow and two data-flow based. The main reason to work at a lower level is that, even when there is no source code, structural testing requirements can still be derived and used to assess the quality of a given test set. It can be used, for instance, to perform structural testing on third-party Java components. In addition, the bytecode can be seen as an intermediate language, so the analysis performed at this level can be mapped back to the original high-level language that generated the bytecode. To support the application of the testing criteria, we have implemented a tool named JaBUTi (Java Bytecode Understanding and Testing). JaBUTi is used to illustrate the application of the ideas developed in this paper. Copyright © 2006 John Wiley & Sons, Ltd.