OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
- 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
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.