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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Secaucus (1990)
Randell, B.: The evolution of the recovery block concept. In: Lyu (ed.) Software Fault Tolerance, pp. 1–21 (1995)
Badlaney, J., Ghatol, R., Jadhwani, R.: An introduction to data-flow testing. Technical Report (2006) 22, http://www.csc.ncsu.edu/research/tech/reports.php (Last access Feburary 2009)
Weyuker, E.J.: The evaluation of program-based software test data adequacy criteria. Commun. ACM 31(6), 668–675 (1988)
McGregor, J.D., Korson, T.D.: Integrated object-oriented testing and development processes. Commun. ACM 37(9), 59–77 (1994)
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)
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)
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)
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)
Cristian, F.: Exception handling and software fault tolerance. In: FTCS-25: Highlights from Twenty-Five Years, p. 120. IEEE Computer Society, Los Alamitos (1995)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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. https://doi.org/10.1007/978-3-642-05031-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-05031-2_17
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)