一种基于MaC的运行时验证框架的研究

• 作者: 许帅 隋平
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: MaC 运行时验证 预测语义
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 应用与开发
• 页码范围: 188-190
• 页数: 3页
• 分类号: TP311.52
• 字数: 2197字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.01.053

摘要

介绍一种基于Monitoring and Checking（MaC）的运行时验证框架.受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究MaC的工作原理和框架,结合预测语言的定义,提出一种运行时验证框架.该工作的意义在于,一方面继承了MaC的逻辑表达能力,在事件、条件的定义上简洁方便；另一方面通过带预测语义的验证器的引入,扩展了MaC的逻辑表达能力,并使得该运行时验证框架带有一定的预测性,为进一步研究基于预测语义的在线主动监控打下良好的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许帅	装甲兵工程学院信息工程系	4	7	1.0	2.0
2	隋平	国防科学技术大学计算机学院	3	18	2.0	3.0