mopbox:MOPBox 是一个盒子中面向监视器的编程

MOPBox 是一个盒子中。 它是一个用于定义和构建运行时监视器的库。 运行时监视器既可以用作测试中的预言机，也可以用作安全监视器，也称为内联参考监视器。 在第一种情况下，监视器会在达到内部错误状态时通知用户，从而将当前测试运行标记为错误。 在安全监视器的情况下，监视器将检测到即将发生的攻击，然后可以采取规避措施。 对于 MOPBox 库的特殊情况，我们设想以下用例： 对在线收集的（可能是参数化的）运行时跟踪进行高效的离线跟踪处理。 通过与的组合进行在线安全监控（内联参考监控器）。 集成到其他工具和 IDE 中。 有关示例，请参阅。 作为教学运行验证的工具。 与其他基于代码生成的方法相比，MOPBox 中实现的算法易于遵循、扩展和定制。 作为比较现有运行时验证算法的平台。 目前，这种比较很难甚至不可能，因为不同的算法是使用不同的工具实现的。 作为新颖、更灵活的运行时验证算法的推动者。