MOP盒 swMATH ID: 33222 软件作者： 埃里克·博登 描述： MOPBox：运行时验证的库方法。在这项工作中，我们提出了MOPBox，一种基于库的运行时验证方法。MOPBox是一个Java库，用于定义和评估参数化运行时监控器。用户可以通过一组简单的API调用定义监控器。定义监控器后，它就可以接受事件了。事件可以来自AspectJ方面或其他来源，它们可以是参数化的，即可以包含将抽象规范变量绑定到具体程序值的变量绑定。当监视器达到绑定v=o的错误状态时，MOPBox通过回调接口通知客户端v=o匹配。为了将变量绑定映射到监视器，MOPBox使用了Chen等人为JavaMOP开发的高效索引算法的重新实现。我们注意保持MOPBox尽可能通用。状态、转换和变量绑定不仅可以用字符串标记，还可以用通过Java泛型检查其类型的通用Java对象标记。这允许与现有工具进行简单集成。例如，我们介绍了正在进行的将MOPBox与Java调试器集成的工作。在这项工作中，转换被标记为断点。MOPBox也是一个很好的教学工具：它的监视器索引算法实现比JavaMOP等工具生成的代码更容易理解。索引算法使用策略设计模式，这使得它们易于交换。因此，MOPBox也是探索和测试监控索引新算法的完美工具，而无需担心复杂的代码生成。未来，我们进一步计划将MOPBox与Clara框架集成，以提前静态评估运行时监控器 主页： https://link.springer.com/chapter/10.1007/978-3-642-29860-8_28 依赖项： Java语言 相关软件： 引用于： 0个文档