Fast black-box testing of system recovery code

EuroSys'12 - Proceedings of the EuroSys 2012 Conference

Volumn , Issue , 2012, Pages 281-294

  Banabic, Radu ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

Automated testing; Fault injection; Testing

Indexed keywords

AUTOMATED TESTING; BASE SOURCES; BLACK BOX APPROACH; BLACK-BOX TESTING; FAULT INJECTION; FAULT SPACE; HIGH RELIABILITY; KEY TECHNIQUES; SEARCH ALGORITHMS; SYSTEM RECOVERY; SYSTEMATIC TESTING;

TESTING;

PROGRAM DEBUGGING;

EID: 84860555579     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2168836.2168865     Document Type: Conference Paper

References (27)

1. Random fault injection in linux kernel. http://lwn.net/Articles/209292/.
2. Reasoning software inspection services. http://reasoning.com/index.html.
3. Amazon EC2. http://aws.amazon.com/ec2.
4. L. N. Bairavasundaram, G. Goodson, B. Schroeder, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. An analysis of data corruption in the storage stack. In USENIX Conf. on File and Storage Technologies, 2008.
5. E. Bisolfati, P. D. Marinescu, and G. Candea. Studying application-library interaction and behavior with Lib-Trac. In Intl. Conf. on Dependable Systems and Networks, 2010.
6. P. E. Black, editor. Dictionary of Algorithms and Data Structures, chapter Manhattan distance. U.S. National Institute of Standards and Technology, 2006. http://www.nist.gov/dads/HTML/manhattanDistance.html.
7. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Sys. Design and Implem., 2008.
8. G. Candea, S. Bucur, and C. Zamfir. Automated software testing as a service. In Symp. on Cloud Computing, 2010.
9. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Symp. on Operating Systems Principles, 2001.
10. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In Network and Distributed System Security Symp., 2008.
11. H. Gunawi, T. Do, P. Joshi, P. Alvaro, J. Hellerstein, A. Arpaci-Dusseau, R. Arpaci-Dusseau, K. Sen, and D. Borthakur. Fate and destini: A framework for cloud recovery testing. In Symp. on Networked Systems Design and Implem., 2011.
12. S. Hariri, G. Qu, T. Dharmagadda, M. Ramkishore, and C. S. Raghavendra. Impact analysis of faults and attacks in large-scale networks. IEEE Security & Privacy, 2003.
13. L. Keller, P. Upadhyaya, and G. Candea. ConfErr: A tool for assessing resilience to human configuration errors. In Intl. Conf. on Dependable Systems and Networks, 2008.
14. V. I. Levenshtein. Binary codes capable of correcting deletions, insertions, and reversals. Soviet Physics - Doklady, 10, 1966.
15. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In Intl. Conf. on Programming Language Design and Implem., 2005.
16. P. D. Marinescu and G. Candea. LFI: A practical and general library-level fault injector. In Intl. Conf. on Dependable Systems and Networks, 2009.
17. P. D. Marinescu and G. Candea. Efficient testing of recovery code using fault injection. ACM Transactions on Computer Systems, 29(4), Dec. 2011.
18. P. McMinn. Search-based software test data generation: A survey. Intl. Journal on Software Testing, Verification and Reliability, 14:105-156, 2004.
19. Crash due to missing errmsg.sys. http://bugs.mysql.com/bug.php?id=25097, 2006.
20. Crash due to double unlock. http://bugs.mysql.com/bug.php?id=53268, 2010.
21. K. Nagaraja, X. Li, R. Bianchini, R. P. Martin, and T. D. Nguyen. Using Fault Injection and Modeling to Evaluate the Performability of Cluster-Based Services. USENIX Symp. on Internet Technologies and Systems, 2003.
22. C. Pacheco. Eclat: Automatic Generation and Classification of Test Inputs. PhD thesis, Springer, 2005.
23. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In Intl. Conf. on Software Engineering, 2007.
24. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
25. M. Sullivan and R. Chillarege. Software defects and their impact on system availability - a study of field failures in operating systems. In Intl. Symp. on Fault-Tolerant Computing, 1991.
26. T. K. Tsai and R. K. Iyer. Measuring fault tolerance with the FTAPE fault injection tool. In Intl. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, 1995.
27. T. Xie, N. Tillmann, P. de Halleux, and W. Schulte. Fitness-guided path exploration in dynamic symbolic execution. In Intl. Conf. on Dependable Systems and Networks, 2009.