Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/1251535.1251545acmconferencesArticle/Chapter ViewAbstractPublication PagespasteConference Proceedingsconference-collections
Article

Discovering accurate interclass test dependences

Published: 13 June 2007 Publication History

Abstract

Knowledge of interclass test dependences is crucial to decide class test order, facilitating the design of an efficient integration test plan. In order to discover precise interclass test dependences, we proposed a semantic-based definition and designed a safe approximation algorithm to calculate the dependence according to the given definition. The algorithm propagates semantic dependences at method-level granularity and is parameterized by the precision of the corresponding program analysis. We have experimented with nine benchmarks and showed that the algorithm is rather accurate in that it discovers dependence cycles precisely in 6 out of 9 benchmarks (as evaluated by human inspection). The algorithm uncovers additional opportunities for concurrent testing in each of the benchmarks, with an on average expected 52.5% time savings over the ORD-based definition.

References

[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 Objectoriented 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 Algorithms. 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 Object-Oriented 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

Cited By

View all
  • (2011)A practice-driven systematic review of dependency analysis solutionsEmpirical Software Engineering10.1007/s10664-011-9158-816:5(544-586)Online publication date: 1-Oct-2011

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PASTE '07: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
June 2007
96 pages
ISBN:9781595935953
DOI:10.1145/1251535
  • General Chairs:
  • Manuvir Das,
  • Dan Grossman
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. class integration test
  2. interclass test dependence

Qualifiers

  • Article

Conference

PASTE07

Acceptance Rates

Overall Acceptance Rate 57 of 159 submissions, 36%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 03 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2011)A practice-driven systematic review of dependency analysis solutionsEmpirical Software Engineering10.1007/s10664-011-9158-816:5(544-586)Online publication date: 1-Oct-2011

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media