OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems

  • Paulo R. F. Nunes
  • Simone Hanazumi
  • Ana C. V. de Melo
Conference paper

DOI: 10.1007/978-3-642-05031-2_17

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5826)
Cite this paper as:
Nunes P.R.F., Hanazumi S., de Melo A.C.V. (2009) OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. In: Núñez M., Baker P., Merayo M.G. (eds) Testing of Software and Communication Systems. Lecture Notes in Computer Science, vol 5826. Springer, Berlin, Heidelberg

Abstract

The more complex to develop and manage systems the more software design faults increase, making fault-tolerant systems highly required. To ensure their quality, the normal and exceptional behaviors must be tested and/or verified. Software testing is still a difficult and costly software development task and a reasonable amount of effort has been employed to develop techniques for testing programs’ normal behaviors. For the exceptional behavior, however, there is a lack of techniques and tools to effectively test it. To help in testing and analyzing fault-tolerant systems, we present in this paper a tool that provides an automatic generation of data-flow test cases for objects and exception-handling mechanisms of Java programs and data/control-flow graphs for program analysis.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Paulo R. F. Nunes
    • 1
  • Simone Hanazumi
    • 1
  • Ana C. V. de Melo
    • 1
  1. 1.Department of Computer ScienceUniversity of São PauloSão PauloBrazil

Personalised recommendations