论文信息 - An empirical study of operating systems errors

An empirical study of operating systems errors

We present a study of operating system errors found by automatic, static, compiler analysis applied to the Linux and OpenBSD kernels. Our approach differs from previous studies that consider errors...

[1] Victor R. Basili,et al. Software errors and complexity: an empirical investigation0 , 1984, CACM.

[2] Barton P. Miller,et al. An empirical study of the reliability of UNIX utilities , 1990, Commun. ACM.

[3] Mark Sullivan,et al. A comparison of software defects in database management systems and operating systems , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[4] Ravishankar K. Iyer,et al. Faults, symptoms, and software fault tolerance in the Tandem GUARDIAN90 operating system , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[5] Jacob A. Abraham,et al. FERRARI: A Flexible Software-Based Fault and Error Injection System , 1995, IEEE Trans. Computers.

[6] Anoop Gupta,et al. The impact of architectural trends on operating system performance , 1995, SOSP.

[7] Sharon E. Perl,et al. Studies of Windows NT performance using dynamic execution traces , 1996, OSDI '96.

[8] Michael D. Smith,et al. The measured performance of personal computer operating systems , 1996, TOCS.