【文件属性】:
文件名称:synoptic:通过观察系统行为来推断系统模型
文件大小:170.04MB
文件格式:ZIP
更新时间:2021-05-05 19:45:35
Java
概述
该站点托管了三个相关项目的源代码,学术论文和其他资源:
摘要:从顺序日志中推断FSM模型的工具。
CSight :从分布式系统的日志中推断出通信的FSM模型的工具
InvariMint :以声明方式指定模型推理算法的方法
香水:从系统日志中推断性能模型的工具。
介绍
系统通常很难调试和理解。 了解系统行为的一种典型方法是检查执行日志。 但是,手动日志分析通常很繁琐且劳动强度大。 Synoptic和CSight是挖掘生成日志的系统模型的工具,从而简化了日志分析。
Synoptic从其日志中挖掘顺序系统的有限状态机(FSM)模型表示形式。 有两个功能使Synoptic与其他工具区分开来。
Synoptic的模型保留了从日志中提取的关键事件排序不变式,从而使它们更加准确。
Synoptic使用优化来推导模型,它比kTails等传统的粗化算法更有效。
CSight挖掘了一个通信