收录：
摘要：
基于UML时序图的测试用例自动生成方法属于软件自动化测试领域。主要内容包括通过谓词逻辑和集合论的形式化定义解析规约文本，得到UML时序图中的对象、消息以及约束条件生成测试场景，再通过添加测试数据、扫描系统对外接口，自动生成测试用例。本发明包括借助Papyrus插件，对UML时序图进行解析，得到特定谓词逻辑的UML文档。通过设计UML文档的解析工具，实现对UML文档到XML文本的解析。最后从得到的XML文本中抽取需要的事件集合，再借助变异的深度优先遍历算法，结合测试路径覆盖准则，生成测试路径。再通过导入测试数据，满足不同条件下的测试用例。本发明提高软件测试过程中的测试的覆盖率和准确性，使得自动化测试可以高效灵活的实施。
关键词：
通讯作者信息：
电子邮件地址：
