AbstractSeveral 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  to compute the coverage requirements, and present initial empirical evaluation of analysis precision.
RightsThis Item is protected by copyright and/or related rights.You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use.For other uses you need to obtain permission from the rights-holder(s).