Discovering accurate interclass test dependences

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2007, Pages 55-61

  Zhang, Weilei ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

Class integration test; Interclass test dependence

Indexed keywords

CLASS INTEGRATION TESTS; INTERCLASS TEST DEPENDENCE; PROGRAM ANALYSIS;

APPROXIMATION ALGORITHMS; BENCHMARKING; COMPUTER PROGRAMMING; PARAMETERIZATION; SEMANTICS;

KNOWLEDGE ACQUISITION;

EID: 36549023405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1251535.1251545     Document Type: Conference Paper

References (18)

1. Beizer, B. Software System Testing and Quality Assurance. Van Nostrand Reinhold, 1984
2. Binder, R.V. Testing Object-Oriented Systems-Models, Patterns, and Tools. Addison-Wesley, 1999
3. Briand, L. C. Labiche, Y. Wang, Y. An Investigation of Graph-Based Class Integration Test Order Strategie. IEEE Transactions on Software Engineering, volume 29-7, 2003
4. Grove, D. Chambers, C. A framework for call graph construction algorithms. ACM Transactions on Programming Languages and Systems (TOPLAS), volume 23-6, 2001
5. Hanh, V. L. Akif, K. Traon, Y. L. Jzquel, J.-M. Selecting an Efficient object-oriented Integration Testing Strategy: An Experimental Comparison of Actual Strategies. Proceedings of the 15th European Conference on Object-Oriented Programming, 2001
6. Kung, D. Gao, J. Hsia, P. Lin, J. Toyoshima, Y. Class Firewall, test order, and regression testing of object-oriented programs. Journal of Object-Oriented Programming, volume 8(2):51-65, 1995
7. Labiche, Y. Thevenod-Fosse, P. Waeselynck, H. Durand, M.-H. Testing levels for object-oriented software. Proceedings of the 22nd international conference on Software engineering (ICSE-22), 136-145, 2000
8. Milanova, A. Rountev, A. Ryder, B. G. Constructing Precise Object Relation Diagrams. ICSM:586-595, 2002
9. Milanova, A. Rountev, A. Ryder, B. G. Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol, volume 14(1): 1-41, 2005
10. Podgurski, A. Clarke, L. A. A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance. IEEE Transactions on Software Engineering, volume 16(9): 965-979, 1990
11. Shivers, O. Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University, 1991
12. Sundaresan, V. Hendren, L. Razafimahefa, C. Vallee-Rai, R. Lam, P. Gagnon, E. Godin, C. Practical Virtual Method Call Resolution for Java. Proceedings of the Conference on Object-oriented Programming, Languages, Systems and Applications, pages 254-280, 2000
13. Tai, K. Daniels, F. J. Interclass Test Order for Object- Oriented Software, J. Object-Oriented Programming, volume 12(4): 18-25, 1999
14. Tip, F. Palsberg, J. Scalable Propagation-based Call Graph Construction Algoritms. Proceedings of the Conference on Object-oriented Programming, Languages, Systems and Applications, 2000
15. Traon, Y. L. Jeron, T. Jezequel, J.-M. Morel, P. Efficient ObjectOriented Integration and Regression Testing. IEEE Trans. Reliability, volume 49(1): 12-25, 2000
16. Whaley, J. Lam, M. S. Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. Proceedings of the 2004 ACM Conference on Programming Language Design and Implementation (PLDI), 2004
17. Zhang, W. Ryder, B. G. A Semantics-based Definition for Interclass Test Dependence. Technical Report DCS-TR-597, Dept. of Comp. Sci., Rutgers Univ, 2006
18. Zhang, W. Ryder, B. G. Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. Proceedings of Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pages 63-74, 2006