Compiler-directed Program-fault Coverage for Highly Available Java Internet Services

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 595-604

  Fu, Chen ^a   Martin, Richard P ^a   Nagaraja, Kiran ^a   Nguyen, Thu D ^a   Ryder, Barbara G ^a   Wonnacott, David ^b  

^a RUTGERS UNIVERSITY   (United States)

^b HAVERFORD COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT INJECTION; JAVA INTERNET SERVICES;

DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; PROBABILITY; PROGRAM COMPILERS; SERVERS; SOFTWARE ENGINEERING;

INTERNET;

EID: 1542359968     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2003.1209969     Document Type: Conference Paper

References (34)

1. The Eclipse IDE. See http://www.eolipse.org/.
2. The Muffin world wide web filtering system. See http://muffin.doit.org/.
3. J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, and D. Powell. Fault injection and dependability evaluation of fault-tolerant systems. IEEE Transactions on Computers, 42(8):913-923, Aug. 1993.
4. K. Arnold and J. Gosling. The Java Programming Language, Second Edition. Addison-Wesley, 1997.
5. M. Arnold and P. F. Sweeney. Approximating the calling context tree via sampling. Technical Report RC 21789, IBM T.J. Watson Research Center, July 2000.
6. ++ virtual functions calls. In Proceedings of ACM SIGPLAN Conference on Object-oriented Programing Systems, Languages and Applications (OOPSLA'96), pages 324-341, Oct. 1996.
7. J. Bieman, D. Dreilinger, and L. Lin. Using fault injection to increase software test coverage. In Proc. 7th Int. Symp. on Software Reliability Engineering (ISSRE'96), pages 166-74. IEEE Computer Society Press, 1996.
8. R. V. Binder. Testing Object-oriented Systems. Addison Wesley, 1999.
9. W. G. Bouricius, W. C. Carter, and P. Schneider. Reliability modeling techniques for self repairing computer systems. In In Proceedings of the 24th National Conference of the ACM, pages 295-309, March 1969.
10. M. Cukier, R. Chandra, D. Henke, J. Pistole, and W. H. Sanders. Fault injection based on a partial view of the global state of a distributed system. In Symposium on Reliable Distributed Systems, pages 168-177, 1999.
11. S. Dawson, F. Jahanian, and T. Mitton. ORCHESTRA: A Fault Injection Environment for Distributed Systems. In Proc. 26th Int. Symp. on Fault Tolerant Computing(FTCS-26), pages 404-414, Sendai, Japan, June 1996.
12. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy. In Proceedings of 9th European Conference on Object-oriented Programming (ECOOP'95), pages 77-101, 1995.
13. J. B. Dugan and K. S. Trivedi. Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Transactions on Computers, 38(6):775-787, June 1989.
14. C. Fu, R. P. Martin, K. Nagaraja, T. D. Nguyen, B. G. Ryder, and D. Wonnacott. Compiler-directed program-fault coverage for highly available Java internet services. Technical Report DCS-TR-518, Department of Computer Science, Rutgers University, Jan. 2003.
15. D. Grove and C. Chambers. A framework for call graph construction algorithms. ACM Transactions on Programming Languages and Systems (TOPLAS), 23(6), 2001.
16. D. Hamlet. Foundations of software testing: dependability theory. In Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of software engineering, pages 128-139, ACM Press, 1994.
17. S. Han, K. Shin, and H. Rosenberg. DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems. In Int. Computer Performance and Dependability Symp. (IPDS'95), pages 204-213, Erlangen, Germany, Apr. 1995.
18. H. Hecht and P. Crane. Rare conditions and their effect on software failures. In In Proceedings of the Annual Reliability and Maintainability Symposium, pages 334-337, Anaheim, CA, Jan. 1994.
19. M. Kalyanakrishnam, Z. Kalbarczyk, and R. Iyer. Failure Data Analysis of a LAN of Windows NT Based Computers. In Proceedings of the 18th Symposium on Reliable and Distributed Systems (SRDS '99), 1999.
20. G. A. Kanawati, N. A. Kanawati, and J. A. Abraham. FERRARI: A Tool for the Validation of System Dependability Properties. In Proc. 22nd Int. Symp. on Fault Tolerant Computing(FTCS-22), pages 336-344, Boston, Massachusetts, 1992. IEEE Computer Society Press.
21. X. Li, R. P. Martin, K. Nagaraja, T. D. Nguyen, and B. Zhang. Mendosus: A SAN-Based Fault-Injection Test-Bed for the Construction of Highly Available Network Services. In Proceedings of the 1st Workshop on Novel Uses of System Area Networks (SAN-1), Cambridge, MA, Jan. 2002.
22. D. Liang, M. Pennings, and M. Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for java. In Proceedings of the 2001 ACM SIG-PLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 73-79, June 2001.
23. B. Marick. The Craft of Software Testing, Subsystem Testing Including Object-based and Object-oriented Testing. Prentice-Hall, 1995.
24. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analysis. In Proceedings of the International Symposium on Software Testing and Analysis, pages 1-11, 2002.
25. G. J. Myers. The Art of Software Testing. John Wiley and Sons, 1979.
26. S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367-375, Apr. 1985.
27. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java using annotated constraints. In Proceedings of the Conference on Object-oriented Programming, Languages, Systems and Applications, pages 43-55, 2001.
28. Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki, J. Barton, D. Rancey, A. Robinson, and T. Lin. FIAT - Fault Injection based Automated Testing environment. In Proc. 18th Int. Symp. on Fault-Tolerant Computing (FTCS-18), pages 102-107, Tokyo, Japan, 1988. IEEE Computer Society Press.
29. R. Sethi. Programming Languages, Concepts and Constructs, 2nd Edition. Addison Wesley, 1996.
30. Sun-Microsystems. Java development kit 1.2. See http://java.sun.com/products/jdk/1. 2/-docs/api/.
31. N. Talagala and D. Patterson. An Analysis of Error Behaviour in a Large Storage System. In Proceedings of the Annual IEEE Workshop on Fault Tolerance in Parallel and Distributed Systems, April 1999.
32. D. Tang and H. Hecht. An approach to measuring and assessing dependability for critical software systems. In In Proceedings of the Eighth International Symposium on Software Reliability Engineering, pages 192-202, Albuquerque, NM, Nov. 1997.
33. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Proceedings of the Conference on Object-oriented Programming, Languages, Systems and Applications, pages 281-293, Oct. 2000.
34. T. Tsai, M. Hsueh, H. Zhao, Z. Kalbarczyk, and R. Iyer. Stress-based and path-based fault injection. IEEE Transactions on Computers, 48(11):1183-1201, Nov. 1999.