Hyper Pattern Matching

doi:10.1007/978-3-032-05435-7_22

Hyper Pattern Matching

2026-01-01

0

PRE

AI

DOI：10.1007/978-3-032-05435-7_22

原文链接

原文求助

摘要

En 中文

在运行时验证中，模式匹配通过在序列中搜索特定模式的出现，能够比简单的被监测属性违反检测提供更多信息，因为它能定位违反的具体证据。然而，见证某些属性的违反（特别是超属性）需要跨多个输入序列或同一序列的不同部分的证据，这超出了传统模式匹配的范畴。本文提出超模式匹配，作为一组序列上的模式匹配的推广。感兴趣的属性包括鲁棒性和（非）干扰性。作为模式的正式表示，我们使用非确定性异步有限自动机（NAAs）。首先，我们提供一个超模式匹配的朴素算法，然后设计了几种启发式方法以提高效率。尽管我们证明了该问题的NP完全性，但我们的实现HypPAu能够处理多个案例研究，这些案例在序列长度、序列数量（或日志）和维度数量上可扩展，表明了我们的方法具有实际相关性。

Keyword:

runtime verification

hyperproperties

pattern matching

Hyper Pattern Matching

摘要

期刊

机构

引用论文