Achieving Representative Faultloads in Software Fault Injection

作者: Roberto Natella

DOI: 10.6092/UNINA/FEDOA/8833

关键词:

摘要: Given the complexity of modern software systems and its pervasiveness in many aspects our lives, faults (i.e., bugs) are a dangerous threat. Unfortunately, it is impossible to assure that perfect despite advances engineering. Therefore, mission- safety-critical have provide fault tolerance algorithms mechanisms mitigate this Software Fault Injection emerged last decades as means for testing improving fault-tolerant systems. This approach deliberately introduces order assess behavior presence faults. In be adopted by practitioners development critical systems, an effective trustworthy evaluation tolerance, realism being injected (fault representativeness) need assured, i.e., should reflect residual escape process can affect system. thesis addresses representativeness with respect three aspects. First, proposes selecting code locations which inject complex The identifies more likely hide from testing, focus injection on most representative reduce number cost experiments at same time. Second, method accuracy binary code, required when source not available case third-party software. Finally, technique emulating concurrency faults, significant part affecting These contributions instrumental advance make practical developing

参考文章(43)
K. Kanoun, Y. Crouzet, A. Kalakech, A.-E. Rugina, P. Rumeau, Benchmarking the dependability of Windows and Linux using PostMark/spl trade/ workloads international symposium on software reliability engineering. pp. 11- 20 ,(2005) , 10.1109/ISSRE.2005.13
D.B. Johnson, Willy Zwaenepoel, Sender-Based Message Logging ieee international symposium on fault tolerant computing. ,(1987)
U. Gunneflo, J. Karlsson, J. Torin, Evaluation of error detection schemes using fault injection by heavy-ion radiation ieee international symposium on fault tolerant computing. pp. 340- 347 ,(1989) , 10.1109/FTCS.1989.105590
Anthony Iannino, Kazuhira Okumoto, John D. Musa, Software Reliability: Measurement, Prediction, Application ,(1987)
Mark A. Hall, Ian H. Witten, Eibe Frank, Data Mining: Practical Machine Learning Tools and Techniques ,(1999)
Karama Kanoun, Lisa Spainhower, None, Dependability Benchmarking for Computer Systems ,(2008)
F. Salles, M. Rodriguez, J.-C. Fabre, J. Arlat, MetaKernels and fault containment wrappers ieee international symposium on fault tolerant computing. pp. 22- 29 ,(1999) , 10.1109/FTCS.1999.781030
Barry W. Boehm, None, Verifying and Validating Software Requirements and Design Specifications IEEE Software. ,vol. 1, pp. 75- 88 ,(1984) , 10.1109/MS.1984.233702
Kenneth Birman, André Schiper, Pat Stephenson, Lightweight causal and atomic group multicast ACM Transactions on Computer Systems (TOCS). ,vol. 9, pp. 272- 314 ,(1991) , 10.1145/128738.128742
J. Duraes, H. Madeira, Generic faultloads based on software faults for dependability benchmarking dependable systems and networks. pp. 285- 294 ,(2004) , 10.1109/DSN.2004.1311898