Validation of a software dependability tool via fault injection experiments

Author

Benso, Alfredo ; Carlo, Stefano Di ; Natale, Giorgio Di ; Tagliaferri, Luca ; Prinetto, Paolo

Author_Institution

Dipt. di Autom. e Inf., Politecnico di Torino, Italy

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

3

Lastpage

8

Abstract

Presents the validation of the strategies employed in the RECCO tool to analyze a C/C++ software; the RECCO compiler scans C/C++ source code to extract information about the significance of the variables that populate the program and the code structure itself. Experimental results gathered on an Open Source Router are used to compare and correlate two sets of critical variables, one obtained by fault injection experiments, and the other applying the RECCO tool, respectively. Then the two sets are analyzed, compared, and correlated to prove the effectiveness of RECCO´s methodology

Keywords

C language; C++ language; program compilers; redundancy; software fault tolerance; C/C++ software; RECCO tool; code structure; critical variables; data redundancy; fault injection experiments; fault tolerance; network architecture; open source router; reliability weight; software dependability tool; source code; source-to-source compiler; Application software; Automatic testing; Circuit faults; Computer errors; Hardware; Operating systems; Redundancy; Software testing; Software tools; World Wide Web;

fLanguage

English

Publisher

ieee

Conference_Titel

On-Line Testing Workshop, 2001. Proceedings. Seventh International

Print_ISBN

0-7695-1290-9

Type

conf

DOI

10.1109/OLT.2001.937809

Filename

937809