期刊
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
卷 12, 期 -, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/2465787.2465797
关键词
Verification; Hybrid systems; testing; robustness; metric temporal logic
资金
- NSF [CNS-1017074, CNS-1116136, CNS-1016994]
- Direct For Computer & Info Scie & Enginr
- Division Of Computer and Network Systems [1116136] Funding Source: National Science Foundation
- Division Of Computer and Network Systems
- Direct For Computer & Info Scie & Enginr [1016994, 1017074] Funding Source: National Science Foundation
We present a Monte-Carlo optimization technique for finding system behaviors that falsify a metric temporal logic (MTL) property. Our approach performs a random walk over the space of system inputs guided by a robustness metric defined by the MTL property. Robustness is guiding the search for a falsifying behavior by exploring trajectories with smaller robustness values. The resulting testing framework can be applied to a wide class of cyber-physical systems (CPS). We show through experiments on complex system models that using our framework can help automatically falsify properties with more consistency as compared to other means, such as uniform sampling.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据