一种线性时态逻辑规范的通用并行挖掘方法技术

本发明专利技术公开了一种线性时态逻辑规范的通用并行挖掘方法，该方法包括：预处理步骤、规范实例生成步骤、规范实例验证步骤、结果筛选步骤。其中，预处理步骤实现对日志文件进行分割处理，获取日志中出现的事件集合，并收集这些事件在日志中的出现位置信息；规范实例生成步骤，利用输入的规范模板，结合日志中的事件集合，生成具体的线性时态逻辑规范实例。规范实例检验步骤，负责利用预处理后的事件位置信息，计算规范实例在日志中的支持度、置信度；结果筛选步骤，负责对挖掘的结果集合进行筛选，去除支持度、置信度不符合挖掘要求的规范实例。该挖掘方法充分利用了多线程技术进行并行计算，能够高效地挖掘任意类型的线性时态逻辑规范。

【技术实现步骤摘要】
一种线性时态逻辑规范的通用并行挖掘方法
本专利技术涉及一种计算机
，尤其是模型检测领域中的线性时态逻辑的规范挖掘技术，具体涉及一种线性时态逻辑规范的通用并行挖掘方法。
技术介绍
与其他工程产品不同的是，软件产品在其整个生命周期中会不断地变化演进。而在对软件进行维护、更新的过程中，为保持系统原有功能的正确性，维护人员通常需要付出极大的努力。据统计，软件的维护成本占据了软件开发成本的90％。因此，研究如何降低软件维护成本具有十分现实的意义。而软件维护成本之中的绝大部分，都源于对遗留源代码理解吸收所产生的成本。有研究表明，为理解原有代码付出的代价超过了总维护代价的50％。通常，开发人员会选择阅读软件规范文档来辅助软件程序的理解。然而，在许多企业中，开发人员迫于市场应用的时效性，疏忽了规范文档的编写与维护，以至于很大部分的软件规范文档并没有随着软件程序的演化得到及时的更新。这样，经过若干次演化周期，最新版本的软件程序早就与原始的规范文档大相径庭。因此，如何及时地更新软件规范，成为了一个值得探索的问题。另外，为了保证软件系统的正确性，人们提出了模型检测技术。例如申请号为201510395本文档来自技高网...

【技术保护点】
一种线性时态逻辑规范的通用并行挖掘方法，包括如下步骤：预处理步骤，对日志文件进行分割，分离出日志文件中的独立轨迹，获取日志文件中所有事件的集合以及每个事件在独立轨迹中出现的位置；规范实例生成步骤，根据输入的规范模板集合，将其中的变量与日志事件集合中的事件依次进行绑定，以获取规范实例候选集合；规范实例验证步骤，依次对规范实例候选集合中的规范实例进行验证，计算其在日志中的支持度、置信度情况；结果筛选步骤，根据输入的挖掘要求，从规范实例候选集合中去除支持度、置信度不符合要求的规范实例。

【技术特征摘要】
1.一种线性时态逻辑规范的通用并行挖掘方法，包括如下步骤：预处理步骤，对日志文件进行分割，分离出日志文件中的独立轨迹，获取日志文件中所有事件的集合以及每个事件在独立轨迹中出现的位置；规范实例生成步骤，根据输入的规范模板集合，将其中的变量与日志事件集合中的事件依次进行绑定，以获取规范实例候选集合；规范实例验证步骤，依次对规范实例候选集合中的规范实例进行验证，计算其在日志中的支持度、置信度情况；结果筛选步骤，根据输入的挖掘要求，从规范实例候选集合中去除支持度、置信度不符合要求的规范实例。2.如权利要求1所述的线性时态逻辑规范的通用并行挖掘方法，其特征在于，所述预处理步骤包括如下三个子步骤：轨迹分离步骤，通过文本处理，将日志中的数据读取到内存中，按照分隔符进行分离，获取一个元素为单条轨迹所组成的集合；事件集合获取步骤，分别扫描每条轨迹，使用上述分隔符对轨迹进行分割处理，获取原子事件集合；事件位置信息获取步骤，扫描每条轨迹，记录事件在轨迹中出现的位置信息。3.如权利要求2所述的线性时态逻辑规范的通用并行挖掘方法，其特征在于，其特征在于：所述预处理步骤的实现过程为：顺序地从日志文件中读取字符串，在遇到分隔符时，识别并判断该分隔符为事件分隔符或者是轨迹分隔符，若为轨迹分隔符，...

【专利技术属性】
技术研发人员：何积丰，熊家文，史建琦，黄滟鸿，李昂，方徽星，
申请(专利权)人：华东师范大学，上海丰蕾信息科技有限公司，
类型：发明
国别省市：上海,31