[发明专利]一种验证流程图生成算法的方法、装置及存储介质

权利要求书

1.一种验证流程图生成算法的方法，其特征在于，所述方法包括如下步骤：

获取原始流程图；

从原始流程图中获取所有路径的信息；

根据所有路径的信息计算得到依赖关系矩阵；

根据依赖关系矩阵生成事件日志；

根据事件日志，利用待验证的流程图生成算法生成计算流程图；

将计算流程图与原始流程图进行对比，对待验证的流程图生成算法的可靠性进行鉴定。

2.根据权利要求1所述的验证流程图生成算法的方法，其特征在于，根据所有路径的信息计算得到依赖关系矩阵的方法包括：

将所有路径中相同的路径进行合并，每条路径均包括开始节点、结束节点以及多个中间节点在内的多个路径节点，开始节点赋予编号START，结束节点赋予编号END，每个中间节点均赋予一个唯一编号；

构建一个依赖关系矩阵，该矩阵的首行和首列的内容均为路径节点的节点编号，该矩阵中除首行和首列外的数值表示从该数值所在列的节点编号代表的路径节点到该数值所在行的节点编号代表的路径节点的路径在所有路径中出现的总次数，默认初始次数为0次。

3.根据权利要求1所述的验证流程图生成算法的方法，其特征在于，根据依赖关系矩阵生成事件日志的方法包括：通过抽样的方式在依赖关系矩阵中提取出从开始节点到结束节点的完整路径，生成事件日志；其中，抽样的方式要保证每个路径节点到达所有可达路径节点的概率与依赖关系矩阵中的概率保持一致，且不遗漏路径节点。

4.根据权利要求1所述的验证流程图生成算法的方法，其特征在于，将计算流程图与原始流程图进行对比，对待验证的流程图生成算法的可靠性进行鉴定的方法包括：对比计算流程图中与原始流程图中相同名称的路径节点数量、相同的两个路径节点之间的距离以及相同的边的通过次数，若误差在预设范围内，则待验证的流程图生成算法可靠，否则，待验证的流程图生成算法不可靠。

5.根据权利要求1所述的验证流程图生成算法的方法，其特征在于，还包括获得多个流程图与计算流程图，并进行对比，其方法包括：

向初始流程图中逐条添加路径，每添加一条路径得到一个流程图，添加K条，获得K个流程图，记为流程图1、流程图2、… 、流程图K；

利用待验证的流程图生成算法分别对应生成计算流程图1、计算流程图2、…、计算流程图K；

将计算流程图1、计算流程图2、…、计算流程图K分别对应与流程图1、流程图2、…、流程图K进行对比，若每次对比结果一致，则记为1，若不一致，则记为0，将对比结果求和再除以对比的总次数，获得对比结果。

6.一种验证流程图生成算法的装置，其特征在于，包括：

原始流程图获取模块：用于获取原始流程图；

所有路径的信息获取模块：用于从原始流程图中获取所有路径的信息；

依赖关系矩阵计算模块：用于根据所有路径的信息计算得到依赖关系矩阵；

事件日志生成模块：用于根据依赖关系矩阵生成事件日志；

计算流程图生成模块：用于根据事件日志，利用待验证的流程图生成算法生成计算流程图；

可靠性鉴定模块：用于将计算流程图与原始流程图进行对比，对待验证的流程图生成算法的可靠性进行鉴定。

7.一种验证流程图生成算法的装置，其特征在于，包括处理器及存储介质；

所述存储介质用于存储指令；

所述处理器用于根据所述指令进行操作以执行根据权利要求1至5中任一项所述方法的步骤。

8.计算机可读存储介质，其上存储有计算机程序，其特征在于，该程序被处理器执行时实现权利要求1至5中任一项所述方法的步骤。