軟件最大的追求是什麼?

  這段時間在開源領域,即將推出的Spring 2.0將支持非貧血模型,也就是說,Domain model的持久化可以乾淨地全部在Domain model自身之中實現了,這是面向對象技術一種探索。有關域模型建模困惑可見這裏。  

  當面向對象技術正在將Model對象持久化行爲綁定到Model數據自身時,工業界力推的SOA則倡導的是將數據從行爲中解耦出來。SOA相關討論見這裏。看似矛盾,實際它們有一個共同點,追求同一個終極目標:鬆耦合(loose coupling)。

  當我們在Java波濤洶涌的潮流中奮擊時,我們常常會思考?我爲什麼要這樣做?甚至,我們會想鬆耦合真的那麼酷?可維護性真的是軟件唯一?也許我們迷失了方向。

  我們要好好探究一下,軟件的最大追求是什麼?

  我們的大學計算機教育只是教會我們如何編程?這如同技工學校中教會學員如何使用車牀一樣,當我們學會了編程,接下來是什麼呢?是不是就沒有了呢?是不是就是如同車工那樣只需日復一日的反覆編程呢?

  其實,當你在一個系統中持續編程(增加新的東西),這個系統就變得複雜了,你面臨最大的挑戰是如何整理你自己的產物。

  也就是說:大學教育只教會我們如何“增加新的東西”,但是沒有教育我們如何“整理這些東西”,而後者是目前軟件領域日新月異不斷髮生的革命的新動力。

  下面我們以具體代碼來說明“增加新的東西”和“整理這些東西”完全屬於不同層次的學問,有些人談到軟件只會想到算法和數據結構,認爲這些纔是科學,其實這是將軟件數學化,軟件不只是科學計算的工具,它自身也是一門科學,更象管理學/經濟學一樣,是科學和藝術的結合。

  在最近Java(TM) Boutique網站上刊登出一篇文章Measuring the Complexity of OO Systems,衡量OO系統的複雜性,該文對軟件複雜性幾個著名公理進行了詳細闡述,這些公理如果你不進行學習和培訓,即使你使用OO語言Java等這樣工具,還是顯示你是“業餘”的。

  軟件複雜性包括以下部分(引自Measuring the Complexity of OO Systems):

Cyclomatic Complexity (圈複雜性)
Response for Class (類的響應)
Weighted methods per class (每個類重量方法)
Cyclomatic Complexity

  Cyclomatic Complexity可以用下面代碼來說明:

Cyclomatic Complexity (CC) = number of decision points +1
 

  其中number of decision points是指一個if else之類的條件判斷語句,比如,是下面這個條語句:

public void isValidSearchCriteria(SearchCriteria s){

  if(s!=null) {
    return true;
  }else{
    return false;
  }
}
 

  Cyclomatic complexity 對代碼的可測試性和可維護性上有很大影響,正如上例指出,當你要測試isValidSearchCriteria()方法 ,你必須寫三個測試用例來驗證它。

  如果這個CC值增加,將有更多的判斷點(decision points)數量,也就意味着需要花費更多的力量來測試這些方法。詳細更多說明可參考Measuring the Complexity of OO Systems一文。

  所以,if else 或while 等條件語句是對真正OO的一種傷害(這是非OO公理見Thomas McCabe),可以極端地說:一個好的OO系統幾乎在業務邏輯層看不到超出兩個以上條件的if else等判斷語句,這些條件語句都是可以被GoF設計模式的狀態模式/策略模式等替代(你還在用if else嗎)。

  當你的Java系統中充滿了大量的if else語句,雖然你使用很酷的語言工具,但是說明你的思維是傳統過程的,需要重新學習和培訓。

Response for Class(RFC)

這是著名的 Chidamber and Kemerer公理之一。以下面代碼來說明:

public class RegistrationManager {
  public void createRegistration(RegistrationData regData){

    DataAccessManager manager = new DataAccessManager();
    AuditManager auditManager = new AuditManager();
    //save the registration
    manager.saveRegistration(regData);
    //audit the creattion
    auditManager.createAuditRecord(regData);

  }

  public Registration findRegistration(String regNumber){

    DataAccessManager manager = new DataAccessManager();
    Registration reg = null;

    //find the registration
    reg = manager.findRegsitration(regNumber);

    return reg;

  }

}

 

  這個類RegistrationManager 依賴其他兩個類DataAccessManager 和 AuditManager 。

  按照公理公式:

  RFC = M+ R (M = 這個類中方法個數. R = 其他總數)

  在上例中,我們統計類響應RFC數目如下:

  在RegistrationManager中方法數目 = 2
  調用了DataAccessManager的方法數目 = 2
  調用了AuditManager的方法數目 = 1

  這樣:RFC(RegistrationManager) = 2 + 2 +1 = 5

  當一個類和很多其他類存在依賴時,它就變得複雜甚至難以修改和維護,這樣,RFC值越大,表示你的系統味道越壞。

  當然,因爲OO系統是基於類和方法,不可能開發出一個0值RFC的系統,但是我們追求的目標是一種平衡,當你設計OO系統時,必須時刻注意這些公理,儘量避免類的編碼達到一個RFC高值。

  我們如果使用現代一些模式:如Ioc模式,可以幫助我們方便不費力氣地達到這樣一個平衡,因此,使用Spring/Jdon之類框架是降低RFC值的一個捷徑。

Weighted methods per class


  之前幾個公理是介紹如何通過類之間交互調用使得軟件系統變得異常複雜,一個系統或一個特定的類自身也會變得異常複雜,有很多方法,Weighted Method Per Class公理幫助我們量化定義這些情況。

  這個公理定義會依據兩種情況:一個類實現;不同的實現。


  WMC 1 = 一個類中所有方法個數.
  WMC 2 = 所有方法的Cyclomatic Complexities個數.

  無論你選擇哪一種公式,一個WMC高值顯示這個類也許需要被重整成多個類。
  這個公式可以幫助你讓類保持乾淨,並且和相關行爲意義上更加靠近(cohesive)。

  以前面的RFC例子說明:如果你將DataAccessManager和AuditManager類中的方法都定義到當前RegistrationManager類中,你會得到一個WMC高值,這說明這個類需要重整了。

鬆耦合設計

  前面章節我們反覆提到重整(refactoring),它的意思就是:你不但會“增加新的東西”,而且還要學會“整理這些東西”(重整)。

  正如兒童玩玩具一樣,他可以無師自通很快學會玩一個新東西,但是,當他玩完很多新玩具以後,他就很難學會整理他到處亂丟的玩具。由此可見:會編程不值得驕傲(可能源自天生),懂得如何整理纔是真正的專業程序員。

  現在,讓我們回到問題的本質,上述列舉了軟件的複雜性,複雜會導致難於維護和測試,那我們需要整理,那麼整理是否可量化一種程度呢?

  我們使用“鬆耦合”這個概念來表示易於維護、易於測試、易於擴展的程度,當然,鬆耦合值越高,我們系統更易於維護。當前,軟件世界的發展,SOA、Ioc/AOP不都是在追求鬆耦合的最大化嗎?

  鬆耦合一個反義詞“緊耦合”,從我們學會玩編程這個玩具開始起,我們就面臨兩種選擇:一種樸素的、無需訓練的、近似自然的“緊耦合”路線;一種是經過科學培訓的“鬆耦合”道路。選擇哪一條道路就取決於你是否受過專業訓練了。

  所以,對於編程這個玩具,不在於你是否會玩,而在於你怎麼玩?玩的水平。如果不明白這個道理,中國軟件的蕭條永遠不會結束。

 

發佈了4 篇原創文章 · 獲贊 0 · 訪問量 6萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章