典型文献
SOTIMiner:一种基于集合运算的时序不变式挖掘方法
文献摘要：
时序不变式反映了事件间的时序逻辑关系,被广泛应用于异常检测、系统行为理解、模型推理等技术.在实际使用中,一般通过分析软件系统的日志数据挖掘时序不变式.相比全序日志,偏序日志可为挖掘算法提供更为准确的数据来源.但是,现有的基于偏序日志的时序不变式挖掘方法存在效率较低等问题.为此,以系统执行路径为数据来源,提出了一种基于集合运算的时序不变式挖掘方法SOTIMiner,并研究了改进方案.相比现有方法,该方法不需要反向遍历日志数据,从而具有较高效率.实验显示.该方法在保证挖掘相同结果的基础上,效率平均是Synoptic挖掘工具的3.23倍.
文献关键词：
系统执行路径;时序不变式;集合运算;SOTIMiner
中图分类号：
作者姓名：
孙德权;周竞文;周海芳
作者机构：
国防科技大学 计算机学院, 湖南 长沙 410073;复杂系统软件工程湖南省重点实验室(国防科技大学), 湖南 长沙 410073
文献出处：
引用格式：
[1]孙德权;周竞文;周海芳-.SOTIMiner:一种基于集合运算的时序不变式挖掘方法)[J].软件学报,2022(02):455-472
A类：
SOTIMiner,时序不变式,系统执行路径
B类：
集合运算,挖掘方法,了事,时序逻辑,异常检测,行为理解,模型推理,软件系统,日志数据,全序,偏序,挖掘算法,数据来源,改进方案,遍历,历日,Synoptic
AB值：
0.211566
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
