Discovering accurate interclass test dependences

Authors:
Weilei Zhang;Barbara G. Ryder
Affiliations:
Rutgers University, Piscataway, NJ;Rutgers University, Piscataway, NJ
Venue:
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
2007

Citing 15
Cited 1

Software system testing and quality assurance

Software system testing and quality assurance
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
Control-flow analysis of higher-order languages of taming lambda

Control-flow analysis of higher-order languages of taming lambda
On regression testing of object-oriented programs

Journal of Systems and Software
Testing levels for object-oriented software

Proceedings of the 22nd international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Practical virtual method call resolution for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Scalable propagation-based call graph construction algorithms

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A framework for call graph construction algorithms

ACM Transactions on Programming Languages and Systems (TOPLAS)
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Constructing Precise Object Relation Diagrams

ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
An Investigation of Graph-Based Class Integration Test Order Strategies

IEEE Transactions on Software Engineering
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Parameterized object sensitivity for points-to analysis for Java

ACM Transactions on Software Engineering and Methodology (TOSEM)
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks

SCAM '06 Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation

A practice-driven systematic review of dependency analysis solutions

Empirical Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.