Abstract
Several coverage criteria have been proposed for testing of polymorphic interactions in object-oriented software. We have built a prototype tool that supports these criteria. This paper describes the overall tool design, and shows how class analysis is used by the tool to compute the coverage requirements. We discuss the importance of analysis precision and the ability to analyze subsets of partial programs. We also show how to modify Rapid Type Analysis [2] to compute the coverage requirements, and present initial empirical evaluation of analysis precision.