×

J预测器

swMATH标识: 23065
软件作者: 陈峰,特瑞安·弗洛林·塞巴努塔,格里戈·罗伊乌
说明: jpreditor是一个用于Java的运行时预测分析工具。基于属性相关事件之间的切片因果关系,它能够通过观察程序的执行情况来检测对所需属性的潜在违反,即使在观察到的运行中没有遇到违规情况。因果关系,即事件的因果偏序,已被用于并发程序的运行时分析。它们大多是基于传统的“先发生后发生”关系,这种关系考虑了对共享变量的所有计算依赖。因此,当线程间通信涉及到许多独立的共享变量时,这种因果关系可能会限制太多,允许出现过多的错误消息。我们的方法将程序的动态依赖性与静态结构信息相结合,以便在与期望属性相关的事件上获得更宽松的因果偏序。这样,就可以预测更多可能的程序执行,从而保持相关事件的相同记录。换言之,我们的方法可以使预测得到更好的覆盖,同时仍然保持结果的正确性。本质上,如果传统因果关系被视为“完全”的,即所有线程间通信都被考虑在内,那么我们的方法中使用的因果关系使用事件之间的控制流/数据流依赖性来分割完整的因果关系。更具体地说,只考虑可能影响相关事件的部分因果关系。这在某种程度上类似于程序切片,其名称的原因是:切片因果关系。更深入的讨论可以在我们的论文中找到。
主页: http://fsl.cs.illinois.edu/index.php/jpreditor
相关软件: 阿维奥;QuickLex公司;快车道;佩内洛普;CTrigger公司;ASM公司;Java MaC电脑;JPAX公司;赛车场;雾化器
参考文献: 5种出版物

参考1系列

1 理论计算机科学

在1个字段中引用

5 计算机科学(68-XX)

按年份引用出版物