摘要
首先分析了多态性的成因及形式化表示;然后借用控制流图的思想分析协作图,将类图中的信息结合到协作图中,对传统的函数间受限控制流图IRCFG进行多态性扩展并带上类图的基本信息;最后分析了测试覆盖准则并给出测试线索的生成方法。
Polymorphism is one of the three most important characteristics of object-oriented technology.It not only enhances the flexibility of programming and reuse of codes,but also brings new challenges to software testing.The cause of its appearance and its formalization expressing were analyzed.Under the guidance of control-flow graph,the information of class diagram was integrated with collaboration diagram,traditional Interprocedural Restricted Control-Flow Graph(IRCFG) was extended with polymorphic informatio...
出处
《计算机应用》
CSCD
北大核心
2009年第3期712-715,共4页
journal of Computer Applications
关键词
多态性
类图
协作图
测试线索
polymorphism
class diagram
collaboration diagram
testing sequence
