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

说明书

本发明公开了一种基于组件执行树模型的集成测试方法及系统。所述集成测试方法包括：获取组件级别的统一建模语言UML协作图和合约模型；根据所述UML协作图和所述合约模型建立组件执行树模型；对所述组件执行树模型进行路径分析，确定路径约束；根据所述路径约束生成集成测试用例；根据所述集成测试用例对软件系统进行测试。采用本发明所提供的集成测试方法及系统能够提高测试软件系统质量的测试精确度。

技术领域

本发明涉及软件测试领域，特别是涉及一种基于组件执行树模型的集成测试方法及系统。

背景技术

从1968年北大西洋公约组织(NATO)软件工程会议上出现软件复用的概念，到如今已经历了50年的时间，随着软件系统复杂性的增加，规模的扩大，以及软件开发机构对开发成本、开发周期要求的提高，继面向对象分析与设计方法之后，基于组件的软件开发(Component-Based Software Development，简称CBSD)方法被广泛接受，即将外部开发的组件集成到具体应用环境中来构建面向特定应用的软件系统；该方法的提出解决了面向对象技术无法使大量结构相似的应用程序结构得到重用的矛盾，因此对软件重用和集成具有非常重大的意义。与此同时，相关的质量保证技术和方法也成为重要的研究内容。

由于组件在集成到应用环境之前，已经进行了相关测试，所以理论上基于组件的软件系统(Component-Based Software System)已经具备了高可靠性。然而，许多工程实践证明并不是这样，由于在将各种组件集成到应用环境时，实施有效的集成测试成为基于组件的软件系统质量保证的重要手段，但是现有的集成测试方法缺少良好的集成测试模型，导致出现测试软件系统质量的测试精确度低的问题。

发明内容

本发明的目的是提供一种基于组件执行树模型的集成测试方法及系统，以解决测试软件系统质量时测试精确度低的问题。

为实现上述目的，本发明提供了如下方案：

一种基于组件执行树模型的集成测试方法，包括：

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

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

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

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

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

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

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

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

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

可选的，所述对所述组件执行树模型进行路径分析，确定路径约束，具体包括：

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

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

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

可选的，所述根据所述路径约束生成集成测试用例，具体包括：