软件学报

作者：孙德权，周竞文，周海芳

单位：孙德权，国防科技大学 计算机学院, 湖南 长沙 410073;复杂系统软件工程湖南省重点实验室(国防科技大学), 湖南 长沙 41007311,周竞文，国防科技大学 计算机学院, 湖南 长沙 410073;复杂系统软件工程湖南省重点实验室(国防科技大学), 湖南 长沙 41007302,周海芳，国防科技大学 计算机学院, 湖南 长沙 41007303

关键词：系统执行路径;时序不变式;集合运算;SOTIMiner

基金：国家自然科学基金(61702530, 61690203); 国家重点研发计划(2018YFB0204301, 2017YFB1001802)

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

来源：2022年第2期

《软件学报》期刊编辑部

查看软件学报杂志2022年第2期