AOP中方面沖突自動檢測方法研究

摘要： 為了解決面向方面編程中的方面沖突問題,在分析現(xiàn)有解決方法的基礎(chǔ)上,提出了一種基于契約式設(shè)計(jì)的方面沖突自動檢測方案。根據(jù)設(shè)計(jì)文檔使用JML給方面和基礎(chǔ)程序標(biāo)注契約,利用契約轉(zhuǎn)換程序生成契約檢查程序,契約檢查程序與面向方面的應(yīng)用程序一起編譯,生成包含契約檢查的目標(biāo)文件,從而在程序執(zhí)行時(shí),自動檢測出方面與基礎(chǔ)程序間的沖突以及方面與方面間沖突。該方案不破壞現(xiàn)有的應(yīng)用程序,且無需重新設(shè)計(jì)編譯器。通過一個(gè)實(shí)例表明該方案的可行性。 （共5頁）