| 基于AOP 的运行时验证中的冲突检测 |
| |
| 引用本文： | 张献,董威,齐治昌.基于AOP 的运行时验证中的冲突检测[J].软件学报,2011,22(6):1224-1235. |
| |
| 作者姓名： | 张献 董威 齐治昌 |
| |
| 作者单位： | 国防科学技术大学计算机学院,湖南长沙41,0073 |
| |
| 摘 要： | 现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.
|
| 关 键 词： | 运行时验证 面向方面编程 切入点 冲突检测 |
| 收稿时间： | 2010/7/10 0:00:00 |
| 修稿时间： | 2011/3/29 0:00:00 |
Conflicts Detection in Runtime Verification Based on AOP |
| |
| ZHANG Xian,DONG Wei and QI Zhi-Chang.Conflicts Detection in Runtime Verification Based on AOP[J].Journal of Software,2011,22(6):1224-1235. |
| |
| Authors: | ZHANG Xian DONG Wei and QI Zhi-Chang |
| |
| Affiliation: | ZHANG Xian,DONG Wei,QI Zhi-Chang (School of Computer,National University of Defense Technology,Changsha 410073,China) |
| |
| Abstract: | |
| |
| Keywords: | runtime verification aspect-oriented programming pointcut conflict detection |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
