The Exception Handling Effectiveness of POSIX Operating Systems
IEEE Transactions on Software Engineering
An empirical study of operating systems errors
SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
IEEE Standard for Information Technology - Portable Operating System Interface (POSIX): System Application Program Interface (API), Amendment 1: Realtime Extension (C Language), IEEE Std 1003.1b-1993
Comparing Operating Systems Using Robustness Benchmarks
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
Benchmarking The Dependability of Windows NT4, 2000 and XP
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Model-Based Failure Analysis of Journaling File Systems
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
Benchmarking the Dependability of Windows and Linux Using PostMark™ Workloads
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
On the Selection of Error Model(s) for OS Robustness Evaluation
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
On the Impact of Injection Triggers for OS Robustness Evaluation
ISSRE '07 Proceedings of the The 18th IEEE International Symposium on Software Reliability
Profiling the operational behavior of OS device drivers
Empirical Software Engineering
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels
EDCC '10 Proceedings of the 2010 European Dependable Computing Conference
Software Aging Analysis of the Linux Operating System
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
| Hi-index | 0.00 |
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.