Inter-class Def-Use Analysis with Partial Class Representations

PASTE 1999 - Proceedings of the 1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 1999, Pages 47-56

  Souter, Amie L ^a   Pollock, Lori L ^a   Hisley, Dixie ^b  

^a University of Delaware   (United States)

^b U S ARMY RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; OBJECT ORIENTED PROGRAMMING; STATIC ANALYSIS;

CLASS INHERITANCE; DEF-USE ANALYSIS; DESIGN PRINCIPLES; DYNAMIC BINDING; INTER CLASS; OBJECT-ORIENTED DESIGN; OBJECT-ORIENTED PROGRAM; OBJECT-ORIENTED SOFTWARES; PROGRAM DESIGN; REUSE;

POLYMORPHISM;

EID: 0013134395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/381788.316178     Document Type: Conference Paper

References (18)

1. David F. Bacon and Peter F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proceedings of Object-Oriented Programming Systems, Languages and Applications, 1996.
2. Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, 1994.
3. Ramkrishna Chatterjee and Barbara Ryder. Data-flow-based Testing of Object-Oriented Libraries. Technical Report 382, Rutgers University, March 1999.
4. Ramkrishna Chatterjee, Barbara G. Ryder, and William A. Landi. Relevant Context Inference. In Proceedings of Principles of Programming Languages, 1999.
5. Amer Diwan, J. Eliot B. Moss, and Kathryn S. McKinley. Simple and Effective Analysis of Statically-Typed Object-Oriented Programs. In Proceedings of Object-Oriented Programming Systems, Languages and Applications, 1996.
6. R. Gupta, M.J. Harrold, and M.L. Soffa. An Approach to Regression Testing using Slicing. In Proceedings of Software Maintenance, pages 299-308, 1992.
7. Mary Jean Harrold and Gregg Rothermel. Performing Data Flow Testing on Classes. In Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1994.
8. M.J. Harrold and M.L. Soffa. Interprocedural Data Flow Testing. In Proceedings of the ACM Symposium on Testing, Analysis, and Verification, pages 158-167, 1989.
9. S. Horwitz, T. Reps, and D. Binkley. Intergrating Non-interfering Version of Programs. ACM Transactions on Programming Languages and Systems, ll(3):345-387, 1989.
10. Loren Larseji and Mary Jean Harrold. Slicing Object-Oriented Software. In Proceedings of the International Conference on Software Engineering, 1996.
11. Donglin Liang and Mary Jean Harrold. Slicing Objects Using System Dependence Graphs. In Proceedings of the International Conference on Software Maintence, pages 358-367, 1998.
12. James Martin. Prinicples of Object-Oriented Analysis and Design. Prentice Hall, 1993.
13. John D. McGregor, Brian A. Malloy, and Rebecca L. Siegmund. A Comprehensible Program Representation of Object-Oriented Software. Annals of Software Engineering, 2, 1996.
14. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
15. H. Pande, W. Landi, and B.G. Ryder. Interprocedural Def-Use Associations in C Programs. IEEE Transactions on Software Engineering, 20(5):385-403, May 1994.
16. T. Reps, T. Teitelbaum, and A. Demers. Incremental Context-Dependent Analysis for Language Based Editors. ACM Transactions on Programming Languages and Systems 5(3):449-477, July 1983.
17. Frank Tip, Jong-Deok Choi, John Field, and G. Ramalingam. Slicing Class Hierarchies in C++. In Proceedings of Object-Oriented Programming Systems, Languages and Applications, 1996.
18. M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.