[发明专利]基于UML时序图的测试用例自动生成方法

摘要

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

主权项

基于UML时序图的测试用例自动生成方法，其特征在于：通过UML模型的Papyrus插件工具，基于OCL约束和OMG标准，得到将UML时序图转化为UML模型文件(xmi),按照谓词逻辑将UML时序图表示为一个三元组，抽象为SDG＝<O,M,E>,其中：O＝{object|object是SDG时序图中的对象}M＝{message|message是消息}，其中的消息内容：[发生条件]消息名(参数列表){返回消息}E＝{event|event是一条消息对应的事件}，且E＝M*{s,r}s,r分别表示消息的sent和receiver由Papyrus插件生成的.uml文档，得到消息集合、对象集合、事件集合；通过对消息中内容进行分割，再依据正则表达式对消息体进行过滤，得到前置条件和后置约束；通过解析消息中的前置条件、消息名称和后置约束定位路径的下一个节点，将得到的XML文本抽取需要的消息集合，然后按照规约的逻辑得到事件集合和边的关联；其中具体的实现逻辑是“后置约束的字符串表达式在下一个结点中的前置条件中出现”，如果满足该条件则表示这两个结点存在边关联，从而生成完整的测试路径；通过变异的深度优先遍历算法将得到的事件集合和边数组进行遍历，保存符合测试逻辑的测试路径。