J预测器

jpreditor是一个用于Java的运行时预测分析工具。基于属性相关事件之间的切片因果关系,它能够通过观察程序的执行情况来检测对所需属性的潜在违反,即使在观察到的运行中没有遇到违规情况。因果关系,即事件的因果偏序,已被用于并发程序的运行时分析。它们大多是基于传统的“先发生后发生”关系,这种关系考虑了对共享变量的所有计算依赖。因此,当线程间通信涉及到许多独立的共享变量时,这种因果关系可能会限制太多,允许出现过多的错误消息。我们的方法将程序的动态依赖性与静态结构信息相结合,以便在与期望属性相关的事件上获得更宽松的因果偏序。这样,就可以预测更多可能的程序执行,从而保持相关事件的相同记录。换言之,我们的方法可以使预测得到更好的覆盖,同时仍然保持结果的正确性。本质上,如果传统因果关系被视为“完全”的,即所有线程间通信都被考虑在内,那么我们的方法中使用的因果关系使用事件之间的控制流/数据流依赖性来分割完整的因果关系。更具体地说,只考虑可能影响相关事件的部分因果关系。这在某种程度上类似于程序切片,其名称的原因是:切片因果关系。更深入的讨论可以在我们的论文中找到。

此软件的关键字

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