Home > Research > Publications & Outputs > PROPANE

Research

Associated organisational units

Links

Text available via DOI:

Keywords

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

PROPANE: An environment for examining the propagation of errors in software. / Hiller, M.; Jhumka, A.; Suri, Neeraj et al.
Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis: ISSTA '02. ACM, 2002. p. 81-85.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Hiller, M, Jhumka, A, Suri, N & P.G., F (ed.) 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. https://doi.org/10.1145/566172.566184

APA

Hiller, M., Jhumka, A., Suri, N., & P.G., F. (Ed.) (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 (pp. 81-85). ACM. https://doi.org/10.1145/566172.566184

Vancouver

Hiller M, Jhumka A, Suri N, P.G. F, (ed.). 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. 2002. p. 81-85 doi: 10.1145/566172.566184

Author

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

Bibtex

@inproceedings{18edefec20944562b949a1fc649751ae,
title = "PROPANE: An environment for examining the propagation of errors in software",
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.",
keywords = "Error Propagation Analysis, Fault Injection, Software Development Tools, Software Reliability, Data storage equipment, Embedded systems, Error detection, Personal computers, Software engineering, Software reliability, Computer software",
author = "M. Hiller and A. Jhumka and Neeraj Suri and Frankl P.G.",
year = "2002",
month = jul,
day = "22",
doi = "10.1145/566172.566184",
language = "English",
isbn = "1581135629 ",
pages = "81--85",
booktitle = "Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis",
publisher = "ACM",

}

RIS

TY - GEN

T1 - PROPANE

T2 - An environment for examining the propagation of errors in software

AU - Hiller, M.

AU - Jhumka, A.

AU - Suri, Neeraj

A2 - P.G., Frankl

PY - 2002/7/22

Y1 - 2002/7/22

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

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

KW - Error Propagation Analysis

KW - Fault Injection

KW - Software Development Tools

KW - Software Reliability

KW - Data storage equipment

KW - Embedded systems

KW - Error detection

KW - Personal computers

KW - Software engineering

KW - Software reliability

KW - Computer software

U2 - 10.1145/566172.566184

DO - 10.1145/566172.566184

M3 - Conference contribution/Paper

SN - 1581135629

SP - 81

EP - 85

BT - Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis

PB - ACM

ER -