PROPANE : An environment for examining the propagation of errors in software

Hiller, M. and Jhumka, A. and Suri, Neeraj (2002) PROPANE : An environment for examining the propagation of errors in software. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis : ISSTA '02. ACM, pp. 81-85. ISBN 1581135629

Full text not available from this repository.

Abstract

In order to produce reliable software, it is important to have knowledge on how faults and errors may affect the software. In particular, designing efficient error detection mechanisms requires not only knowledge on which types of errors to detect but also the effect these errors may have on the software as well as how they propagate through the software. This paper presents the Propagation Analysis Environment (PROPANE) which is a tool for profiling and conducting fault injection experiments on software running on desktop computers. PROPANE supports the injection of both software faults (by mutation of source code) and data errors (by manipulating variable and memory contents). PROPANE supports various error types out-of-the-box and has support for user-defined error types. For logging, probes are provided for charting the values of variables and memory areas as well as for registering events during execution of the system under test. PROPANE has a flexible design making it useful for development of a wide range of software systems, e.g., embedded software, generic software components, or user-level desktop applications. We show examples of results obtained using PROPANE and how these can guide software developers to where software error detection and recovery could increase the reliability of the software system.

Item Type:
Contribution in Book/Report/Proceedings
Subjects:
?? error propagation analysisfault injectionsoftware development toolssoftware reliabilitydata storage equipmentembedded systemserror detectionpersonal computerssoftware engineeringsoftware reliabilitycomputer software ??
ID Code:
137639
Deposited By:
Deposited On:
08 Oct 2019 09:10
Refereed?:
Yes
Published?:
Published
Last Modified:
16 Jul 2024 04:43