[发明专利]一种基于有向图的服务运行正确性验证方法

权利要求书

1.一种基于有向图的服务运行正确性验证方法，其特征在于，该方法包括如下步骤：

步骤1)日志信息的提取；

步骤2)插桩日志预处理；

步骤3)过程模型的生成；

步骤4)计算服务实际运行的吻合度；

步骤5)偏差程度的计算。

2.根据权利要求1所述的基于有向图的服务运行正确性验证方法，其特征在于，步骤1)日常信息的提取,通过字节码插桩技术获得服务正确运行时的事件日志。

3.根据权利要求2所述的基于有向图的服务运行正确性验证方法，其特征在于，步骤2)插桩日志预处理,为通过对事件日志解析得到方法的执行序列L_i，通过统一资源标志符uri来区分不同的序列，其中i为执行序列的编号。

4.根据权利要求3所述的基于有向图的服务运行正确性验证方法，其特征在于，

步骤3)生成过程模型，具体步骤为：

(a)遍历执行方法序列集合L，对于每一条方法执行序列L_i，依次将方法加入有向图G(L)中；

(i)针对L_i中的执行方法集合{m₁,m₂,m₃...}，将m₁作为初始结点加入有向图G(L)；

(ii)将m₂加入G(L)中，并将m₁结点指向m₂结点，以此类推；

(b)遍历的同时将所有的方法构建为一个集合{m_k}，其中k为执行方法的编号。

5.根据权利要求4所述的基于有向图的服务运行正确性验证方法，其特征在于，

步骤4)计算服务实际运行的吻合度，具体如下：

a)通过字节码插桩技术获得服务实际运行时的事件日志，并预处理得到方法的执行序列P_i，为其中i为执行序列的编号；

b)遍历每一条执行序列P_i，如果其中的某个方法不属于集合{m_k}，则服务中存在非法的方法，统计这类非法方法的个数为M_i；

c)遍历每一条执行序列P_i，统计顺序错误出现的次数为N_i，具体步骤为：

(i)针对执行序列P_i中的执行方法集合{m₁,m₂,m₃...}，对于每一对相邻的方法m_j,m_j+1，以m_j为开始结点，m_j+1为结束结点，通过BFS算法判断他们之间是否存在通路；

(ii)N_i初始化为0，j初始化为1；

(iii)针对(i)中的结果，如果存在通路则j累加1，然后转(i)；

(iv)如果不存在通路则统计次数N_i累加1，j累加1，然后转(i)；

(v)如果出现了非法方法，则跳过非法方法；

d)利用下式计算所有执行序列P_i与过程模型G(L)的吻合度：

其中，fitness(P_i,G(L))为序列P_i与过程模型G(L)的吻合度。

6.根据权利要求5所述的基于有向图的服务运行正确性验证方法，其特征在于，

采用字节码插桩技术来获取服务运行的日志，采用有向图来表示过程模型。