声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-2560/TP
国际刊号：1000-9825
发布日期:
作者：孙德权，周竞文，周海芳
单位：孙德权，国防科技大学 计算机学院, 湖南 长沙 410073;复杂系统软件工程湖南省重点实验室(国防科技大学), 湖南 长沙 41007311,周竞文，国防科技大学 计算机学院, 湖南 长沙 410073;复杂系统软件工程湖南省重点实验室(国防科技大学), 湖南 长沙 41007302,周海芳，国防科技大学 计算机学院, 湖南 长沙 41007303
关键词：系统执行路径;时序不变式;集合运算;SOTIMiner
基金：国家自然科学基金(61702530, 61690203); 国家重点研发计划(2018YFB0204301, 2017YFB1001802)
时序不变式反映了事件间的时序逻辑关系, 被广泛应用于异常检测、系统行为理解、模型推理等技术. 在实际使用中, 一般通过分析软件系统的日志数据挖掘时序不变式. 相比全序日志, 偏序日志可为挖掘算法提供更为准确的数据来源. 但是, 现有的基于偏序日志的时序不变式挖掘方法存在效率较低等问题. 为此, 以系统执行路径为数据来源, 提出了一种基于集合运算的时序不变式挖掘方法SOTIMiner, 并研究了改进方案. 相比现有方法, 该方法不需要反向遍历日志数据, 从而具有较高效率. 实验显示. 该方法在保证挖掘相同结果的基础上, 效率平均是Synoptic挖掘工具的3.23倍.
来源：2022年第2期
《软件学报》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。