Skip to Main Content
Polymorphism is one of the three most important characters of object-oriented technology. Not only it enhances the flexibility of programming and reused of codes, but also it brings new challenge for the software testing. After analyzing the software UML model document, we represent it in XML form. And then, under the guidance of control-flow graph, we integrated class diagram's information with collaboration diagram, extended traditional interprocedural restricted control-flow graph(IRCFG) with polymorphic information and class diagram information. Also the approach to general testing sequence is given in this paper. Finally we designed an architecture of software testing and used Java API to implement some modules.