Improving the robustness and reliability of object-oriented programs through exception analysis and testing

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 432-439

  Mao, Cheng Ying ^a   Lu, Yan Sheng ^a  

^a HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Control flow graph(CFG); Exception handling mechanism; Exception testing; Robustness improvement model; Safety critical system

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; GRAPH THEORY; RELIABILITY THEORY; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE PROTOTYPING; STATISTICAL METHODS;

CONTROL FLOW GRAPH (CFG); ERROR HANDLING CODES; EXCEPTION HANDLING MECHANISM; EXCEPTION TESTING; OBJECT-ORIENTED PROGRAMS; ROBUSTNESS IMPROVEMENT MODEL; SAFETY CRITICAL SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 27144443356     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. T. Cargill, "Exception Handling: A False Sense of Security", C++ Report, Nov.-Dec. 1994, 6(9), also available at http://www.awprofessional.com/content/images/02016337 lx/supplements/Exception_Handling_Article.html.
2. B. Stroustrup, The C+ + Programming Language (3rd Edition), Addison-Wesley Publishing Company, Massachusetts USA, 1997.
3. M. P. Robillard and G. C. Murphy, "Static Analysis to Support the Evolution of Exception Structure in Object-Oriented Systems", ACM Transactions on Software Engineering and Methodology,Apr. 2003, 12(2),pp. 191-221.
4. S. Sinha and M. J. Harrold, "Analysis and Testing of Programs with Exception Handling Constructs", IEEE Transactions on Software Engineering, Sep. 2000, 26(9), pp.849-871.
5. S. Sinha and M. J. Harrold, "Analysis of Programs with Exception-Handling Constructs", Proc. Int'l Conf. Software Maintenance, Nov. 1998, pp. 348-357.
6. M. P. Robillard and G. C. Murphy, "Analyzing Exception Flow in Java Programs", Proc. of 7th European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering, 1999, pp.322-337.
7. C. Fetzer, P. Felber and K. Högstedt, "Automatic Detection and Masking of Nonatomic Exception Handling", IEEE Transactions on Software Engineering, Aug. 2004, 30(8), pp.547-560.
8. D. C. Kung, N. Suchak, J. Gao and et al., "On Object State Testing", Proc. of Computer Software and Application Conference, 1994, pp.222-227.
9. S. Sinha and M.J. Harrold, "Criteria for Testing Exception Handling Constructs in Java Programs", Technical Report OSU-CISRC-6/99-TR16, Ohio State Univ., Jun. 1999.
10. A. Gotlieb, B. Botella, and M. Rueher, "Automatic Test Data Generation using Constraint Solving Techniques", Proc. of ACM SIGSOFT International Symposium on Software Testing and Analysis, Florida USA, Mar. 1998, pp.53-62.
11. C. Y. Mao and Y. S. Lu, "Employing Statistical Testing Techniques on Object-Oriented Classes", Proc. of 2nd Excellent Ph.D. Candidates Annual Forum of China Association for Science and Technology, Suzhou, China, 2004, pp.402-409. (in Chinese)
12. M. M. Tikir and J. K. Hollingsworth, "Efficient Instrumentation for Code Coverage Testing", Proc. of the International Symposium on Software Testing and Analysis, NY USA, Jul. 2002, pp.86-96.
13. H. Y. Chen, T.H. Tse, and T.Y. Chen, "TACCLE: A Methodology for Object-Oriented Software Testing at the Class and Cluster Levels", ACM Transactions on Software Engineering and Methodology, Jan. 2001, 10(1), pp.56-109.
14. B. M. Chang, J. W. Jo, K. Yi and K. M. Choe, "Interprocedural Exception Analysis for Java", Proc. of the 2001 ACM symposium on Applied computing, NY USA, Mar. 2001, pp.620-625.
15. J. W. Jo and B. M. Chang, "Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow", ICCSA 2004: Proc. of International Conference(Part I), Assisi Italy, May 2004, pp.106-113.
16. J. D. Choi, D. Grove, M. Hind and V. Sarkar, "Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs", Proc. of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, NY USA, Sep. 1999, pp.21-31.