Framework for exercising I/O exception handling code

Authors:
Michael W. Bigrigg
Affiliations:
Institute for Software Research, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh PA 15213, USA
Venue:
International Journal of Information and Communication Technology
Year:
2008

Citing 14
Cited 0

An empirical study of the reliability of UNIX utilities

Communications of the ACM
The standard C library

The standard C library
LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A study of the applicability of existing exception-handling techniques to component-based real-time software technology

ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation

Communications of the ACM
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Interface Compatibility Checking for Software Modules

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Performance Evaluation of Exception Handling in I/O Libraries

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Software reliability: The role of programmed exception handling

Proceedings of an ACM conference on Language design for reliable software
Xept: A Software Instrumentation Method For Exception Handling

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Checking system rules using system-specific, programmer-written compiler extensions

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Towards availability benchmarks: a case study of software raid systems

ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Detours: binary interception of Win32 functions

WINSYM'99 Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3
Extending the operating system at the user level: the Ufo global file system

ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

The FlakyIO exception injection architecture provides a means for developers to exercise exception handling code during the coding phase of development. This will allow developers to test and fix runtime problems rather than uncovering them when code has been deployed. FlakyIO implements Software Exception Injection (SWEI). This paper presents the results of developing several SWEI prototypes for I/O systems: data intensive applications, wireless handheld applications, storage systems, and network applications. An evaluation of the implementations to illustrate the implications of the major design choices is presented.