基于运行时验证的AOP程序检测框架
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。通过对日志记录程序验证和分析证明该框架是可行的。
运行时验证 面向切面编程 线性时序逻辑 程序检测
梁睿 刘林霞 张自强
兰州大学信息科学与工程学院,甘肃 兰州 730000
国内会议
南宁
中文
877-881
2009-07-17（万方平台首次上网日期，不代表论文的发表时间）