%0 Journal Article
%T 运行时验证技术的研究进展
%A 张硕？
%A 贺飞？
%J 计算机科学
%D 2014
%X 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。
%K 运行时验证
%K 运行时监控
%K 软件正确性
%K 形式化方法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201411A087&flag=1