克拉拉

Clara:一个提前部分评估有限状态运行时监视器的框架。研究人员开发了许多运行时验证工具,它们以AspectJ方面的形式生成运行时监视器。在这项工作中,我们提出了Clara,一个新的框架来静态地优化与测试中的给定程序相关的监控方面。Clara使用一系列越来越精确的静态分析来自动将监视方面转换为剩余运行时监视器。剩余监视器只监视由程序位置触发的事件,这些事件分析在编译时无法证明是安全的。在我们的实验中,三分之二的情况下,静态分析在所有位置都成功,证明程序满足所述属性,并且完全不需要运行时监视。在其余的情况下,剩余运行时监视器通常比完整监视器更有效,但是仍然在运行时捕获所有的属性冲突。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换