The Construction of Contextual Def-Use Associations for Object-Oriented Systems

IEEE Transactions on Software Engineering

Volumn 29, Issue 11, 2003, Pages 1005-1018

  Souter, Amie L ^a,c   Pollock, Lori L ^b,c  

^a Drexel University   (United States)

^b University of Delaware   (United States)

^c IEEE   (United States)

Author keywords

D.2.5.m Testing coverage of code; D.3.2.p Object oriented languages; Object flow analysis

Indexed keywords

CLASS CONTROL FLOW GRAPH (CCFG); CODE TESTING;

ALGORITHMS; CODES (SYMBOLS); COMPUTATIONAL METHODS; CONTEXT FREE LANGUAGES; FLOWCHARTING; GRAPHICAL USER INTERFACES; LARGE SCALE SYSTEMS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 0347527079     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2003.1245302     Document Type: Article

References (19)

1. R. Alexander and A.J. Offutt, "Analysis Techniques for Testing Polymorphic Relationships," Proc. Int'l Conf. Exhibition on Technology of Object-Oriented Languages and Systems, 1999.
2. D.F. Bacon and P.F. Sweeney, "Fast Static Analysis of C++ Virtual Function Calls," Proc. Conf. Object-Oriented Programming Systems, Languages and Applications, Oct. 1996.
3. U. Buy, A. Orso, and M. Pezze, "Automated Testing of Classes," Proc. ACM SIGSOFT Int'l Symp. Software Testing and Analysis, Aug. 2000.
4. R. Chatterjee, B.C. Ryder, and W.A. Landi, "Relevant Context Inference," Proc. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, Jan. 1999.
5. M.-H. Chen and H.M. Kao, "Testing Object-Oriented Programs - An Integrated Approach," Proc. Int'l Symp. Software Reliability Eng., 1999.
6. M. Fröhlich and M. Werner, "The Graph Visualization System da Vinci," technical report, Universität Bremen, Germany, Sept. 1994.
7. M.J. Harrold and G. Rothermel, "Performing Data Flow Testing on Classes," Proc. Symp. Foundations of Software Eng., 1994.
8. Z. Jin and A.J. Offutt, "Coupling-Based Criteria for Integration Testing," Software Testing, Verification and Reliability, vol. 8, no. 3, pp. 133-154, 1998.
9. P.C. Jorgensen and C. Erickson, "Object-Oriented Integration Testing," Comm. ACM, vol. 37, no. 9, pp. 30-38, Sept. 1994.
10. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y.-S. Kim, and Y.-K. Song, "Developing an Object-Oriented Software Testing and Maintenance Environment," Comm. ACM, vol. 38, no. 10, pp. 75-86, Oct. 1995.
11. A. Orso, "Integration Testing of Object-Oriented Software," PhD thesis, Politecnico Di Milano, 1998.
12. J. Overbeck, "Integration Testing for Object-Oriented Software," PhD thesis, Vienna Univ. of Technology, 1994.
13. M. Rinard, "FLEX: The FLEX Group," http://www.flex-compiler.lcs.mit.edu, 2002.
14. A.L. Souter, "Context-Driven Testing of Object-Oriented Systems," PhD thesis, Univ. of Delaware, 2002.
15. A.L. Souter and L.L. Pollock, "OMEN: A Strategy for Testing Object-Oriented Software," Proc. ACM SIGSOFI Int'l Symp. Software Testing and Analysis, Aug. 2000.
16. A.L. Souter and L.L. Pollock, "Contextual Def-Use Associations for Object Aggregation," Proc. ACM Workshop Program Analysis for Software Tools and Eng., 2001.
17. A.L. Souter, L.L. Pollock, and D. Hisley, "Inter-Class Def-Use Analysis with Partial Class Representations," Proc. ACM Workshop Program Analysis For Software Tools and Eng., 1999.
18. A.L. Souter, T.M. Wong, S.A. Shindo, and L.L. Pollock, "TATOO: Testing and Analysis Tool for Object-Oriented Software," Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems, Apr. 2001.
19. J. Whaley and M. Rinard, "Compositional Pointer and Escape Analysis for Java Programs," Proc. ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages, and Applications, Nov. 1999.