JPAX

运行时验证工具Java PATH资源管理器的概述。我们概述了Java PATH资源管理器运行时验证工具，简称JPAX。JPAX可以监视Java程序的执行，并检查它是否符合在时序逻辑中制定的一组用户提供的属性。JPAX还可以分析程序的并发错误，如死锁和数据竞争。并发分析不需要用户提供的规范。该工具有助于程序字节码的自动化检测，当执行时，它将向观察者发射事件流，即执行跟踪。观察者将传入的事件流发送给一组观察者进程，每个观察者执行一个专门的分析，例如时间逻辑验证、死锁分析和数据竞争分析。时态逻辑规范可以由用户在MaDeD改写逻辑中制定，其中Maude是用于等式逻辑的高速重写系统，但是这里用可执行时态逻辑扩展。然后，将Maude重写引擎激活为事件驱动的监视过程。或者，时间规范可以被翻译成能够有效地检查事件流的自动机或算法。JPAX可以在程序测试期间使用，以获得关于程序执行的增加的信息，并且可以潜在地在运行期间应用于调查安全关键系统。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（29篇）1标准条款）

显示结果1至20的29。
按年份排序（引文）
  1. GooFoulID，帕特利斯；Sen，KouSek：结合模型检验和测试（2018）
  2. 刀剑、卡梅伦、Sabry、AMR、Tobin Hochstadt、山姆：作为通信模式的合同监控策略的扩展说明（2018）
  3. 杨，凯，段，Zhenhua；田，康镇；张，楠：MSVL编译器及其应用（2018）
  4. Natarajan，Aravind；Chauhan，Himanshu；米塔尔，Neeraj；Garg，Vijay K.：谓词检测的高效抽象算法（2017）
  5. Reinbacher，托马斯；F·G，马蒂亚斯；布劳尔，JoRG:嵌入式实时系统的运行验证（2014）
  6. Bonakdarpour，Borzoo；纳瓦布，Samaneh；Fischmeister，塞巴斯蒂安：时间触发运行时验证（2013）
  7. Sapozhnikov，A:正常程序行为模型的自动化（2012）
  8. 琼斯，Kevin D.；康拉德，维克多；尼科维奇，德扬：模拟属性检查器：DDR2案例研究（2010）
  9. Leucker，马丁；SalaHART，克里斯汀：运行时验证（2009）
  10. 梁，慧；Dong，金松；孙，Jing；Wong，W. Eric：通过形式规约动画进行软件监控（2009）伊波尔特
  11. Fraser，戈登；WOTAWA，弗兰兹：使用模型检查器生成和分析性能相关的测试用例。（2008）伊波尔特
  12. M·勒，米迦勒；OrdRog，EnnST-RüDiger-；Rasch，霍格尔；Wehrheim，黑克：用UML和Java将形式化方法集成到软件工程过程中（2008）
  13. 埃尔鲍姆，塞巴斯蒂安；KANDURI，SATYA；安德鲁斯，ANNIELIES：痕迹异常作为场故障的前兆：一个实证研究（2007）伊波尔特
  14. Markey，尼古拉斯；施诺贝伦，菲利普：μ演算路径检查（2006）
  15. 多线程程序的在线有效预测安全性分析（2006）伊波尔特
  16. 阿尔索，Cyrille；Barringer，霍华德；高德博格，艾伦；Havelund，克劳斯；Khurshid，SalFrz；PosiaRuu；Sen；KouSek；ViSelk；华盛顿；富：组合测试用例生成和运行时验证（2005）
  17. 艺术，托马斯；Claessen，Koen；博·斯文松，汉斯：Erlang（2005）中容错领导选举协议的半正式发展
  18. 陈，冯；Roüu，Gigig:JavaMOP：面向Java的监控编程环境（2005）
  19. Giannakopoulou，Dimitra；P s s ReNu，Corina S.；Barringer，霍华德：具有自动生成假设的分量验证（2005）伊波尔特
  20. GoDoFoID，帕特利斯：软件模型检查：VRISOFFT方法（2005）伊波尔特