基于AOP的运行时验证中的冲突检测

摘要：

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.

关键词：运行时验证、面向方面编程、切入点、冲突检测

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60970035,91018013,90818024,60803042

在线出版日期：2011-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1224-1235