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

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

梁睿  
【摘要】: 面向对象编程(Obiect-Oriented Programming,OOP)是一种实现软件模块化和可重用的编程规范,较好地解决对象和数据的封装问题。但是随着编程实践的日益丰富,OOP也表现出缺陷:在加入横切关注之后的代码容易产生交织、分散问题,使得代码难以理解和维护。面向切面编程(Aspect-OrientedProgramming,AOP)方法应运而生,为上述问题提供了一种有效和可行的方法:AOP支持软件模块化和可重用,能有效地消除代码的交织和分散问题。AOP将程序被描述成对象和切面的集合,通过织入器把切面织入到程序中。由于切面如何描述在很大程度上影响到系统的关键行为(比如性能和同步),与此同时,系统的关键行为使得切面的描述复杂化,Bugs可能存在于程序中而难以发觉。因此AOP程序的验证工作相对复杂。我们需要一种方法来测试或验证AOP程序的正确性。 目前对AOP的研究侧重于语言本身的实现和应用,而对程序进行检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来检测AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。本文给出该框架的整体流程和核心算法,并使用一个详细的案例对研究内容进行分析介绍。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄道斌;;一种基于SPRING SECURITY的访问控制方案[J];软件导刊;2011年08期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前2条
1 王鑫;邢薇;;面向切面编程(AOP)在J2EE公共问题中应用[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
2 梁睿;刘林霞;张自强;;基于运行时验证的AOP程序检测框架[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国硕士学位论文全文数据库 前10条
1 梁睿;基于运行时验证的AOP程序检测框架研究[D];兰州大学;2009年
2 修丽强;工作流系统切面松耦合模型研究[D];哈尔滨理工大学;2007年
3 谷莹吉;RBAC扩展模型在权限控制中的研究与应用[D];哈尔滨理工大学;2008年
4 柯举;基于AOP与DI的反射式中间件架构的研究与设计[D];大连海事大学;2008年
5 罗强;轻量级容器的研究与设计[D];武汉理工大学;2007年
6 刘玲;基于Spring MVC的旅游电子商务平台构建[D];复旦大学;2009年
7 刘盛彬;基于Java EE的石油库存管理系统构建[D];复旦大学;2009年
8 袁勇;基于AOP技术的用户认证和授权管理系统的研究与设计[D];重庆大学;2006年
9 刘洋;基于Acegi的Web安全架构的研究与实现[D];华中科技大学;2007年
10 白亚茹;轻量级J2EE物流信息服务平台设计与实现[D];电子科技大学;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978