This paper proposes a practical way to evaluate the behavior of commercial-off-the-shelf (COTS) operating systems in the presence of faulty device drivers. The proposed method is based on the emulation of software faults in target device drivers and the observation of the behavior of the system and of a workload regarding a comprehensive set of failure modes analyzed according to different dimensions. The emulation of software faults itself is done through the injection at machine-code level of selected mutations that represent the code produced when typical programming errors are made in the high-level language code. An important aspect of the proposed methodology is the use of simple and established practices to evaluate operating systems failure modes, thus allowing its use as a dependability benchmarking technique. The generalization of the methodology to any software system built of discrete and identifiable components is also discussed.
The Pacific Rim International Dependability Symposium, PRDC-2002, December 2002
Cited by
Year 2009 : 1 citations
Constantin Sarbu, "Operational Pro_ling of OS Drivers?, PhD thesis, University of Darmstadt, Alemanha, 2009
Year 2007 : 2 citations
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller, "A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations?, Technical Report, Institut National de Recherche en Informatique et en Automatique, INRIA, February, 2007.
Manuel Mendonça, Nuno Ferreira Neves, Robustness Testing of the Windows DDK, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Edinburgh, UK, June 2007.
Year 2006 : 1 citations
S Tixeuil, LM Silva, W Hoarau, "An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids?, Second CoreGRID Workshop on Grid and Peer to Peer Systems, 2006
Year 2004 : 3 citations
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, "Benchmarking Operating System Dependability: Windows 2000 as a Case Study?, 10th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC2004, Papeete, Tahiti, French Polynesia, 03 a 05 de Março de 2004.
Ali Kalakech, Karama Kanoun, Yves Crouzet and Jean Arlat, "Benchmarking The Dependability of Windows NT4, 2000 and XP?, IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2004, Florença, Itália, 28 Junho a 1 Julho de 2004.
Arnaud Albinet, Jean Arlat, Jean-Charles Fabre, "Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel?, IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2004, Florença, Itália, 28 Junho a 1 Julho de 2004.
Year 2003 : 1 citations
Raviteja Varanasi, "Software Faults and Fault Injection Models?, Project of the coursework for CSC53, Advanced Software Engineering, Lousiana Tech University, USA, 2003
