j预测器 swMATH ID: 23065 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 描述： jPredictor是一个针对Java的运行时预测分析工具。基于属性相关事件之间的分段因果关系，它能够通过观察程序的执行来检测所需属性的潜在违规行为，即使在观察到的运行中没有遇到违规行为。因果关系，即事件的因果偏序，已经在一些工作中用于并发程序的运行时分析。它们大多基于传统的“偶然”关系，其中考虑了对共享变量的所有计算依赖性。因此，当线程间通信涉及许多独立的共享变量时，这种因果关系可能会过于严格，导致出现过多的假阳性。我们的方法将程序的动态依赖性与静态结构信息相结合，以便在与所需属性相关的事件上实现更宽松的因果偏序。这样，可以预测程序的更多可能执行，从而保持相关事件的相同发生。换句话说，我们的方法可以更好地覆盖预测，同时仍然保持结果的正确性。本质上，如果传统的因果关系被视为“完整的”，即所有线程间通信都被考虑在内，那么我们方法中使用的因果关系使用事件之间的控制流/数据流依赖性切分完整的因果关系。更具体地说，只考虑了可能影响相关事件的部分因果关系。这在某种程度上类似于程序切片，其名称的原因是：切片因果关系。在我们的论文中可以找到更深入的讨论。 主页： http://fsl.cs.illinois.edu/index.php/J贷方 相关软件： 阿维奥;QuickLex公司;快速通道;C触发器;潘尼洛普;ASM公司;爪哇-MaC;日本运通银行;Velodrome公司;雾化器 引用于： 5文件 全部的 前5名9位作者引用 三 维杰·加格。 2 希曼舒·乔汉 1 张延忠 1 陈冯 1 阿扎德法尔赞 1 帕塔萨拉西马杜苏丹 1 尼拉吉·米塔尔 1 阿拉文·纳塔拉扬 1 格里高·罗什乌 连载1篇 1 理论计算机科学 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文