loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th International Symposium on Software Reliability Engineering (ISSRE'01)
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications
Hong Kong, China
November 27-November 30
ISBN: 0-7695-1306-9
ASCII Text
x 
 
Alaa Ibrahim, Hanry H. Ammar, Sherif M. Yacoub, "A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications," Software Reliability Engineering, International Symposium on, pp. 74, 12th International Symposium on Software Reliability Engineering (ISSRE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ISSRE.2001.989460,
author = {Alaa Ibrahim and Hanry H. Ammar and Sherif M. Yacoub},
title = {A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications},
journal ={Software Reliability Engineering, International Symposium on},
volume = {0},
year = {2001},
issn = {1071-9458},
pages = {74},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2001.989460},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Reliability Engineering, International Symposium on
TI - A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications
SN - 1071-9458
SP
EP
A1 - Alaa Ibrahim,
A1 - Hanry H. Ammar,
A1 - Sherif M. Yacoub,
PY - 2001
KW - Verification an Validation
KW - Fault Injection
KW - Fault Model
KW - UML and statecharts.
VL - 0
JA - Software Reliability Engineering, International Symposium on
ER -
 
Verification and validation tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software Verification and validtion are proposed at the code level.In this work, we address verification and validation analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.
Index Terms:
Verification an Validation, Fault Injection, Fault Model, UML and statecharts.
Citation:
Alaa Ibrahim, Hanry H. Ammar, Sherif M. Yacoub, "A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications," issre, pp.74, 12th International Symposium on Software Reliability Engineering (ISSRE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.