The exception handling effectiveness of posix operating systems

IEEE Transactions on Software Engineering

Volumn 26, Issue 9, 2000, Pages 837-848

  Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Ballista; Exception handling; Multiversion comparison. A; Operating systems; POSIX; Robustness; Testing

Indexed keywords

BALLISTA TESTING SYSTEM; CRASH SYSTEMS; END OF FILE OVERRUNS; EXCEPTIONAL HANDLING; ILLEGAL POINTER VALUES; LIBRARY CODE; NUMERIC OVERFLOWS; SOFTWARE PACKAGE POSIX;

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); CODING ERRORS; COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEM RECOVERY; DATA FLOW ANALYSIS; DATA HANDLING; DATABASE SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034273862     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.877845     Document Type: Article

References (35)

1. A. AvizienisThe N-Version Approach to Fault-Tolerant SoftwareIEEE Trans. Software Eng., vol. 11, no. 12, pp. 1,491-1,501, 1985.
2. J. Barton, E. Czeck, Z. Segall, and D. SiewiorekFault Injection Experiments Using FIATIEEE Trans. Computers, vol. 39, no. 4, pp. 575-82, 1990.
3. B. Beizer, Black Box Testing. New York: Wiley 1995.
4. G. CarretteCRASHME: Random Input Testing http:// people.delphi.com/gjc/crashme.html, accessed 6 July 1998.
5. F. CristianException Handling and Tolerance of Software FaultsSoftware Fault Tolerance, Michael R. Lyu, ed., chapter 4, pp. 81-107, Chichester: Wiley, 1995.
6. E. Czeck, F. Feather, A. Grizzaffi, G. Finelli, Z. Segall, and D. SiewiorekFault-Free Performance Validation of Avionic MultiprocessorsProc. IEEE/AIAA Seventh Digital Avionics Systems CoJ., pp. 670-677, Oct. 1986.
7. J. DeVale, P. Koopman, D. GuttendorfThe Ballista Software Robustness Testing ServiceProc. 16th Int'l Conf. Testing Computer Software, pp. 33-42, 1999.
8. C. DLngmanMeasuring Robustness of a Fault Tolerant Aerospace SystemProc. 25th Int'l Symp. Fault-Tolerant Computing, pp. 522-527, June 1995.
9. C. DingmanPortable Robustness Benchmarks Ph.D. thesis, Dept. of Electrical and Computer Eng., Carnegie Mellon Univ., Pittsburgh, Penn., May 1997.
10. U.S. Department of DefenseHigh Level Architecture Run Time Infrastructure Programmer's Guide, RTI 1.3 Version 5 Dec. 16, 1998.
11. K. Fernsler and P. KoopmanRobustness Testing of a Distributed Simulation BackplaneProc.Wth Int'l Symp. Software Reliability Eng., Nov. 1-4, 1999.
12. N. GehaniExceptional C or C with ExceptionsSoftwarePractice and Experience, vol. 22, no. 10, pp. 827-48, 1992.
13. J. GoodenoughException Handling: Issues and a Proposed NotationComm. ACM, vol. 18, no. 12, pp. 683-696, Dec. 1975.
14. I. HillFaults in Functions, in ALGOL and FORTRANThe ComputerJ., vol. 14, no. 3, pp. 315-316, Aug. 1971.
15. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990, IEEE CS, Dec. 10, 1990.
16. IEEE Standard for Information Technology-Portable Operating System Interface (POSIX) Part 1: System Application Program Interface (API) Amendment 1: Realtime Extension [C LanguageJ. IEEE Std 1003.1b-1993, IEEE CS, 1994.
17. E. Jones, ed., The Apollo Lunar Surface J., Apollo 11 Lunar Landing, Entries 102:38:30, 102:42:22, and 102:42:41, National Aeronautics and Space Administration, Washington, DC, 1996.
18. G. Kanawati, N. Kanawati, J. AbrahamFERRARI: A Tool for the Validation of System Dependability PropertiesProc. 1992 IEEE Workshop Fault-Tolerant Parallel and Distributed Systems, pp. 336-344, July 1992.
19. P. Koopman, J. Sung, C. Dingman, D. Siewiorek, and T. MärzComparing Operating Systems Using Robustness BenchmarksProc. Symp. Reliable and Distributed Systems, pp. 72-79, 1997.
20. P. Koopman, J. DeValeComparing the Robustness of POSIX Operating SystemsProc. 28th Fault-Tolerant Computing Symp., pp. 30-37, 1999.
21. D. Korn and K.-P. VoSFIO: Safe/Fast String/File IOProc. Summer 1991 USENIX Conf., pp. 235-256, 1991.
22. N. Kropp, P. Koopman, D. SiewiorekAutomated Robustness Testing of Off-the-Shelf Software ComponentsProc. 28th FaultTolerant Computing Symp., pp. 230-239, 1998.
23. J.L. Lions, chairman,Ariane 5 Flight 501 Failure: Report by the Inquiry Board European Space Agency, July 19, 1996.
24. B. Marick, The Craft of Software Testing. Prentice Hall, 1995.
25. B. Miller, L. Fredriksen, and B. SoAn Empirical Study of the Reliability of Operating System UtilitiesComm. ACM, vol. 33, pp. 32-44, Dec. 1990.
26. B. Miller, D. Koski, C. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. SteidlFuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services" Computer Science Technical Report 1268, Univ. of Wisconsin-Madison, May 1998.
27. J. Musa, G. Fuoco, N. Irving, and D. Kropfl, B. JuhlinThe Operational ProfileHandbook of Software Reliability Eng. Los Alamitos, Calif.: IEEE CS Press, pp. 167-216, 1996.
28. Object Management GroupThe Common Object Request Broker: Architecture and Specification, Revision 2.0 July 1995.
29. T.J. Ostrand and M.J. BakerThe Category-Partition Method for Specifying and Generating Functional TestsComm. ACM, vol. 31, no. 6, pp. 676-686, 1987.
30. M. Schuette, J. Shen, D. Siewiorek, and Y. ZhuExperimental Evaluation of Two Concurrent Error Detection SchemesDigest of Papers; Proc. 16th Ann. Int'l Symp. Fault-Tolerant Computing Systems, pp. 138-43, 1986.
31. D. Siewiorek, J. Hudak, B. Suh, and Z. SegalDevelopment of a Benchmark to Measure System RobustnessProc. 23rd Int'l Symp. Fault-Tolerant Computing, pp. 88-97, 1993.
32. A. Srivastava and A. EustaceATOM: A System for Building Customized Program Analysis Tools Research Report WRL-94/2, Digital Western Research Lab, Palo Alto, Calif., 1994.
33. T. Tsai and R. lyerMeasuring Fault Tolerance with the FTAPE Fault Injection ToolProc. Eighth Int'l Conf. Modeling Techniques and Tools for Computer Performance Evaluation, pp. 26-40, 1995.
34. R. Uhlig, D. Nagle, T. Mudge, S. Sechrest, and J. EmerInstruction Fetching: Coping with Code BloatProc. 22nd Ann. Int'l Symp. Computer Architecture, pp. 345-356, 1995.
35. K-P. Vo, Y.-M. Wang, P. Chung, and Y. HuangXept: A Software Instrumentation Method for Exception HandlingProc. Eighth Int'l Symp. Software Reliability Eng., pp. 60-69, 1997.