Article

Discovering faults in idiom-based exception handling

Authors:

Magiel Bruntink,

Arie van Deursen,

Tom TourwéAuthors Info & Claims

ICSE '06: Proceedings of the 28th international conference on Software engineering

Pages 242 - 251

https://doi.org/10.1145/1134285.1134320

Published: 28 May 2006 Publication History

Abstract

In this paper, we analyse the exception handling mechanism of a state-of-the-art industrial embedded software system. Like many systems implemented in classic programming languages, our subject system uses the popular return-code idiom for dealing with exceptions. Our goal is to evaluate the fault-proneness of this idiom, and we therefore present a characterisation of the idiom, a fault model accompanied by an analysis tool, and empirical data. Our findings show that the idiom is indeed fault prone, but that a simple solution can lead to significant improvements.

References

[1]

E. N. Adams. Optimizing preventive service of software products. IBM Journal of Research and Development, 28(1):2--14, 1984.

Digital Library

[2]

T. Ball and S. K. Rajamani. The slam project: debugging system software via static analysis. In Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1--3. ACM, January 2002.

Digital Library

[3]

B. W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.

Digital Library

[4]

M. Bruntink, A. van Deursen, and T. Tourwé. Isolating Idiomatic Crosscutting Concerns. In Proceedings of the International Conference on Software Maintenance, pages 37--46. IEEE Computer Society, 2005.

Digital Library

[5]

M. Bruntink, A. van Deursen, R. van Engelen, and T. Tourwé. An evaluation of clone detection techniques for identifying crosscutting concerns. In Proceedings of the IEEE International Conference on Software Maintenance, pages 200--209. IEEE Computer Society, 2004.

Digital Library

[6]

M. Bush. Improving software quality: the use of formal inspections at the jpl. In Proceedings of the International Conference on Software Engineering, pages 196--199. IEEE Computer Society, 1990.

Digital Library

[7]

W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Softw., Pract. Exper., 30(7):775--802, 2000.

Digital Library

[8]

H. Chen and D. Wagner. Mops: an infrastructure for examining security properties of software. In ACM Conference on Computer and Communications Security, pages 235--244. ACM, November 2002.

Digital Library

[9]

F. Christian. Exception handling and tolerance of software faults, chapter 4, pages 81--107. John Wiley & Sons, 1995.

[10]

M. Das, S. Lerner, and M. Seigle. Esp: Path-sensitive program verification in polynomial time. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 57--68. ACM, May 2002.

Digital Library

[11]

M. Dyer. The cleanroom approach to quality software development. In Proceedings of the 18th International Computer Measurement Group Conference, pages 1201--1212. Computer Measurement Group, 1992.

[12]

D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In 4th Symposium on Operating System Design and Implementation, pages 1--16. USENIX Association, 2000.

Digital Library

[13]

N. E. Fenton and S. L. Pfleeger. Software Metrics: A rigorous and Practical Approach. PWS Publishing Company, second edition, 1997.

Digital Library

[14]

C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 234--245. ACM, 2002.

Digital Library

[15]

C. Fu, A. Milanova, B. G. Ryder, and D. G. Wonnacott. Robustness testing of java server applications. IEEE Transactions on Software Engineering, 31(4):292 -- 311, 2005.

Digital Library

[16]

N. H. Gehani. Exceptional C or C with exceptions. Software Practice and Experience, 22(10):827--848, 1992.

Digital Library

[17]

S. Johnson. Lint, a C Program Checker. Technical Report 65, Bell Laboratories, Dec. 1977.

[18]

J. Lang and D. B. Stewart. A study of the applicability of existing exception-handling techniques to component-based real-time software technology. ACM Transactions on Programming Languages and Systems, 20(2):274 -- 301, 1998.

Digital Library

[19]

P. A. Lee. Exception handling in C programs. Software Practice and Experience, 13(5):389--405, 1983.

[20]

J.-L. Lions. Ariane 5 flight 501 failure. Technical report, ESA/CNES, 1996.

[21]

M. Lippert and C. V. Lopes. A study on exception detecton and handling using aspect-oriented programming. In Proceedings of the International Conference on Software Engineering, pages 418 -- 427. IEEE Computer Society, 2000.

Digital Library

[22]

B. Littlewood. Dependability assessment of software-based systems: state of the art. In Proceedings of the International Conference on Software Engineering, pages 6--7. ACM Press, 2005.

Digital Library

[23]

M. Musuvathi, D. Y. W. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A pragmatic approach to model checking real code. In 5th Symposium on Operating System Design and Implementation. USENIX Association, 2002.

Digital Library

[24]

S. Paul and A. Prakash. A Framework for Source Code Search using Program Patterns. IEEE Transactions on Software Engineering, 20(6):463--475, 1994.

Digital Library

[25]

E. S. Roberts. Implementing exceptions in C. Technical Report 40, Digital Systems Research Center, 1989.

[26]

M. Robillard and G. C. Murphy. Regaining control of exception handling. Technical Report TR-99-14, Department of Computer Science, University of British Columbia, 1999.

[27]

M. P. Robillard and G. Murphy. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Transactions on Software Engineering and Methodology, 12(2):191--221, 2003.

Digital Library

[28]

S. Sinha and M. J. Harrold. Criteria for testing exception-handling constructs in java programs. In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society, 1999.

Digital Library

[29]

T. Tourwé and T. Mens. Identifying Refactoring Opportunities Using Logic Meta Programming. In Proceedings of the European Conference on Software Maintenance and Reengineering, pages 91--100. IEEE Computer Society, 2003.

Digital Library

[30]

W. N. Toy. Fault-tolerant design of local ess processors. In Proceedings of IEEE, pages 1126--1145. IEEE Computer Society, 1982.

[31]

E. van Emden and L. Moonen. Java quality assurance by detecting code smells. In Proceedings of the Working Conference on Reverse Engineering, pages 97--106. IEEE Computer Society, 2002.

Digital Library

[32]

H. Winroth. Exception handling in ANSI C. Technical Report ISRN KTH NA/P-93/15-SE, Department of Numerical Analysis and Computing Science, Royal Institute of Technology, Stockholm, Sweden, 1993.

Cited By

Zhong H(2022)Which Exception Shall We Throw?Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556895(1-12)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556895
Zhang LMorin BHaller PBaudry BMonperrus M(2021)A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVMIEEE Transactions on Software Engineering10.1109/TSE.2019.295487147:11(2534-2548)Online publication date: 1-Nov-2021
https://doi.org/10.1109/TSE.2019.2954871
Nguyen TVu PNguyen TDevanbu PCohen MZimmermann T(2020)Code recommendation for exception handlingProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409690(1027-1038)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409690
Show More Cited By

Index Terms

Discovering faults in idiom-based exception handling
1. General and reference
  1. Cross-computing tools and techniques
    1. Reliability
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
  2. Software organization and properties
    1. Extra-functional properties
      1. Software reliability

Recommendations

Efficient Java exception handling in just-in-time compilation
Research Articles

Java uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This ...
Exception Handling and Software Fault Tolerance

Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is ...
Exception Handling in CLU

For programs to be reliable and fault tolerant, each program module must be defined to behave reasonably under a wide variety of circumstances. An exception handling mechanism supports the construction of such modules. This paper descnbes an exception ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '06: Proceedings of the 28th international conference on Software engineering

May 2006

1110 pages

ISBN:1595933751

DOI:10.1145/1134285

General Chair:
Leon J. Osterweil
University of Massachusetts, USA
,
Program Chairs:
Dieter Rombach
TU Kaiserslautern, Germany
,
Mary Lou Soffa
University of Virginia, USA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 20 - 28, 2006

Shanghai, China

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
583
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhong H(2022)Which Exception Shall We Throw?Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556895(1-12)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556895
Zhang LMorin BHaller PBaudry BMonperrus M(2021)A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVMIEEE Transactions on Software Engineering10.1109/TSE.2019.295487147:11(2534-2548)Online publication date: 1-Nov-2021
https://doi.org/10.1109/TSE.2019.2954871
Nguyen TVu PNguyen TDevanbu PCohen MZimmermann T(2020)Code recommendation for exception handlingProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409690(1027-1038)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409690
Zhang LMonperrus M(2019)TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in Java Applications2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2019.00021(116-127)Online publication date: Oct-2019
https://doi.org/10.1109/ISSRE.2019.00021
Jia ZLi SYu TLiao XWang JLiu XLiu YZimmermann TLawall JMarinov D(2019)Detecting error-handling bugs without error specification inputProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00029(213-225)Online publication date: 10-Nov-2019
https://dl.acm.org/doi/10.1109/ASE.2019.00029
Cassee NPinto GCastor FSerebrenik AZaidman AKamei YHill E(2018)How swift developers handle errorsProceedings of the 15th International Conference on Mining Software Repositories10.1145/3196398.3196428(292-302)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3196398.3196428
Sridhar K(2017)Reliability techniques for MPP SQL database product engineering2017 2nd International Conference on System Reliability and Safety (ICSRS)10.1109/ICSRS.2017.8272817(180-185)Online publication date: Dec-2017
https://doi.org/10.1109/ICSRS.2017.8272817
Jinyu Liu Shanshan Li Zhouyang Jia Xiaodong Liu Bin Lin Xiangke Liao (2017)IdenEH: Identify error-handling code snippets in large-scale software2017 17th International Conference on Computational Science and Its Applications (ICCSA)10.1109/ICCSA.2017.7999649(1-8)Online publication date: Jul-2017
https://doi.org/10.1109/ICCSA.2017.7999649
Nagappan MRobbes RKamei YTanter ÉMcIntosh SMockus AHassan ADi Nitto EHarman MHeymans P(2015)An empirical study of goto in C code from GitHub repositoriesProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering10.1145/2786805.2786834(404-414)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2786805.2786834
Gallaba KMesbah ABeschastnikh I(2015)Don't Call Us, We'll Call You: Characterizing Callbacks in Javascript2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)10.1109/ESEM.2015.7321196(1-10)Online publication date: Oct-2015
https://doi.org/10.1109/ESEM.2015.7321196
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents