Abstract
This paper investigates the impact of state on robustness testing, by enhancing the traditional approach with the inclusion of the OS state in test cases definition. We evaluate the relevance of OS state and the effects of the proposed strategy through an experimental campaign on the file system of a Linux-based OS, to be adopted by Finmeccanica for safety-critical systems in the avionic domain. Results show that the OS state plays an important role in testing those corner cases not covered by traditional robustness testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Koopman, P., DeVale, J.: The exception handling effectiveness of POSIX operating systems. IEEE Trans. on Software Engineering 26(9) (2002)
Koopman, P., Sung, J., Dingman, C., Siewiorek, D., Marz, T.: Comparing operating systems using robustness benchmarks. In: SRDS (1997)
Sullivan, M., Chillarege, R.: Software Defects and their Impact on System Availability-A Study of Field Failures in Operating Systems. In: FTCS (1991)
RTCA Inc., Software considerations in airborne systems and equipment certification, RTCA DO-178B, EUROCAEED-12B (1992)
IEEE Standard for Information Technology-Portable Operating System Interface (POSIX). IEEE Std 1003.1b-1993, IEEE CS (1994)
Kanoun, K., Crouzet, Y., Kalakech, A., Rugina, A.-E., Rumeau, P.: Benchmarking the Dependability of Windows and Linux using PostMarkTM Workloads. In: ISSRE (2005)
Kalakech, A., Kanoun, K., Crouzet, Y., Arlat, J.: Benchmarking The Dependability of Windows NT4, 2000 and XP. In: DSN (2004)
Cotroneo, D., Natella, R., Pietrantuono, R., Russo, S.: Software Aging Analysis of the Linux Operating System. In: ISSRE (2010)
Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An empirical study of operating systems errors. In: SOSP (2001)
Albinet, A., Arlat, J., Fabre, J.C.: Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. In: DSN (2004)
Johansson, A., Suri, N., Murphy, B.: On the selection of error model(s) for OS robustness evaluation. In: DSN (2007)
Duraes, J., Madeira, H.: Multidimensional characterization of the impact of faulty drivers on the operating systems behavior. IEICE Trans. on Information and Systems 86(12) (2003)
Gu, W., Kalbarczyk, Z., Iyer, R.K., Yang, Z.: Characterization of Linux kernel behavior under errors. In: DSN (2003)
Skarin, D., Barbosa, R., Karlsson, J.: GOOFI-2: A tool for experimental dependability assessment. In: DSN (2010)
Bairavasundaram, L.N., Rungta, M., Agrawa, N., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H., Swift, M.M.: Analyzing the effects of disk-pointer corruption. In: DSN (2008)
Dreges, R.J., Nanya, T.: Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels. In: EDCC (2010)
Johansson, A., Suri, N., Murphy, B.: On the impact of injection triggers for OS robustness evaluation. In: ISSRE (2007)
Sarbu, C., Johansson, A., Suri, N., Nagappan, N.: Profiling the operational behavior of OS device drivers. Empirical Soft. Eng. 15(4) (2009)
Prabhakaran, V., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H.: Model-based failure analysis of journaling file systems. In: DSN (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cotroneo, D., Di Leo, D., Natella, R., Pietrantuono, R. (2011). A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)