Assessing Dependability with Software Fault Injection: A Survey

作者: Roberto Natella , Domenico Cotroneo , Henrique S. Madeira

DOI: 10.1145/2841425

关键词: Computer scienceSoftwareSoftware fault toleranceSoftware reliability testingSoftware constructionProgramming complexitySoftware verificationDependabilityReliability engineeringSoftware verification and validation

摘要: … on Software Fault Injection to … fault representativeness, efficiency, and usability. The survey includes a description of relevant applications of Software Fault Injection in the context of fault-…

参考文章(132)
Michael R. Lyu, Software Fault Tolerance John Wiley & Sons, Inc.. ,(1995)
Naveen Sastry, Pete Broadwell, Jonathan Traupman, FIG: A Prototype Tool for Online Verification of Recovery Mechanisms ,(2002)
David A. Molnar, Michael Y. Levin, Patrice Godefroid, Automated Whitebox Fuzz Testing. network and distributed system security symposium. ,(2008)
Domenico Cotroneo, Roberto Natella, Stefano Russo, Fabio Scippacercola, State-Driven Testing of Distributed Systems international conference on principles of distributed systems. pp. 114- 128 ,(2013) , 10.1007/978-3-319-03850-6_9
Martin Hieronymus, Thorsten Kostrzewa, Jana Maria Heinsohn, Einführung in die ISO 26262 "Functional Safety - Road Vehicles" Arbeitspapiere der Nordakademie. ,(2011)
Marco Vieira, Henrique Madeira, A dependability benchmark for OLTP application environments very large data bases. pp. 742- 753 ,(2003) , 10.1016/B978-012722442-8/50071-9
S. Chandra, P.M. Chen, How fail-stop are faulty programs? ieee international symposium on fault tolerant computing. pp. 240- 249 ,(1998) , 10.1109/FTCS.1998.689475
Joao Duraes, Henrique Madeira, Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior IEICE Transactions on Information and Systems. ,vol. 86, pp. 2563- 2570 ,(2003)
Wee Teck Ng, C.M. Aycock, G. Rajamani, P.M. Chen, Comparing disk and memory's resistance to operating system crashes international symposium on software reliability engineering. pp. 182- ,(1996) , 10.1109/ISSRE.1996.558792