OConGraX - Automatically generating data-flow test cases for fault-tolerant systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5826 LNCS, Issue , 2009, Pages 229-234

  Nunes, Paulo R F ^a   Hanazumi, Simone ^a   De Melo, Ana C V ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; DATAFLOW; FAULT-TOLERANT SYSTEMS; FLOW GRAPH; JAVA PROGRAM; NORMAL BEHAVIOR; PROGRAM ANALYSIS; SOFTWARE DEVELOPMENT; TESTING PROGRAMS; DATA FLOW; FAULT TOLERANT SYSTEMS; TECHNIQUES AND TOOLS;

AUTOMATIC PROGRAMMING; AUTOMATIC TEST PATTERN GENERATION; COMMUNICATION SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING; TESTING; COMPUTER SOFTWARE; DATA TRANSFER; FLOW GRAPHS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

SOFTWARE DESIGN; SOFTWARE TESTING;

EID: 70549111709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05031-2_17     Document Type: Conference Paper

References (11)

1. Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Secau-cus (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 Alami-tos (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)