基于運(yùn)行時(shí)驗(yàn)證的AOP程序檢測(cè)框架研究.pdf

1、面向?qū)ο缶幊?Object-Oriented Programming，OOP)是一種實(shí)現(xiàn)軟件模塊化和可重用的編程規(guī)范，較好地解決對(duì)象和數(shù)據(jù)的封裝問(wèn)題。但是隨著編程實(shí)踐的日益豐富，OOP也表現(xiàn)出缺陷：在加入橫切關(guān)注之后的代碼容易產(chǎn)生交織、分散問(wèn)題，使得代碼難以理解和維護(hù)。面向切面編程(Aspect-Oriented Programming，AOP)方法應(yīng)運(yùn)而生，為上述問(wèn)題提供了一種有效和可行的方法：AOP支持軟件模塊化和可重用，能有效地消

2、除代碼的交織和分散問(wèn)題。AOP將程序被描述成對(duì)象和切面的集合，通過(guò)織入器把切面織入到程序中。由于切面如何描述在很大程度上影響到系統(tǒng)的關(guān)鍵行為(比如性能和同步)，與此同時(shí)，系統(tǒng)的關(guān)鍵行為使得切面的描述復(fù)雜化，Bugs可能存在于程序中而難以發(fā)覺(jué)。因此，AOP程序的驗(yàn)證工作相對(duì)復(fù)雜，需要一種方法來(lái)測(cè)試或驗(yàn)證AOP程序的正確性。 目前，對(duì)AOP的研究側(cè)重于語(yǔ)言本身的實(shí)現(xiàn)和應(yīng)用，而對(duì)程序進(jìn)行檢查和驗(yàn)證的相關(guān)研究十分缺乏。本文提出一種基于運(yùn)