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

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 81-85

  Hiller, Martin ^a   Jhumka, Arshad ^a   Suri, Neeraj ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Error Propagation Analysis; Fault Injection; Software Development Tools; Software Reliability

Indexed keywords

DATA STORAGE EQUIPMENT; EMBEDDED SYSTEMS; ERROR DETECTION; PERSONAL COMPUTERS; SOFTWARE ENGINEERING;

SOFTWARE RELIABILITY;

COMPUTER SOFTWARE;

EID: 0036980151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Carreira J., et al., "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers", IEEE Trans. on Software Eng., Vol. 24, No. 2, pp. 125-136, 1998
2. Information about the tool suite to which dot belongs is found at http://www.research.att.com/sw/tools/graphviz
3. Fabre J.-C., et al., "Assessment of COTS Microkernels by Fault Injection", Int. IFIP Conf. on Dependable Computing for Critical Applications, 1999
4. Information about GML and related tools is found at http://www.infosun.fmi.uni-passau.de/graphlet/GML
5. Goswami K.K., et al., "DEPEND: A Simulation-Based Environment for System Level Dependability Analysis", IEEE Trans. on Comp., Vol. 46, No. 1, pp. 60-74, 1997
6. Hiller M., "A Tool for Examining the Behavior of Faults and Errors in Software", TR 00-19, Dept. of CE, Chalmers Univ., (available at www.ce.chalmers.se/LDC/DEEDS/), 2000.
7. Hiller M., et al., "An Approach for Analysing the Propagation of Data Errors in Software", Int. Conf. on Dependable Systems and Networks, pp. 161-170, 2001
8. Jhumka A., et al., "Assessing Inter-modular Error Propagation in Distributed Software", Symp. on Reliable Distributed Systems, pp. 152-161, 2001
9. Laprie J.-C. (ed.), "Dependability: Basic Concepts and Terminology", Dependable Computing and Fault-Tolerant Systems series, Vol. 5, Springer-Verlag, 1992
10. Stott D.T., et. al, "NFTAPE: A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors.", Int. Computer Performance and Dependability Symposium, pp. 91-100, 2000