收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于运行时验证的AOP程序检测框架

梁睿  刘林霞  张自强  
【摘要】:目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。通过对日志记录程序验证和分析证明该框架是可行的。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王成志;顾伟楠;;基于AOP的跨平台自适配安全构件的研究[J];计算机与数字工程;2007年06期
2 陈自力;;基于JBoss的AOP实现机制的研究[J];长春工程学院学报(自然科学版);2010年02期
3 吴元斌;面向对象技术与面向agent技术的比较研究[J];计算机工程与应用;2001年19期
4 吴自浅;陈云华;孙为军;区劲文;;基于用例的面向方面软件开发及实例研究[J];广东科技;2009年02期
5 方义秋;王桂丹;葛君伟;;面向方面的动态软件架构研究[J];微电子学与计算机;2011年03期
6 程龙;李冶;;应用ASM修改JAVA字节码[J];信息与电脑(理论版);2011年05期
7 王根;;基于JAVA的动态代理实现的AOP的研究[J];硅谷;2011年12期
8 黄兴华;胡飞;;AOP技术在面向用户的软件组件测试中的应用[J];计算机应用与软件;2009年08期
9 秦东,文登敏,金松河;AOP在异常处理中的应用研究[J];唐山学院学报;2004年01期
10 鄢莉;刘泽民;;在.NET平台下实现AOP的技术基础研究[J];网络安全技术与应用;2006年06期
11 刘骁;何红波;李义兵;;OSWorkflow工作流管理系统SH-Flow的设计与实现[J];计算机与数字工程;2007年06期
12 袁英;张传立;;利用AOP实现I18N[J];北京交通管理干部学院学报;2007年04期
13 王苏;;浅析程序设计方法[J];黑龙江科技信息;2008年06期
14 张海峰;孔蕾蕾;袁涛;;AOP和设计模式的综述[J];黑龙江科技信息;2009年35期
15 Ramnivas Laddad;刘克科;;通过AspectJ更好地了解AOP[J];程序员;2002年11期
16 李慧;张京军;李福荣;陈月娟;;面向方面的软件连接件复用研究[J];计算机应用与软件;2009年09期
17 叶峰;;应用软件的监控与AOP技术探析[J];中国新技术新产品;2009年24期
18 连宏;杨淳;;基于AOP技术的统一身份验证模式的探讨与实现[J];仪器仪表用户;2010年04期
19 古思山;赵黎阳;李师贤;;一种实用的对象持久化框架[J];计算机科学;2010年08期
20 Ramnivas Laddad;刘克科;;使用AspectJ描述现实问题里的横切关注点[J];程序员;2002年11期
中国重要会议论文全文数据库 前10条
1 梁睿;刘林霞;张自强;;基于运行时验证的AOP程序检测框架[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
2 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
3 贺建立;陈榕;;面向普适计算的动态AOP设计与实现[A];第四届和谐人机环境联合学术会议论文集[C];2008年
4 李仁杰;郭长国;徐晓东;王怀民;;新型软件开发方法AOP的研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 曹锐鑫;周晓光;;基于AOP的事务管理方案在电子政务系统中的设计与实现[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
6 何思平;方美琪;;Spring AOP技术在电子商务中的应用[A];IT服务促进企业信息化——第十一届中国Java技术及应用交流大会文集[C];2008年
7 叶绿;;RFID通用软件构架研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
8 王鑫;邢薇;;面向切面编程(AOP)在J2EE公共问题中应用[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
9 王有华;;AsepectJ在AOP中的应用[A];Java技术及应用的进展——第八届中国Java技术及应用交流大会文集[C];2005年
10 刘一童;;使用XStream实现Java对象与XML转换[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
中国博士学位论文全文数据库 前10条
1 赵常智;基于运行时验证的软件监控关键技术研究[D];国防科学技术大学;2011年
2 李世胜;基于运行时的程序执行模型研究[D];中国科学技术大学;2010年
3 张秀峰;AOP技术及其在软件安全中的应用[D];北京邮电大学;2008年
4 舒林;射频优卡多芯片操作系统隔离与安全通信方法研究[D];华中科技大学;2009年
5 柴志雷;Java实时性及嵌入式实时Java处理器研究[D];复旦大学;2006年
6 姚志林;基于本体的工作流为中心协同工作关键技术的研究[D];吉林大学;2007年
7 邹琼;Java虚拟机的自适应动态优化[D];中国科学技术大学;2008年
8 张雪松;软件迷惑技术研究[D];吉林大学;2008年
9 邬少飞;基于WEB服务的动态虚拟企业工作流的研究[D];华中科技大学;2009年
10 王华;预见式自适应软件体系结构的研究[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 李星;基于AOP的业务约束运行时检测[D];西安工程大学;2011年
2 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
3 王长春;Java组件的运行时替换方法[D];吉林大学;2004年
4 唐雅璇;基于AOP技术的性能监测工具的设计与实现[D];华侨大学;2012年
5 吴元凯;基于反射和动态AOP的自适应软件研究与设计[D];复旦大学;2010年
6 董敏敏;基于JRuby的J2EE业务层框架技术研究[D];重庆大学;2008年
7 康乃元;基于AOP的集成测试方法研究及其在信息科研系统持续集成中的应用[D];中国海洋大学;2010年
8 王加加;基于AOP的安全信息收集与统计系统的设计与实现[D];西安电子科技大学;2011年
9 毛冲;AOP及其在房产管理系统开发中的应用研究[D];南昌大学;2010年
10 丁大伟;电子交易中软件运行时行为分析与预测[D];湖南工业大学;2010年
中国重要报纸全文数据库 前10条
1 ;拿什么开发RIA?[N];计算机世界;2007年
2 叶开;IM营销运行时[N];中国计算机报;2008年
3 ;在AIX系统中,如何利用名为core的文件?[N];网络世界;2007年
4 张鹏 吴刚;基于XML的图形用户界面[N];计算机世界;2006年
5 新疆财经学院 任艳;如何减弱JAVA语言中图形动画运行时的闪烁现象[N];新疆科技报(汉);2001年
6 沈建苗 译;实战SOA[N];计算机世界;2007年
7 寿栋;十大SOA管理工具[N];计算机世界;2007年
8 张晓风;关于C++异常处理的心得体会[N];电脑报;2003年
9 清水 编译;Ruby面向Java世界[N];计算机世界;2006年
10 ;数据交换结构保持信息一致[N];网络世界;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978