论文部分内容阅读
由于UML时序图不能够描述多态性，导致根据时序图生成的测试用例存在不足，无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM（class sets of polymorphism methods），并将多态性时序图转换为多态扩展有向无环图PCOMDAG（polymorphism class object method acyclic graph）。使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历，自动生成多态性时序图