[发明专利]一种基于组件执行树模型的集成测试方法及系统

权利要求书

1.一种基于组件执行树模型的集成测试方法，其特征在于，包括：

获取组件级别的统一建模语言UML协作图和合约模型；所述UML协作图包括组件、链以及消息；所述UML协作图中的消息为带有消息标签的箭头，并附在链上；消息标签包含消息序号、消息条件、消息类型、发送对象、接收对象以及要激活的方法；所述合约模型为所述UML协作图中涉及的所有要激活的方法对应的所有合约的集合；所述合约模型包括前置条件以及后置条件；

根据所述UML协作图和所述合约模型建立组件执行树模型；

对所述组件执行树模型进行路径分析，确定路径约束；

根据所述路径约束生成集成测试用例；

根据所述集成测试用例对软件系统进行测试；

所述根据所述UML协作图和所述合约模型建立组件执行树模型，具体包括：

根据所述UML协作图中的消息确定所述UML协作图以及所述组件执行树模型之间的映射表；

根据所述映射表将所述UML协作图中的消息转换为组件执行树模型的多个节点，并建立节点之间的关系；

根据所述节点之间的关系，结合所述合约模型，建立组件执行树模型；

所述根据所述映射表将所述UML协作图中的消息转换为组件执行树模型的多个节点，并建立节点之间的关系，具体包括：

根据消息序号和消息类型，依次处理UML协作图中的消息；

在消息序列头部添加一个内容为空的消息，用于映射成虚拟根节点；

对于普通消息，直接将其映射成节点，节点数与其前驱消息映射的节点数相同，并将所述节点作为前驱消息映射节点的孩子节点，建立一一对应的关系；

对于条件消息，首先检查所述条件消息是否在映射表中已存在，若已存在，这些已存在的节点看作消息条件取真时映射的节点，需要补充消息条件取假时映射的节点，并将它们作为这些已存在的节点的兄弟节点，建立一一对应的关系；

然后，处理当前条件消息，消息条件取真时的处理方式与普通消息相同，消息条件取假时则跳过该消息及其嵌套消息，将后续消息映射成节点，节点数与当前条件消息的前驱消息映射节点数相同，并将这些节点作为当前条件消息的前驱消息映射节点的孩子节点，建立一一对应的关系；

对于循环消息，限制循环执行0、1，处理方式和条件消息相同。

2.根据权利要求1所述的基于组件执行树模型的集成测试方法，其特征在于，所述对所述组件执行树模型进行路径分析，确定路径约束，具体包括：

根据所述组件执行树模型的结构形式确定叶子节点集合；一个叶子节点对应一条路径；

从叶子节点开始，逐层向上回溯，直至根节点，确定经过的节点上的节点约束；

根据所述节点约束，以合取的方式进行串联，确定路径约束。

3.根据权利要求1所述的基于组件执行树模型的集成测试方法，其特征在于，所述根据所述路径约束生成集成测试用例，具体包括：

利用约束求解器确定所述路径约束的解；

以所述路径约束的解作为测试输入，以所述合约模型中的后置条件作为测试预示，生成集成测试用例。