A brief account of runtime verification
A brief account of runtime verification
复制标题
DOI：
10.1016/j.jlap.2008.08.004
复制
发表时间：
2009-05-01
影响因子：
--
通讯作者：
Schallhart, Christian
中科院分区：
文献类型：
--
作者：
Leucker, Martin;Schallhart, Christian
在本文中，运行时验证领域的简要说明。从运行时验证的定义开始，提供了一个比较知名的验证技术，如模型检查和测试，并指出运行时验证的应用程序中，它的显着特点。此外，运行时验证的扩展，如面向监视器的编程，和基于监视器的运行时反射勾勒和他们的异同进行了讨论。最后，简要地指出了使用运行时验证合同执行。(C)2008年爱思唯尔公司All rights reserved.
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out. (C) 2008 Elsevier Inc. All rights reserved.