幼虫

幼虫:Java程序运行时监控的工具。运行时验证作为一种保证系统性能的轻量级方法,已经越来越多地应用于实际软件中。在本文中,我们提出了一个工具幼虫,用于运行时验证Java程序的实时属性。属性可以用许多符号表示,包括富含秒表、Lustre和持续时间演算子集的时间自动机。该工具已成功地用于一些案例研究,包括处理金融交易的工业系统。幼虫还执行实时特性分析,以计算,如果可能的话,由监测引起的内存和时间开销的上限。此外,它还提供了其他有用的信息,例如监视系统对被监视属性的影响。