CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

PROPANE: An Environment for Examining the Propagation of Errors in Software

Martin Hiller (Institutionen för datorteknik) ; Arshad Jhumka (Institutionen för datorteknik) ; Neeraj Suri (Institutionen för datorteknik)
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis p. 81-85. (2002)
[Konferensbidrag, refereegranskat]

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.



Denna post skapades 2013-01-15.
CPL Pubid: 170774

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datorteknik (2002-2004)

Ämnesområden

Datorteknik

Chalmers infrastruktur