軟件架構(gòu)的代碼質(zhì)量(使用耦合度量來(lái)支持系統(tǒng)架構(gòu))

本文將從兩個(gè)比較有趣的耦合度量開始,即傳入耦合傳出耦合。這些基于整數(shù)的度量表示幾個(gè)相關(guān)對(duì)象(即相互協(xié)調(diào)以產(chǎn)生行為的對(duì)象)。任一度量中高數(shù)值表示架構(gòu)的維護(hù)問(wèn)題:高傳入耦合表示對(duì)象具有太多職責(zé),而高傳出耦合表示對(duì)象不夠獨(dú)立。在文章中,我將介紹每個(gè)這樣的問(wèn)題及其解決的方法。

傳入耦合

具有太多職責(zé)并非什么壞事。例如,組件(或包)通常試圖用于整個(gè)架構(gòu)中,這就會(huì)給它們帶來(lái)高傳入耦合值。核心框架(如 Strut)、登錄包(如 log4j)之類的實(shí)用工具以及異常層次結(jié)構(gòu)通常具有高傳入耦合。

在圖 1 中,可以看到一個(gè)包com.acme.ascp.exception具有一個(gè)值為 4 的傳入耦合。這并不奇怪,因?yàn)?code>web、dao、utilfrmwrk包都希望利用一個(gè)公共的異常框架。

圖 1. 傳入耦合的符號(hào)
傳入耦合的符號(hào)

如圖 1 所示,exception包具有一個(gè)值為 4 的傳入耦合(或者叫做Ca),這并非是件壞事。異常層次結(jié)構(gòu)很少會(huì)出現(xiàn)很大的改變。監(jiān)視
exception包的傳入耦合是個(gè)好主意,然而,由于徹底改變了這個(gè)包中的行為或契約,所以將引起它的四個(gè)依賴包全都出現(xiàn)連鎖反應(yīng)。

測(cè)量抽象性

通過(guò)進(jìn)一步檢查exception包并注意抽象到具體類的比率,可以派生出另一個(gè)度量:抽象性。在本例中,exception包具有零抽象性,因?yàn)樗乃蓄惗际蔷唧w的。這與我前面的觀察是一致的:exception包中的高度具體性表示對(duì)exception作出的任何更改將影響所有相關(guān)包,即com.acme.ascp.frmwrk、com.acme.ascp.utilcom.acme.ascp.daocom.acme.ascp.web。

通過(guò)理解傳入耦合表示組件的職責(zé),并持續(xù)監(jiān)視這個(gè)度量,可以防止軟件架構(gòu)出現(xiàn)熵(entropy),即使在大多數(shù)設(shè)計(jì)良好的系統(tǒng)中也很容易出現(xiàn)熵。

支持設(shè)計(jì)靈活性

很多架構(gòu)設(shè)計(jì)在利用第三方包時(shí)都考慮到了靈活性。獲得靈活性最好是通過(guò)使用接口來(lái)防止架構(gòu)在第三方包中發(fā)生更改。例如,系統(tǒng)設(shè)計(jì)師可以創(chuàng)建一個(gè)內(nèi)部接口包來(lái)利用第三方記帳代碼,但是只對(duì)這些使用記帳代碼的包公開接口。順便說(shuō)一下,這與 JDBC 的工作原理類似。

圖 2. 通過(guò)設(shè)計(jì)獲得靈活性
acme.ascp 應(yīng)用程序與第三方記帳包相耦合

如圖 2 所示,acme.ascp 應(yīng)用程序通過(guò)com.acme.ascp.billing包與第三方記帳包相耦合。這創(chuàng)建了一定級(jí)別的靈活性:如果有了另一個(gè)第三方記帳包更加有利用價(jià)值,那么應(yīng)該只有一個(gè)包會(huì)受到變更的影響。此外,com.acme.ascp.billing的抽象性值是 0.8,這表明它可以通過(guò)接口和抽象類來(lái)防止被修改。

如果要轉(zhuǎn)換到第三方實(shí)現(xiàn),只需要對(duì)com.acme.ascp.billing包進(jìn)行重構(gòu)。更好的方法是:通過(guò)在設(shè)計(jì)中考慮靈活性以及了解變更的隱含意義,可以通過(guò)開發(fā)人員測(cè)試來(lái)防止修改所造成的任何損害。

在對(duì)內(nèi)部記帳包作出變更前,您可以分析代碼覆蓋率報(bào)告,以確定是否有任何測(cè)試真正

測(cè)試了這個(gè)包。找到一些級(jí)別的覆蓋率后,您可以更仔細(xì)地檢查這些測(cè)試案例來(lái)驗(yàn)證它們是否足夠了。如果未找到覆蓋率,您將會(huì)知道,關(guān)閉并插入新庫(kù)的努力將更具風(fēng)險(xiǎn)性并可能花費(fèi)更長(zhǎng)的時(shí)間。

使用代碼度量收集所有這些似乎正確的信息非常容易。另一方面,如果您根本不了解與測(cè)試覆蓋率相關(guān)的包耦合的知識(shí),那么為替換第三方庫(kù)確定的時(shí)間最多就是個(gè)猜測(cè)!

監(jiān)視熵

前面提到過(guò),即使計(jì)劃得最好的架構(gòu)也會(huì)出現(xiàn)熵。通過(guò)團(tuán)隊(duì)磨損或未充分記錄的意圖,沒(méi)有經(jīng)驗(yàn)的開發(fā)人員可能會(huì)疏忽地導(dǎo)入似乎有用的包,不久以后,系統(tǒng)傳入耦合的值將開始增長(zhǎng)。

例如,將圖 3 與 圖 2 進(jìn)行比較。您注意到架構(gòu)增加的脆弱性了嗎?現(xiàn)在不僅dao包直接利用第三方記帳包,而且另一個(gè)甚至不想直接使用任何記帳代碼的包也引用了這兩個(gè)記帳包!

圖 3. 出現(xiàn)代碼熵
出現(xiàn)代碼熵

試圖為另一個(gè)包關(guān)閉com.third.party.billing包確實(shí)很具有挑戰(zhàn)性!設(shè)想一下降低產(chǎn)生缺陷和中斷系統(tǒng)各種行為方面的風(fēng)險(xiǎn)所需的測(cè)試腳手架。事實(shí)上,像這樣的架構(gòu)很少變更,因?yàn)樗鼈儫o(wú)法支持修改。更糟糕的是,即使像對(duì)現(xiàn)有組件的升級(jí)這樣的重要修改也會(huì)導(dǎo)致整個(gè)代碼基中斷的事情出現(xiàn)。

傳出耦合

如果傳入耦合是一些依賴于某個(gè)特定組件的組件的話,那么傳出耦合則是某個(gè)特定組件所依賴的一些組件。可以把傳出耦合看作傳入耦合的逆轉(zhuǎn)。

對(duì)于更改如何影響代碼來(lái)說(shuō),傳出耦合的引號(hào)意義與傳入耦合的類似。例如,圖 4 描述了com.acme.ascp.dao包,它具有一個(gè)值為 3 的傳出耦合(或者叫做Ce):

圖 4. dao 包中的傳出耦合
dao 包中的傳出耦合

如圖 4 所示,com.acme.ascp.dao包依賴于org.apache.log4j、com.acme.ascp.utilcom.acme.ascp.exception組件來(lái)履行其行為契約。與傳入耦合中一樣,依賴性級(jí)別本身并不是什么壞事。重要的是您對(duì)耦合的了解以及耦合如何影響對(duì)相關(guān)組件的更改。與傳入耦合一樣,抽象性度量在傳出耦合中起作用。在 圖 4 中,com.acme.ascp.dao包完全是具體的;因此它的抽象性為 0。這表示其傳出耦合包com.acme.ascp.dao
的組件自己會(huì)變得脆弱,因?yàn)?code>com.acme.ascp.dao包與 3 個(gè)附加的包具有傳出耦合。如果它們中的一個(gè)(比如說(shuō)com.acme.ascp.util)發(fā)生更改,將會(huì)在com.acme.ascp.dao中發(fā)生連鎖反應(yīng)。因?yàn)?code>dao無(wú)法通過(guò)接口或抽象類隱藏注入細(xì)節(jié),所以任何更改都可能影響它的依賴組件。

耦合與覆蓋相加等于……

檢查傳出耦合的關(guān)系數(shù)據(jù),并將其與代碼覆蓋相關(guān)聯(lián),會(huì)促進(jìn)作出更明智的決策。例如,假設(shè)一個(gè)新的需求傳達(dá)給開發(fā)團(tuán)隊(duì)。您可以將與該需求相關(guān)的更改精確到圖 4 所示的com.acme.ascp.util包。而且,在以前幾個(gè)版本中,依賴于util并且具有 0 抽象性的dao包具有很多高優(yōu)先權(quán)的缺陷(非??赡苁且?yàn)閷?duì)這個(gè)包進(jìn)行的開發(fā)人員測(cè)試太有限,有意思的是,最大的可能是由于代碼中的高復(fù)雜性值引起的)。在這種情況下,您的優(yōu)勢(shì)是了解com.acme.ascp.utilcom.acme.ascp.dao之間的關(guān)系。知道dao包依賴于util這一事實(shí)告訴您,為支持新需求而在util中進(jìn)行的任何修改可能會(huì)對(duì)易出故障的dao包產(chǎn)生負(fù)面的影響!

看到這個(gè)鏈接將幫助進(jìn)行風(fēng)險(xiǎn)評(píng)估,甚至幫助進(jìn)行工作級(jí)別的分析。如果未注意到這個(gè)鏈接,您可能已經(jīng)猜到將需要快速編碼工作來(lái)支持新需求。如果已經(jīng)看到這個(gè)鏈接,就可以分配適當(dāng)?shù)臅r(shí)間和資源來(lái)降低dao包中的間接損害。

監(jiān)視依賴性

正像連續(xù)地監(jiān)視傳入耦合可以揭示架構(gòu)設(shè)計(jì)中的熵一樣,監(jiān)視傳出耦合也有助于發(fā)現(xiàn)不必要的依賴性。例如,在圖 5 中,似乎在一些地方有人決定
com.acme.ascp.web包要為com.acme.ascp.user提供內(nèi)容。在user
包中的某處,一個(gè)或多個(gè)對(duì)象正在實(shí)際從web包導(dǎo)入一個(gè)對(duì)象。

圖 5. user 包中的傳出耦合
user 包中的傳出耦合

很明顯,這并非架構(gòu)設(shè)計(jì)最初意圖。但是,由于您一直針對(duì)傳出耦合而監(jiān)視系統(tǒng),所以可以輕松地重構(gòu)并改正這些不一致?;蛟S,web包中有用的實(shí)用工具對(duì)象應(yīng)該移動(dòng)到實(shí)用工具包,以便其他包可以利用它而不會(huì)引起不必要的依賴性。

測(cè)量不穩(wěn)定性

您可以將系統(tǒng)的傳出耦合和傳入耦合的數(shù)量結(jié)合起來(lái),形成另一個(gè)度量:不穩(wěn)定性。通過(guò)將傳出耦合除以傳出傳入耦合的和(Ce / (Ca + Ce)),可以生成一個(gè)比率,表示一個(gè)穩(wěn)定的包(值接近于 0)或者不穩(wěn)定的包(值接近于 1)。如這個(gè)等式所示,傳出耦合對(duì)包的穩(wěn)定性起作用:一個(gè)包越依賴于其他包,面對(duì)更改時(shí)它越容易受到連鎖反應(yīng)的影響。反過(guò)來(lái)說(shuō),一個(gè)包越被依賴,它越不可能發(fā)生更改。

例如,在圖 5 中,user包的不穩(wěn)定性值為 1,這表示它有一個(gè)值為 4 的傳出耦合,而沒(méi)有傳入耦合。像com.acme.ascp.dao 這樣的包中的更改將會(huì)影響user包。

在設(shè)計(jì)和實(shí)現(xiàn)架構(gòu)時(shí),依賴于穩(wěn)定的包是有益的,因?yàn)檫@些包不太可能更改。類似地,不穩(wěn)定的包依賴性會(huì)在發(fā)生更改時(shí)增大架構(gòu)內(nèi)發(fā)生間接損害的風(fēng)險(xiǎn)。

到主序列的距離

到目前為止,我已經(jīng)介紹了傳入耦合和傳出耦合,前者可用來(lái)評(píng)估更改包造成的影響,后者可用來(lái)評(píng)估外界的更改如何影響包。我還談及了抽象性度量和不穩(wěn)定性度量,前者在您想要了解如何輕松地對(duì)包進(jìn)行修改時(shí)很有用,后者可用來(lái)了解包依賴性如何影響某個(gè)特定的包。

還可以使用另一個(gè)度量來(lái)了解影響軟件架構(gòu)的因素。這個(gè)度量通過(guò) X, Y 坐標(biāo)上的一條直線來(lái)平衡抽象性和不穩(wěn)定性。主序列是笛卡兒坐標(biāo)上從X=0Y=1X=1Y=0的一條直線,如圖 6 所示:

圖 6. 主序列
主序列

通過(guò)沿著這條直線繪制包并測(cè)量它們到主序列的距離,可以推斷包的平衡。如果包對(duì)于抽象性和不穩(wěn)定性是平衡的,它的距離就接近于 0,如果包不平衡,那么它距離主序列的距離就接近于 1,如圖 7 所示:

圖 7. 到主序列的距離
到主序列的距離

檢查到主序列的距離

度量會(huì)產(chǎn)生有趣的結(jié)果。例如,上面的user包生成的值為 0。就一個(gè)實(shí)現(xiàn)包來(lái)說(shuō),這個(gè)包是平衡的,即高度不穩(wěn)定。

總體來(lái)說(shuō),“到主序列的距離” 度量嘗試補(bǔ)償實(shí)際實(shí)現(xiàn)。沒(méi)有代碼基包含所有抽象性和不穩(wěn)定性值為 1 或 0 的包 —— 多數(shù)包的值位于這兩個(gè)數(shù)字之間。通過(guò)監(jiān)視 “到主序列的距離” 度量,可以衡量包是否正在變得不平衡。尋找偏遠(yuǎn)的值,如值接近于 1 的包(這表示它們距離主序列盡可能地遠(yuǎn)),有助于了解特定的不平衡如何影響架構(gòu)的可維護(hù)性(例如,通過(guò)脆弱性)。

結(jié)束語(yǔ)

在本期文章中,您已經(jīng)了解幾種可以持續(xù)監(jiān)視的架構(gòu)度量。通過(guò)代碼分析工具可以報(bào)告?zhèn)魅牒蛡鞒鲴詈?、不穩(wěn)定性、抽象性、到主序列的距離,這些代碼分析工具包括 JDepend、JarAnalyzer 和 Metrics plug-in for Eclipse監(jiān)視系統(tǒng)的代碼耦合度量有助于您掌握可破壞架構(gòu)的常見(jiàn)趨勢(shì),即設(shè)計(jì)剛度、包熵和不必要的依賴性。此外,根據(jù)抽象性和不穩(wěn)定性來(lái)測(cè)量系統(tǒng)平衡將使您不斷的了解系統(tǒng)的可維護(hù)性。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • Spring Cloud為開發(fā)人員提供了快速構(gòu)建分布式系統(tǒng)中一些常見(jiàn)模式的工具(例如配置管理,服務(wù)發(fā)現(xiàn),斷路器,智...
    卡卡羅2017閱讀 136,711評(píng)論 19 139
  • //我所經(jīng)歷的大數(shù)據(jù)平臺(tái)發(fā)展史(三):互聯(lián)網(wǎng)時(shí)代 ? 上篇http://www.infoq.com/cn/arti...
    葡萄喃喃囈語(yǔ)閱讀 51,716評(píng)論 10 199
  • 1. Java基礎(chǔ)部分 基礎(chǔ)部分的順序:基本語(yǔ)法,類相關(guān)的語(yǔ)法,內(nèi)部類的語(yǔ)法,繼承相關(guān)的語(yǔ)法,異常的語(yǔ)法,線程的語(yǔ)...
    子非魚_t_閱讀 34,869評(píng)論 18 399
  • 對(duì)自己的職業(yè) 人生極其困惑 不想和人或數(shù)據(jù)打交道 根本沒(méi)有可以做的工作吧 對(duì)華潤(rùn)的簡(jiǎn)陋的辦公環(huán)境的抵觸 對(duì)精致生活...
    角落蜷縮閱讀 160評(píng)論 0 0
  • 你說(shuō)你也不知道生活的意義是什么,但是生活是過(guò)出來(lái)的,不是想出來(lái)的,活著活著我們就會(huì)明白了。你說(shuō)去擁抱大自然,這...
    會(huì)飛的豬123fly閱讀 568評(píng)論 0 0

友情鏈接更多精彩內(nèi)容