基于元數(shù)據(jù)的Java平臺(tái)契約式設(shè)計(jì)框架研究.pdf

1、契約式設(shè)計(jì)方法是面向?qū)ο筌浖こ讨杏糜谔岣呖煽啃缘男问交椒▽W(xué)。然而，在主流的開發(fā)語言中，并沒有內(nèi)建契約式設(shè)計(jì)的支持。為了使契約式設(shè)計(jì)方法使用更為方便，就需要在語言層次中加入契約式設(shè)計(jì)的支持。 本文首先探討了在Java平臺(tái)上實(shí)現(xiàn)契約式設(shè)計(jì)的可選方案。目前主流的解決方案都實(shí)現(xiàn)了聲明式編程的契約聲明模型。在契約驗(yàn)證的方式上，有代表傳統(tǒng)的靜態(tài)工具的JML，也有采用AOP和JSR-175等較新技術(shù)的Contract4J。由于后者在易用性

2、、可擴(kuò)展性等方面更勝一籌，因此本文著重以后者為對(duì)象展開研究。 研究發(fā)現(xiàn)，Contract4J在自動(dòng)處理契約繼承、保存契約驗(yàn)證時(shí)所需的“舊狀態(tài)”以及性能和可動(dòng)態(tài)管理等方面存在一定的不足。于是，以解決上述問題為目標(biāo)，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)采用AspectJ和JSR-175元數(shù)據(jù)機(jī)制的動(dòng)態(tài)契約式設(shè)計(jì)框架，命名為EasyDbC。 EasyDbC利用AspectJ和JSR-175的特性，實(shí)現(xiàn)了契約的“疊加繼承”，從而解決了使用JSR-1