| 一种基于MaC的运行时验证框架的研究 |
| |
| 引用本文： | 许帅,隋平. 一种基于MaC的运行时验证框架的研究[J]. 计算机与现代化, 2010, 0(1): 188-190. DOI: 10.3969/j.issn.1006-2475.2010.01.053 |
| |
| 作者姓名： | 许帅 隋平 |
| |
| 作者单位： | 1. 装甲兵工程学院信息工程系,北京,100072
2. 国防科学技术大学计算机学院,湖南,长沙,410073 |
| |
| 摘 要： | 介绍一种基于Monitoring and Checking（MaC）的运行时验证框架。受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究MaC的工作原理和框架,结合预测语言的定义,提出一种运行时验证框架。该工作的意义在于,一方面继承了MaC的逻辑表达能力,在事件、条件的定义上简洁方便;另一方面通过带预测语义的验证器的引入,扩展了MaC的逻辑表达能力,并使得该运行时验证框架带有一定的预测性,为进一步研究基于预测语义的在线主动监控打下良好的基础。
|
| 关 键 词： | MaC 运行时验证 预测语义 |
Research on a Runtime Verification Framework Based on MaC |
| |
| XU Shuai,SUI Ping. Research on a Runtime Verification Framework Based on MaC[J]. Computer and Modernization, 2010, 0(1): 188-190. DOI: 10.3969/j.issn.1006-2475.2010.01.053 |
| |
| Authors: | XU Shuai SUI Ping |
| |
| Affiliation: | 1.Department of Information and Engineering/a>;Academy of Armored Forces Engineering/a>;Beijing 100072/a>;China/a>;2.School of Computer Science/a>;National University of Defense Technology/a>;Changsha 410073/a>;China |
| |
| Abstract: | This paper introduces a runtime verification(RV)framework that based on a RV tool named Monitoring and Checking(MaC).Based on the concept of anticipatory semantics,and also combines with the research on the working principle of MaC,a rather mature runtime verification tool,it puts forward a kind of runtime framework.The meaning is that,the logical expression ability of MaC is fully used,which makes it simple to define events and conditions.On the other way,it widens the ability with the introduction of moni... |
| |
| Keywords: | MaC runtime verification anticipatory semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
