messages.content: 请基于以下内容生成一组关键词，并用';'分隔
messages.role: system
messages.content: 带OCL的活动图多态性测试用例生成方法。研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。
messages.role: user
messages.content: 扩展活动图;统一建模语言;测试用例;多态性方法集;对象约束语言
messages.role: assistant