Automatic detection and masking of nonatomic exception handling

IEEE Transactions on Software Engineering

Volumn 30, Issue 8, 2004, Pages 547-560

  Fetzer, Christof ^a   Felber, Pascal ^b   Högstedt, Karin ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b IEEE   (France)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SYSTEM RECOVERY; DATA HANDLING; ERROR CORRECTION; ERROR DETECTION; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; RELIABILITY;

AUTOMATIC DETECTION; ERROR HANDLING; HANDLING CODES; NONATOMIC EXCEPTION HANDLING; SOFTWARE PROGRAM VERIFICATION; TESTING TOOLS;

SOFTWARE ENGINEERING;

EID: 4344700755     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.35     Document Type: Article

References (32)

1. T. Cargill, "Exception Handling: A False Sense of Security," C++ Report, vol. 6, no. 9, Nov.-Dec. 1994
2. J.B. Goodenough, "Exception Handling: Issues and a Proposed Notation," Comm. ACM, vol. 18, no. 12, pp. 683-696, 1975.
3. P.M. Melliar-Smith and B. Randell, "Software Reliability: The Role of Programmed Exception Handling," Proc. ACM Conf. Language Design for Reliable Software, pp. 95-100, 1977.
4. J.X.B. Randell, "The Evolution of the Recovery Block Concept," Software Fault Tolerance, M. Lyu, ed., pp. 1-21, 1999.
5. "Exception Handling for a 21st Century Programming Language Proceedings," ACM SIGAda Ada Letters, vol. 21, no. 3, 2001.
6. Advances in Exception Handling Techniques. A. Romanovsky, C. Dony, J.L. Knudsen, and A. Tripathi, eds., Springer Verlag, 2001.
7. S.E. Mitchell, A. Burns, and A.J. Wellings, "Mopping Up Exceptions," ACM SIGAda Ada Letters, vol. 21, no. 3, pp. 80-92, 2001.
8. M. Lippert and C.V. Lopes, "A Study on Exception Detection and Handling Using Aspect-Oriented Programming," Proc. 22nd Int'l Conf. Software Eng., pp. 418-427, 2000.
9. F. Cristian, "Exception Handling and Tolerance of Software Faults," Software Fault Tolerance, M. Lyu, ed., pp. 81-107, 1995.
10. R. Maxion and R. Olszewski, "Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study," IEEE Trans. Software Eng., vol. 26, no. 9, pp. 888-906, Sept. 2000.
11. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.C. Fabre, J.C. Laprie, E. Martin, and D. Powell, "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, Feb. 1990.
12. Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki, J. Barton, D. Rancey, A. Robinson, and T. Lin, "Fiat - Fault Injection Based Automated Testing Environment," Proc. 18th Int'l Symp. Fault-Tolerant Computing (FTCS-18), pp. 102-107, June 1988.
13. J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson, "Goofi: Generic Object-Oriented Fault Injection Tool," Proc. Int'l Conf. Dependable Systems and Networks (DSN 2001), 2001.
14. N.P. Kropp, P.J. Koopman, and D.P. Siewiorek, "Automated Robustness Testing of Off-the-Shelf Software Components," Proc. Symp. Fault-Tolerant Computing (FTCS), pp. 230-239, 1998, http://citeseer.nj.nec.com/kropp98.automated.html.
15. J.-C. Fabre, M. Rodriguez, J. Arlat, and J.-M. Sizun, "Building Dependable Cots Microkernel-Based Systems Using Mafalda," Proc. 2000 Pacific Rim Int'l Symp. Dependable Computing (PRDC '00), pp. 85-94, Dec. 2000.
16. G.A. Kanawati, N.A. Kanawati, and J.A. Abraham, "Ferrari: A Tool for the Validation of System Dependability Properties," Proc. 22nd Int'l Symp. Fault Tolerant Computing (FTCS-22), pp. 336-344, 1992.
17. J. Carreira, H. Madeira, and J.G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers," Software Eng., vol. 24, no. 2, pp. 125-136, 1998, http://citeseer.nj.nec.com/carreira98xception.html.
18. S. Han, K. Shin, and H. Rosenberg, "Doctor: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems," 1995, http://citeseer.nj.nec.com/han95doctor.html.
19. P. Broadwell, N. Sastry, and J. Traupman, "Fig: A Prototype Tool for Online Verification of Recovery Mechanisms," Proc. ACM ICS SHAMAN Workshop, June 2002.
20. C. Fetzer and Z. Xiao, "An Automated Approach to Increasing the Robustness of C Libraries," Proc. Int'l Conf. Dependable Systems and Networks, June 2002, http://www.research.att.com/christof/papers/rwrapper.pdf.
21. J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
22. D. Skillicorn and D. Talia, "Models and Languages for Parallel Computation," ACM Computing Surveys, vol. 30, no. 2, pp. 123-169, 1998.
23. T. Harris and K. Fraser, "Language Support for Lightweight Transactions," Proc. 2003 ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003), pp. 388-402, Oct. 2003.
24. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-Oriented Programming," Proc. European Conf. Object-Oriented Programming, M. Akşit and S. Matsuoka, eds., vol. 1241, pp. 220-242, 1997.
25. M. Goto, "CINT C/C++ Interpreter," http://root.cern.ch/root/Cint.html, 2004.
26. O. Spinczyk, A. Gal, and W. Schröder-Preikschat, "AspectC++: An Aspect-Oriented Extension to C++," Proc. 40th Int'l Conf. Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Feb. 2002.
27. J.S. Plank, M. Beck, G. Kingsley, and K. Li, "Libckpt: Transparent Checkpointing Under Unix," Proc. Usenix Winter Technical Conf., pp. 213-223, Jan. 1995.
28. D.E. Lowell and P.M. Chen, "Discount Checking: Transparent, Low-Overhead Recovery for General Applications," Technical Report CSE-TR-410-99, Univ. of Michigan, Nov. 1998.
29. The Apache Software Foundation, "BCEL: Byte Code Engineering Library," http://jakarta.apache.org/bcel, 2004.
30. "Regexp," http://jakarta.apache.org/regexp, 2004.
31. D. Lea, "Collections," http://gee.cs.oswego.edu/dl/classes/collections, 2004.
32. C. Fetzer and K. Högstedt, "Self*: A Component Based Data-Flow Oriented Framework for Pervasive Dependability," Proc. Eighth IEEE Int'l Workshop Object-Oriented Real-Time Dependable Systems (WORDS 2003), Jan. 2003.