Coverage testing of Java programs and components

  • Authors:

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

  • Affiliations:

  • Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo and Centro Universitário Eurípides de Marília, SP, Brazil;Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, Av. Trab. São Carlense, 400, Cx. Postal 668, 13560-970 São Carlos, SP, Brazil;Department of Computer Science, University of Texas at Dallas, 2601 North Floyd Road, P.O. Box 830688, Richardson, TX;Centro Universitário Eurípides de Marília, Av. Hygino Muzzi Filho, 529, Cx. Postal 2041, 17525-901 Marília, SP, Brazil

  • Venue:
  • Science of Computer Programming - Special issue on new software composition concepts
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become available for testing Java programs and their components. These tools support mostly functional and control-flow based structural criteria. In this paper we explore control-flow and data-flow based coverage criteria to support the testing of Java programs and/or components. We also describe a testing tool, named JaBUTi, which can be used by both the component developer and the component user to test Java-based components and/or systems. To achieve this goal, the tool works at the bytecode level such that no source code is required during the testing activity. We illustrate these ideas and concepts with an example extracted from the literature.