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