cqrs-hypergraph-spec-propagators 嗨爸爸 话题 整合 码 组态 系统日志 http模糊 变异/属性测试 本地/云 会话,编码,参数间依赖 开源,销售合同 专案 cqrs将日志更改为可消耗的api 动态程序分析技术可以应用 任何httpinteraction交互事件都可以视为代码并通过静态分析进行分析 沥青 静态分析跟踪,日志和其他工件(代码,文档,配置)的基础架构 用于行为依赖性分析的样本模块(类似于clojure spec) 用于开放式API规范的示例模块 集成到ci系统和ide中 分析 Trace -> Term * Term -> Term -> T