Tool Support for Improving Test Coverage

Authors:
Susan Horwitz
Affiliations:
-
Venue:
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Year:
2002

Citing 8
Cited 1

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental program testing using program dependence graphs

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
What's in a region?: or computing control dependence regions in near-linear time for reducible control flow

ACM Letters on Programming Languages and Systems (LOPLAS)
Static slicing of threaded programs

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow

Proceedings of the 21st international conference on Software engineering
Slicing concurrent programs

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries

CC '01 Proceedings of the 10th International Conference on Compiler Construction

Restructuring unit tests with TestSurgeon

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing is a critical part of the software-engineering process. Coverage tools provide information about which components are exercised by a test suite, but they do not assist programmers with the important problem of how to increase coverage. We propose a tool to address that problem: Using the program's control and flow dependences, the tool helps programmers determine where to focus their efforts, and how to force a chosen component to be exercised.