Fault Injection for Software Certification
作者： Domenico Cotroneo , Roberto Natella
DOI: 10.1109/MSP.2013.54
关键词:
摘要: As software becomes more pervasive and complex, it's increasingly important to ensure that a system will be safe even in the presence of residual faults (or bugs). Software fault injection consists deliberate introduction for assessing impact faulty on improving its tolerance. SFI has been included as recommended practice recent safety standards therefore gained interest among practitioners, but still unclear how it can effectively used certification purposes. In this article, authors discuss adoption context certification, present tool realistic faults, show usage evaluating robustness an operating avionic domain.
computer.org
ieeecomputersociety.org参考文章(15)
P.L. Goddard, Software FMEA techniques reliability and maintainability symposium. pp. 118- 123 ,(2000) , 10.1109/RAMS.2000.816294
Joao A. Duraes, Henrique S. Madeira, Emulation of Software Faults: A Field Data Study and a Practical Approach IEEE Transactions on Software Engineering. ,vol. 32, pp. 849- 867 ,(2006) , 10.1109/TSE.2006.113
Jeffrey M. Voas, Gary McGraw, Software fault injection: inoculating programs against errors John Wiley & Sons, Inc.. ,(1997)
Roberto Natella, Domenico Cotroneo, Joao A. Duraes, Henrique S. Madeira, On Fault Representativeness of Software Fault Injection IEEE Transactions on Software Engineering. ,vol. 39, pp. 80- 96 ,(2013) , 10.1109/TSE.2011.124
D. Cotroneo, A. Lanzaro, R. Natella, R. Barbosa, Experimental Analysis of Binary-Level Software Fault Injection in Complex Software european dependable computing conference. pp. 162- 172 ,(2012) , 10.1109/EDCC.2012.12
J.-C. Laprie, J. Arlat, C. Beounes, K. Kanoun, Definition and analysis of hardware- and software-fault-tolerant architectures IEEE Computer. ,vol. 23, pp. 39- 51 ,(1990) , 10.1109/2.56851
Murial Daran, Pascale Thévenod-Fosse, Software error analysis: a real case study involving real faults and mutations international symposium on software testing and analysis. ,vol. 21, pp. 158- 171 ,(1996) , 10.1145/226295.226313
J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, D. Powell, Fault injection for dependability validation: a methodology and some applications IEEE Transactions on Software Engineering. ,vol. 16, pp. 166- 182 ,(1990) , 10.1109/32.44380
P. Koopman, J. DeVale, The exception handling effectiveness of POSIX operating systems IEEE Transactions on Software Engineering. ,vol. 26, pp. 837- 848 ,(2000) , 10.1109/32.877845
Nancy G. Leveson, Role of Software in Spacecraft Accidents Journal of Spacecraft and Rockets. ,vol. 41, pp. 564- 575 ,(2004) , 10.2514/1.11950