| 运行时验证技术的研究进展 |
| |
| 引用本文： | 张硕,贺飞. 运行时验证技术的研究进展[J]. 计算机科学, 2014, 41(Z2) |
| |
| 作者姓名： | 张硕 贺飞 |
| |
| 作者单位： | 1. 清华大学软件学院 北京100084
2. 清华大学软件学院 北京100084;信息系统安全教育部重点实验室 北京100084;清华信息科学与技术国家实验室(筹) 北京100084 |
| |
| 基金项目： | 973项目，国家自然科学基金项目，国家科技支撑计划，清华大学自主科研计划、北京市属高等学校高层次人才引进与培养计划项目 |
| |
| 摘 要： | 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。
|
| 关 键 词： | 运行时验证 运行时监控 软件正确性 形式化方法 |
Research Advances in Runtime Verification |
| |
| ZHANG Shuo,HE Fei. Research Advances in Runtime Verification[J]. Computer Science, 2014, 41(Z2) |
| |
| Authors: | ZHANG Shuo HE Fei |
| |
| Abstract: | |
| |
| Keywords: | Runtime verification Runtime monitoring Correctness of software Formal methods |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
