SOTIMiner:一种基于集合运算的时序不变式挖掘方法

• 作者: 孙德权 周竞文 周海芳
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 系统执行路径 时序不变式 集合运算 SOTIMiner
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 系统软件与软件工程|SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
• 页码范围: 455-472
• 页数: 18页
• 分类号: TP311
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.006160

摘要

时序不变式反映了事件间的时序逻辑关系,被广泛应用于异常检测、系统行为理解、模型推理等技术.在实际使用中,一般通过分析软件系统的日志数据挖掘时序不变式.相比全序日志,偏序日志可为挖掘算法提供更为准确的数据来源.但是,现有的基于偏序日志的时序不变式挖掘方法存在效率较低等问题.为此,以系统执行路径为数据来源,提出了一种基于集合运算的时序不变式挖掘方法SOTIMiner,并研究了改进方案.相比现有方法,该方法不需要反向遍历日志数据,从而具有较高效率.实验显示.该方法在保证挖掘相同结果的基础上,效率平均是Synoptic挖掘工具的3.23倍.