拖把箱

MOPBox:运行时验证的一种库方法。在这项工作中,我们提出了MOPBox,一种基于库的运行时验证方法。MOPBox是一个用于定义和评估参数化运行时监视器的Java库。用户可以通过一组简单的API调用来定义监视器。一旦定义了监视器,它就可以接受事件了。事件可以来自AspectJ方面或其他来源,并且可以是参数化的,也就是说,可以包含将抽象规范变量绑定到具体程序值的变量绑定。当监视器达到绑定v=o的错误状态时,MOPBox通过回调接口通知客户机v=o匹配。为了将变量绑定映射到监视器,MOPBox使用Chen等人为JavaMOP开发的高效索引算法的重新实现。我们尽可能保持MOPBox的通用性。状态、转换和变量绑定不仅可以用字符串来标记,还可以用通过Java泛型检查其类型的通用Java对象来标记。这允许简单地集成到现有工具中。例如,我们介绍了将MOPBox与Java调试器集成的持续工作。在这项工作中,转换被标记为断点。MOPBox也是一个很好的教学工具:它的监视器索引算法的实现比JavaMOP等工具生成的代码更容易理解。索引算法使用策略设计模式,这使得它们易于交换。因此,MOPBox也是探索和测试用于监视索引的新算法的完美工具,而不必担心复杂的代码生成。将来,我们进一步计划将MOPBox与Clara框架集成,以便提前对运行时监视器进行静态评估

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. Bodden,Eric:MOPBox:运行时验证的库方法。(工具演示)(2012)ioport公司