格里高·罗什乌;陈峰 参数监测的语义和算法。 (英语) Zbl 1237.68065号 日志。方法计算。科学。 8,第1号,第9号论文,47页(2012年). 摘要:执行跟踪分析在许多程序分析方法中起着重要作用,例如运行时验证、测试、监视和规范挖掘。执行跟踪通常是参数化的,即它们包含带有参数绑定的事件。每个参数化跟踪通常由许多合并在一起的有意义的跟踪切片组成,每个切片对应一个参数绑定。这为参数跟踪分析提供了基于语义的解决方案。介绍了一种通用的参数化跟踪切片技术,它获取参数化跟踪中的每个事件并将其分配到相应的跟踪切片。这种参数轨迹切片技术可以与任何传统的非参数轨迹分析技术结合使用,方法是在每个轨迹切片上应用后面的技术。作为一个实例,提出了一种参数化的属性监测技术。提出的参数化轨迹切片和监测技术已经实现并得到广泛评估。运行时开销的测量结果证实,与现有的参数化跟踪监控系统相比,所讨论技术的通用性不会带来性能损失。 引用于6文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:运行时验证;监测;轨迹切片 软件:达卡波;方面J;J-LO公司;克拉拉;Java操作系统 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{F.Chen},Log。方法计算。科学。8,第1号,第9号文件,第47页(2012年;Zbl 1237.68065) 全文: 内政部 arXiv公司