Cited By
View all- Elberzhager FRosbach AMüNch JEschbach R(2018)Reducing test effortInformation and Software Technology10.1016/j.infsof.2012.04.00754:10(1092-1106)Online publication date: 29-Dec-2018
OConGraX --- Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
Pages 229 - 234
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.
References
[1]
Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Secaucus (1990).
[2]
Randell, B.: The evolution of the recovery block concept. In: Lyu (ed.) Software Fault Tolerance, pp. 1-21 (1995).
[3]
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).
[4]
Weyuker, E.J.: The evaluation of program-based software test data adequacy criteria. Commun. ACM 31(6), 668-675 (1988).
[5]
McGregor, J.D., Korson, T.D.: Integrated object-oriented testing and development processes. Commun. ACM 37(9), 59-77 (1994).
[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).
[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).
[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).
[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).
[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).
[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).
- OConGraX --- Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
Recommendations
Generating integration test cases automatically
FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineeringIn this thesis, I investigate the problem of automatically generating test cases. In particular, I focus on the problem of automatic generation of integration test cases from unit test cases. I start from the observation that software is usually ...
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction
Software testing is a critical part of software development. As new test cases are generated over time due to software modifications, test suite sizes may grow significantly. Because of time and resource constraints for testing, test suite minimization ...
Generating User Acceptance Test Plans from Test Cases
COMPSAC '07: Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02There are numerous studies on generating test cases from classifications. These test cases consists of related classes from different classifications. On the other hand, a User Acceptance Test Plan (UAT) consist of test plans. Each of these test plans ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 03 November 2009
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 06 Jan 2025
Other Metrics
Citations
Cited By
View all- Elberzhager FRosbach AMüNch JEschbach R(2018)Reducing test effortInformation and Software Technology10.1016/j.infsof.2012.04.00754:10(1092-1106)Online publication date: 29-Dec-2018