运行时验证技术的研究进展

摘要：

运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应.运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性.总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望.

关键词：运行时验证、运行时监控、软件正确性、形式化方法

所属期刊栏目：41

分类号：TP301.2(计算技术、计算机技术)

资助基金：973项目2010CB328003;国家自然科学基金项目60903030,61272001,91218302;国家科技支撑计划SQ2012BAJY4052;清华大学自主科研计划、北京市属高等学校高层次人才引进与培养计划项目YETP0167

在线出版日期：2015-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：359-363