Validation of a Software Dependability Tool via Fault Injection Experiments

Taormina, Italy July 09-July 11

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/OLT.2001.937809

Seventh International On-Line Testing ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Alfredo Benso Articles by Stefano Di Carlo Articles by Giorgio Di Natale Articles by Luca Tagliaferri Articles by Paolo Prinetto

	ASCII Text	x
	Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Luca Tagliaferri, Paolo Prinetto, "Validation of a Software Dependability Tool via Fault Injection Experiments," On-Line Testing Workshop, IEEE International, pp. 0003, Seventh International On-Line Testing Workshop, 2001.

	BibTex	x
	@article{ 10.1109/OLT.2001.937809, author = {Alfredo Benso and Stefano Di Carlo and Giorgio Di Natale and Luca Tagliaferri and Paolo Prinetto}, title = {Validation of a Software Dependability Tool via Fault Injection Experiments}, journal ={On-Line Testing Workshop, IEEE International}, volume = {0}, year = {2001}, isbn = {0-7695-1290-9}, pages = {0003}, doi = {http://doi.ieeecomputersociety.org/10.1109/OLT.2001.937809}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - On-Line Testing Workshop, IEEE International TI - Validation of a Software Dependability Tool via Fault Injection Experiments SN - 0-7695-1290-9 SP EP A1 - Alfredo Benso, A1 - Stefano Di Carlo, A1 - Giorgio Di Natale, A1 - Luca Tagliaferri, A1 - Paolo Prinetto, PY - 2001 VL - 0 JA - On-Line Testing Workshop, IEEE International ER -

Alfredo Benso, Politecnico di Torino

Stefano Di Carlo, Politecnico di Torino

Giorgio Di Natale, Politecnico di Torino

Luca Tagliaferri, Politecnico di Torino

Paolo Prinetto, Politecnico di Torino

Abstract: The present paper 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 the RECCO's methodology.

Citation:

Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Luca Tagliaferri, Paolo Prinetto, "Validation of a Software Dependability Tool via Fault Injection Experiments," ioltw, pp.0003, Seventh International On-Line Testing Workshop, 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.