Fragment class analysis for testing of polymorphism in Java software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 210-220

  Rountev, Atanas ^a   Milanova, Ana ^b   Ryder, Barbara G ^b  

^a OHIO STATE UNIVERSITY   (United States)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENCODING (SYMBOLS); OBJECT ORIENTED PROGRAMMING;

OBJECT ORIENTED SOFTWARE; POLYMORPHISM;

JAVA PROGRAMMING LANGUAGE;

EID: 0038601667     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201201     Document Type: Conference Paper

References (38)

1. O. Agesen. Constraint-based type inference and parametric polymorphism, In Static Analysis Symposium, LNCS 864, pages 78-100, 1994.
2. O. Agesen. The cartesian product algorithm. In European Conference on Object-oriented Programming, LNCS 952, pages 2-26, 1995.
3. R. Alexander and J. Offutt. Criteria for testing polymorphic relationships. In International Symposium on Software Reliability Engineering, pages 15-23, 2000.
4. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994.
5. D. Bacon and P. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324-341, 1996.
6. R. Binder. Testing object-oriented software: a survey. Journal of Software Testing, Verification and Reliability, 6:125-252 Dec. 1996.
7. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.
8. R. Chatterjee and B. G. Ryder. Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-433, Rutgers University, Apr. 2001.
9. R. Chatterjee, B. G. Ryder, and W. Landi. Relevant context inference. In Symposium on Principles of Programming Languages, pages 133-146, 1999.
10. M. H. Chen and M. H. Kao. Testing object-oriented programs - an integrated approach. In International Symposium on Software Reliability Engineering, pages 73-83, 1999.
11. B. Cox. The need for specification and testing languages. Journal of Object-Oriented Programming, 1(2):44-47, June 1988.
12. J. Dean, D. Grove, and C. Chambers. Optimizations of object-oriented programs using static class hierarchy analysis. In European Conference on Object-oriented Programming, pages 77-101, 1995.
13. G. DeFouw, D. Grove, and C. Chambers. Fast interprocedural class analysis. In Symposium on Principles of Programming Languages, pages 222-236, 1998.
14. A. Diwan, J. B. Moss, and K. McKinley. Simple and effective analysis of statically-typed object-oriented programs. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 292-305, 1996.
15. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
16. D. Grove and C. Chambers. A framework for call graph construction algorithms. ACM Transactions on Programming Languages and Systems, 23(6):685-746, Nov. 2001.
17. D. Grove, G. DeFouw, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 108-124, 1997.
18. M. J. Harrold and G. Rothermel. Performing data flow testing on classes. Symposium on the Foundations of Software Engineering, pages 154-163, 1994.
19. D. Liang, M. Pennings, and M. J. Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to-analyses for Java. In Workshop on Program Analysis for Software Tools and Engineering, pages 73-79, 2001.
20. D. Liang, M. Pennings, and M. J. Harrold. Evaluating the precision of static reference analysis using profiling. In International Symposium on Software Testing and Analysis, pages 22-32, 2002.
21. T. McCabe, L. Dreyer, A. Dunn, and A. Watson. Testing an object-oriented application. Journal of the Quality Assurance Institute, 8(4):21-27, Oct. 1994.
22. R. McDaniel and J. McGregor. Testing the polymorphic interactions between classes. Technical Report 94-103, Clemson University, Mar. 1994.
23. A. Milanova, A. Rountev and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In International Symposium on Software Testing and Analysis, pages 1-11, 2002.
24. M. Mock, M. Das, C. Chambers, and S. Eggers. Dynamic points-to sets. In Workshop on Program Analysis for Software Tools and Engineering, pages 66-72, 2001.
25. J. Overbeck. Integration Testing for Object-Oriented Software. PhD thesis, Vienna University of Technology, 1994.
26. J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 146-161, 1991.
27. D. Perry and G. Kaiser. Adequate testing and object-oriented programming. Journal of Object-Oriented Programming, 2(5):13-19, Jan. 1990.
28. J. Plevyak and A. Chien. Precise concrete type inference for object-oriented languages. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324-340, 1994.
29. C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
30. A. Rountev. Dataflow Analysis of Software Fragments. PhD thesis, Rutgers University, Aug. 2002.
31. A. Rountev, A. Milanova and B. G. Ryder. Points-to analysis for Java using annotated constraints. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 43-55, Oct. 2001.
32. E. Ruf. Effective synchronization removal for Java. In Conference on Programming Language Design and Implementation, pages 208-218, 2000.
33. O. Shivers. Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University, 1991.
34. M. Streckenbach and G. Snelting. Points-to for Java: A general framework and an empirical comparison. Technical report, U. Passau, Sept. 2000.
35. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 264-280, 2000.
36. P. Sweeney and F. Tip. Extracting library-based object-oriented applications. In Symposium on the Foundations of Software Engineering, pages 98-107, 2000.
37. N. N. Thuy. Testability and unit tests in large object-oriented software. In Proc. 5th International Software Quality Week. Software Research Institute, 1992.
38. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 281-293, 2000.