Skip to main content

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

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNCCN,volume 5826)


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.


  • IEEE Computer Society
  • Java Program
  • Coverage Criterion
  • Code Coverage
  • Test Case Selection

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Secaucus (1990)

    CrossRef  MATH  Google Scholar 

  2. Randell, B.: The evolution of the recovery block concept. In: Lyu (ed.) Software Fault Tolerance, pp. 1–21 (1995)

    Google Scholar 

  3. Badlaney, J., Ghatol, R., Jadhwani, R.: An introduction to data-flow testing. Technical Report (2006) 22, (Last access Feburary 2009)

  4. Weyuker, E.J.: The evaluation of program-based software test data adequacy criteria. Commun. ACM 31(6), 668–675 (1988)

    MathSciNet  CrossRef  Google Scholar 

  5. McGregor, J.D., Korson, T.D.: Integrated object-oriented testing and development processes. Commun. ACM 37(9), 59–77 (1994)

    CrossRef  Google Scholar 

  6. Chen, M.H., Kao, H.M.: Testing object-oriented programs – an integrated approach. In: Proceedings of ISSRE 1999, p. 73. IEEE Computer Society, Los Alamitos (1999)

    Google Scholar 

  7. Kung, D., Suchak, N., Hsia, P., Toyoshima, Y., Chen, C.: Object state testing for object-oriented programs. In: Proceedings of COMPSAC 1995, p. 232. IEEE Computer Society, Los Alamitos (1995)

    Google Scholar 

  8. Sinha, S., Harrold, M.J.: Criteria for testing exception-handling constructs in Java programs. In: Proceedings of ICSM 1999, p. 265. IEEE Computer Society, Los Alamitos (1999)

    Google Scholar 

  9. Sinha, S., Harrold, M.J.: Analysis of programs with exception-handling constructs. In: Proceedings of ICSM 1998, p. 348. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  10. Cristian, F.: Exception handling and software fault tolerance. In: FTCS-25: Highlights from Twenty-Five Years, p. 120. IEEE Computer Society, Los Alamitos (1995)

    Google Scholar 

  11. Xavier, K.S., Hanazumi, S., de Melo, A.C.V.: Using formal verification to reduce test space of fault-tolerant programs. In: Proceedings of SEFM 2008, pp. 181–190. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. FATES TestCom 2009 2009. Lecture Notes in Computer Science, vol 5826. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05030-5

  • Online ISBN: 978-3-642-05031-2

  • eBook Packages: Computer ScienceComputer Science (R0)