运行时验证技术的研究进展 | |
张硕 ; 贺飞 ; ZHANG Shuo ; HE Fei | |
2016-03-30 ; 2016-03-30 | |
关键词 | 运行时验证 运行时监控 软件正确性 形式化方法 embedded microprocessor off-chip memory encryption and authentication TP311.53 |
其他题名 | Research Advances in Runtime Verification |
中文摘要 | 运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。; Runtime verification is a lightweight verification technique which monitors the behaviors of the target systems and checks whether their behaviors satisfy the desired properties.Once a violation is observed,the monitor informs the system to react in time.Runtime verification has been applied to various areas to ensure the correctness of systems.In this paper,the concepts,principles and categories of runtime verification were first introduced.Then several solutions and research hotspots in this area were analyzed.Finally,we discussed the current challenges,and outlined the future research directions of runtime verification. |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.lib.tsinghua.edu.cn/ir/item.do?handle=123456789/147005] |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 张硕,贺飞,ZHANG Shuo,等. 运行时验证技术的研究进展[J],2016, 2016. |
APA | 张硕,贺飞,ZHANG Shuo,&HE Fei.(2016).运行时验证技术的研究进展.. |
MLA | 张硕,et al."运行时验证技术的研究进展".(2016). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论