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

权利要求书

1.一种可靠性策略模型与代码的一致性检测方法，其特征在于，包括：

对UML时序图和标号迁移系统LTS分别进行形式化描述；

基于从软件系统整体设计模型中分离提取的可靠性策略切面模型，获取可靠性策略UML时序图模型的关键信息，以构建所述可靠性策略UML时序图模型，其中，所述可靠性策略切面模型为UML时序图的XMI文件；

将所述可靠性策略UML时序图模型转换为模型LTS，其中，基于转换原则将所述可靠性策略UML时序图模型转换为模型LTS，

所述转换原则包括：所述模型LTS的初始状态标记为0；所述可靠性策略UML时序图中的一条消息对应于所述模型LTS中的一个状态迁移；当在同一执行环境下第一条信息和第二条信息在时间轴上相邻时，所述第一条信息转换后的模型LTS目的状态等价于所述第二条信息转换后的模型LTS起始状态；以及当组合片段的每个子片段的起始信息转换为所述模型LTS，增加一个过渡状态和一个过渡迁移动作，其中，所述过渡状态的名称与所述起始信息的发送端名称一致，所述过渡迁移动作的类型为当前组合片段的类型；

所述可靠性策略UML时序图模型包括ALT、OPT、LOOP和BREAK组合片段，其中，所述组合片段的转换原则还包括：所述组合片段结束时，增加一个过渡状态节点作为结束标志；所述ALT组合片段的转换原则还包括：先执行守卫条件为真的子片段；在所述ALT组合片段转换为所述模型LTS后，存在多个分支，分支数量与ALT组合片段中的子片段数量一致；所述OPT组合片段的转换原则还包括：当守卫条件为真时执行所述OPT组合片段，否则跳过所述OPT组合片段；在所述OPT组合片段转换为所述模型LTS后，存在两个分支；所述LOOP组合片段的转换原则还包括：当满足循环执行条件时，执行所述LOOP组合片段内的交互消息，否则结束循环；以及所述BREAK组合片段的转换原则还包括：当守卫条件为真时，执行所述BREAK组合片段内的交互消息；在所述BREAK组合片段转换为所述模型LTS时，存在两个分支；当所述BREAK组合片段属于另一组合片段时，执行完所述BREAK组合片段后，添加所述结束标志，然后执行所述另一组合片段，否则添加的结束标志作为全局结束状态节点；

进行可靠性策略模型到代码的跟踪以获得可靠性策略代码；

基于所述可靠性策略代码插桩获得Log文件，其中，所述Log文件包括所述可靠性策略代码的执行路径信息；

基于所述Log文件构建代码LTS；

提取所述模型LTS的所有分支路径作为模型路径，并提取所述代码LTS的分支路径作为代码路径；以及

检测所述模型路径与所述代码路径之间的一致性；

定义最小代码路径的数量，并且当所述代码路径的数量大于等于所述最小代码路径的数量时，确定所述一致性的检测结果准确。

2.根据权利要求1所述的可靠性策略模型与代码的一致性检测方法，其特征在于，检测所述模型路径与所述代码路径之间的一致性还包括设计一致性检测规则并根据所述一致性检测规则检测所述模型路径与所述代码路径之间的一致性。

3.根据权利要求2所述的可靠性策略模型与代码的一致性检测方法，其特征在于，所述一致性检测规则包括：

如果所述模型LTS中的一条交互消息对应于实现代码LTS中同一类的多个实现方法，当且仅当实现所述代码LTS的多个方法连续调用并且所述代码LTS与所述模型LTS的顺序一致时，满足一致性；

如果所述模型LTS中的一条交互消息对应于实现代码LTS中多类的多个实现方法，当且仅当所述多类的多个实现方法连续调用，并且所述代码LTS与所述模型LTS的顺序一致时，满足一致性；

如果所述模型LTS中的一条交互消息是自关联消息，则在所述代码LTS中有两种实现方式：调用同一类中的不同的另一方法和调用所述同一类中的同一方法；以及

如果所述模型LTS中的一条交互消息的起始端的对象与接收端的对象不同，则当所述代码路径中起始节点的类映射的对象与所述模型路径中起始节点的对象保持相同时，保持一致性。

4.根据权利要求1所述的可靠性策略模型与代码的一致性检测方法，其特征在于，所述关键信息包括生命线、组合片段、和组合片段子片段。