计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2012年
8期
3064-3068
,共5页
面向方面编程%方面冲突%自动检测%契约式设计%Java模型语言
麵嚮方麵編程%方麵遲突%自動檢測%契約式設計%Java模型語言
면향방면편정%방면충돌%자동검측%계약식설계%Java모형어언
为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案.根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突.该方案不破坏现有的应用程序,且无需重新设计编译器.通过一个实例表明该方案的可行性.
為瞭解決麵嚮方麵編程中的方麵遲突問題,在分析現有解決方法的基礎上,提齣瞭一種基于契約式設計的方麵遲突自動檢測方案.根據設計文檔使用JML給方麵和基礎程序標註契約,利用契約轉換程序生成契約檢查程序,契約檢查程序與麵嚮方麵的應用程序一起編譯,生成包含契約檢查的目標文件,從而在程序執行時,自動檢測齣方麵與基礎程序間的遲突以及方麵與方麵間遲突.該方案不破壞現有的應用程序,且無需重新設計編譯器.通過一箇實例錶明該方案的可行性.
위료해결면향방면편정중적방면충돌문제,재분석현유해결방법적기출상,제출료일충기우계약식설계적방면충돌자동검측방안.근거설계문당사용JML급방면화기출정서표주계약,이용계약전환정서생성계약검사정서,계약검사정서여면향방면적응용정서일기편역,생성포함계약검사적목표문건,종이재정서집행시,자동검측출방면여기출정서간적충돌이급방면여방면간충돌.해방안불파배현유적응용정서,차무수중신설계편역기.통과일개실례표명해방안적가행성.
