Assessing Dependability with Software Fault Injection: A Survey

被引：116
作者：
Natella, Roberto [1 ]
Cotroneo, Domenico [1 ]
Madeira, Henrique S. [2 ]
机构：
[1] Univ Naples Federico II, DIETI, Via Claudio 21, I-80125 Naples, Italy
[2] Univ Coimbra, CISUC, P-3030290 Coimbra, Portugal
来源：
ACM COMPUTING SURVEYS | 2015年 / 48卷 / 03期
关键词：
Reliability; Verification; Performance; Software faults; dependability assessment; software fault tolerance; SYSTEM; MUTATION; MODEL; COTS; TOOL;
D O I：
10.1145/2841425
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
With the rise of software complexity, software-related accidents represent a significant threat for computer-based systems. Software Fault Injection is a method to anticipate worst-case scenarios caused by faulty software through the deliberate injection of software faults. This survey provides a comprehensive overview of the state of the art on Software Fault Injection to support researchers and practitioners in the selection of the approach that best fits their dependability assessment goals, and it discusses how these approaches have evolved to achieve fault representativeness, efficiency, and usability. The survey includes a description of relevant applications of Software Fault Injection in the context of fault-tolerant systems.
引用
收藏
页数：55
相关论文
共 141 条
[71]   Emulation of software faults by educated mutations at machine-code level [J].
Duraes, J ;
Madeira, H .
13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2002, :329-340
[72]   Emulation of software faults: A field data study and a practical approach [J].
Duraes, Joao A. ;
Madeira, Henrique S. .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (11) :849-867
[73]   Quantitative analysis of faults and failures in a complex software system [J].
Fenton, NE ;
Ohlsson, N .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (08) :797-814
[74]   Automatic detection and masking of nonatomic exception handling [J].
Fetzer, C ;
Felber, P ;
Högstedt, K .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (08) :547-560
[75]   An automated approach to increasing the robustness of C libraries [J].
Fetzer, C ;
Xiao, Z .
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, :155-164
[76]   Vulnerability & Attack Injection for Web Applications [J].
Fonseca, Jose ;
Vieiraz, Marco ;
Madeira, Henrique .
2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), 2009, :93-+
[77]   Mapping Software Faults with Web Security Vulnerabilities [J].
Fonseca, Jose ;
Vieira, Marco .
2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, :257-+
[78]   The dawning of the autonomic computing era [J].
Ganek, AG ;
Corbi, TA .
IBM SYSTEMS JOURNAL, 2003, 42 (01) :5-18
[79]   Testing the robustness of Windows NT software [J].
Ghosh, AK ;
Schmid, M ;
Shah, V .
NINTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1998, :231-235
[80]  
Godefroid P., 2008, NDSS, P151
3456789101112