张硕
- 作品数：1 被引量：6H指数：1
- 供职机构：清华大学软件学院更多>>
- 发文基金：清华大学自主科研计划国家自然科学基金北京市属高等学校高层次人才引进与培养计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 运行时验证技术的研究进展被引量：6
- 2014年
- 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。
- 张硕贺飞
- 关键词：形式化方法
