公开(公告)号：CN111444082B

公开(公告)日：2022-02-11

申请号：CN201910046155.1

申请日：2019-01-17

Applicant: 同济大学

Inventor： 蒋昌俊 ,  闫春钢 ,  刘关俊 ,  张亚英 ,  孙佳全 ,  相东明

IPC: G06F11/36

Abstract: 一种基于Petri网的并发错误检测方法及系统，包括：使用Petri网对被检测系统进行静态分析获取静态分析数据，并根据静态分析数据构建检测系统模型；提取检测系统模型中的规则机制信息，根据规则机制信息生成状态图；提取状态图中的操作标记函数信息，根据操作标记函数信息获取并发错误判断信息，据以遍历判断状态图获取错误检测结果，本发明解决了现有技术存在的对并发错误的检测效率低和检测精度差的技术问题。

公开(公告)号：CN111444082A

公开(公告)日：2020-07-24

申请号：CN201910046155.1

申请日：2019-01-17

Applicant: 同济大学

Inventor： 蒋昌俊 ,  闫春钢 ,  刘关俊 ,  张亚英 ,  孙佳全 ,  相东明

IPC: G06F11/36

Abstract: 一种基于Petri网的并发错误检测方法及系统，包括：使用Petri网对被检测系统进行静态分析获取静态分析数据，并根据静态分析数据构建检测系统模型；提取检测系统模型中的规则机制信息，根据规则机制信息生成状态图；提取状态图中的操作标记函数信息，根据操作标记函数信息获取并发错误判断信息，据以遍历判断状态图获取错误检测结果，本发明解决了现有技术存在的对并发错误的检测效率低和检测精度差的技术问题。