一种基于uml的多态性测试线索生成方法

？首先分析了多态性的成因及形式化表示；然后借用控制流图的思想分析协作图，将类图中的信息结合到协作图中，对传统的函数间受限控制流图ircfg进行多态性扩展并带上类图的基本信息；最后分析了测试覆盖准则并给出测试线索的生成方法。