[发明专利]一种可靠性策略模型与代码的一致性检测方法和装置

说明书

本发明涉及一种可靠性策略模型与代码的一致性检测方法和装置，属于软件测试技术领域，解决了现有静态信息提取比较不适合检测模型与代码的一致性的问题。方法包括：构建可靠性策略UML时序图模型；将可靠性策略UML时序图模型转换为模型LTS；进行可靠性策略模型到代码的跟踪以获得可靠性策略代码；基于可靠性策略代码插桩获得Log文件，Log文件包括可靠性策略代码的执行路径信息；基于Log文件构建代码LTS；提取模型LTS的所有分支路径作为模型路径，并提取代码LTS的分支路径作为代码路径；以及检测模型路径与代码路径之间的一致性；当代码路径的数量大于等于最小代码路径的数量时，确定一致性的检测结果准确。实现准确的模型与代码的动态一致性检验方法。

技术领域

本发明涉及软件测试技术领域，尤其涉及一种可靠性策略模型与代码的一致性检测方法和装置。

背景技术

软件可靠性是指“在给定的时间周期内，软件在限定条件下执行所要求的功能的能力”。在软件系统的需求描述阶段，系统需求通常被描述为功能需求和非功能需求。作为非功能需求的重要组成部分，可靠性需求描述了系统的可靠性约束。可靠性设计是针对可靠性需求所拟定的决策并给出解决方案，是保障系统在遭遇故障时能够正常运行的机制。

在设计阶段，基于可靠性设计的建模为代码开发人员实现预期的设计提供指导和依据。当前，随着系统规模的日趋庞大和功能复杂化，模型驱动的开发方法已经被广泛应用于软件系统的开发过程并为开发人员提供了指导，但是开发人员在实现可靠性设计的同时，也需要满足系统基本功能需求和其他非功能需求的设计；另外，系统代码版本更新、打补丁等也会使得可靠性设计产生相应的变更，对可靠性设计的完整实现带来了隐患。测试作为检查被测系统是否完整实现预期设计的有效手段，将辅助代码开发人员确认可靠性设计实现的完整性。

目前，针对可靠性的测试还是面向可靠性需求的，难以支持对可靠性设计的测试；部分可靠性测试的研究成果，只研究了通过设计阶段的可靠性测试模型生成测试用例的黑盒测试方法，无法验证可靠性设计在代码中是否完整实现。因此，研究可靠性设计是否在代码中得以实现是系统测试阶段亟待解决的关键问题之一。在软件系统开发周期中，需求与系统设计模型处于相对早期的阶段。随着不断的迭代开发过程，代码修改、版本更新等可能造成设计模型与代码实现不一致，从而造成后期系统高昂的开发、维护成本。目前已有研究中，更多的是关注UML类图模型与代码类之间的静态信息的一致性。但对于可靠性策略，其更多的关注模型元素之间的动态交互。因此纯静态信息的提取比较，不适合检测可靠性策略的模型与代码的一致性。

发明内容

鉴于上述的分析，本发明实施例旨在提供一种可靠性策略模型与代码的一致性检测方法和装置，用以解决现有纯静态信息的提取比较，不适合检测可靠性策略的模型与代码的一致性的问题。

一方面，本发明实施例提供了一种可靠性策略模型与代码的一致性检测方法，包括：对UML时序图和标号迁移系统LTS分别进行形式化描述；基于从软件系统整体设计模型中分离提取的可靠性策略切面模型，获取可靠性策略UML时序图模型的关键信息，以构建所述可靠性策略UML时序图模型，其中，所述可靠性策略切面模型为UML时序图的XMI文件；将所述可靠性策略UML时序图模型转换为模型LTS；进行可靠性策略模型到代码的跟踪以获得可靠性策略代码；基于所述可靠性策略代码插桩获得Log文件，其中，所述Log文件包括所述可靠性策略代码的执行路径信息；基于所述Log文件构建代码LTS；提取所述模型LTS的所有分支路径作为模型路径，并提取所述代码LTS的分支路径作为代码路径；检测所述模型路径与所述代码路径之间的一致性；以及定义最小代码路径的数量，并且当所述代码路径的数量大于等于所述最小代码路径的数量时，确定所述一致性的检测结果准确。