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. 1.

Citations

926	Software Engineering Economics - Boehm - 1981
455	Extended static checking for Java - Flanagan, Leino, et al.
349	Software Metrics - A Rigorous and Practical Approach - Fenton, Pfleeger - 1996
317	The SLAM project: Debugging system software via static analysis - Ball, Rajamani - 2002
315	Checking System rules using System-specific, Programmer-written Compiler Extensions - Engler, Chelf, et al. - 2000
242	A static analyzer for finding dynamic programming errors. Software—Practice and Experience - Bush, Pincus, et al. - 2000
224	ESP: Path-sensitive program verification in polynomial time - Das, Lerner, et al. - 2002
178	MOPS: An infrastructure for examining security properties of software - Chen, Wagner - 2002
147	D.L.: CMC: A pragmatic approach to model checking real code - Musuvathi, Park, et al.
146	Static detection of dynamic memory errors - Evans - 1996
101	Using Model Checking to Find Serious File System Errors - Yang, Twohey, et al. - 2004
93	A.Prakash. A Framework for Source Code Search using Program Patterns - Paul - 1994
86	Java quality assurance by detecting code smells - Emden, Moonen - 2001
80	Optimizing preventive service of software product - Adams - 1984
68	a C program checker - Lint - 1978
60	The Cleanroom approach to Quality Software Engineering - Dyer - 1992
40	Identifying refactoring opportunities using logic meta programming - Tourwe, Mens - 2003
38	Path-sensitive program verification in polynomial time - DAS, LERNER, et al. - 2002
32	An evaluation of clone detection techniques for identifying cross-cutting concerns - Bruntink, Deursen, et al. - 2004
24	Static analysis to support the evolution of exception structure in object-oriented systems - Robillard, Murphy
19	Exceptional C or C with exceptions - Gehani - 1992
18	Criteria for testing exceptionhandling constructs in Java programs - Sinha, Harrold - 1999
17	Robustness testing of Java server applications - Fu, Milanova, et al.
15	Improving Software Quality: The Use of Formal Inspections at the JPL - Bush - 1990
15	Fault-Tolerant Design of Local ESS Processors - Toy
13	Isolating idiomatic crosscutting concerns - Bruntink, Deursen, et al. - 2005
13	A Study of the Applicability of Existing Exception-Handling Techniques to Component-Based Real-Time - Lang, Stewart - 1998
13	Ariane 5 Flight 501 Failure - Lions - 1996
10	Exception Handling in C Programs - Lee - 1983
9	A study on exception detecton and handling using aspect-oriented programming - Lippert, Lopes - 2000
9	Regaining control of exception handling - Robillard, Murphy - 1999
8	Implementing exceptions in C - Roberts - 1989
1	Exception handling and tolerance of software faults, chapter 4 - Christian - 1995
1	Dependability assessment of software-based systems: state of the art - Littlewood - 2005
1	Exception handling in ANSI C - Winroth - 1993