基于面向?qū)ο蟪绦蚯衅能浖攘?/h1>

電子工程師?來(lái)源：國(guó)外電子元器件?作者：華寧，高敬陽(yáng) 北京化? 2009-11-02 09:56 ? 次閱讀 ? 個(gè)評(píng)論

基于面向?qū)ο蟪绦蚯衅能浖攘?/B>

1 引言
??? 程序切片是軟件工程領(lǐng)域的一項(xiàng)程序分析技術(shù)，在軟件測(cè)試、度量、程序調(diào)試、維護(hù)以及逆向工程等方面有著廣泛應(yīng)用。通過(guò)切片技術(shù)，人們?cè)诔绦蚍治鲞^(guò)程中可以重點(diǎn)關(guān)注那些感興趣的代碼或者變量。

2 程序切片技術(shù)
??? 這里利用面向?qū)ο蟪绦蚯衅夹g(shù)進(jìn)行軟件度量。程序切片主要包括：
??? (1)語(yǔ)句切片該傳統(tǒng)的程序切片技術(shù)是一種條件切片，根據(jù)程序的順序、循環(huán)和選擇結(jié)構(gòu)進(jìn)行程序切片。
??? (2)無(wú)定型程序切片 其不僅在保存一個(gè)程序語(yǔ)義投影的同時(shí)簡(jiǎn)化了程序，還可以使用任何簡(jiǎn)化的轉(zhuǎn)換。而這些轉(zhuǎn)換保留了該語(yǔ)義映射。
??? (3)面向?qū)ο笄衅?把切片技術(shù)應(yīng)用于面向?qū)ο蟮南到y(tǒng)相關(guān)圖和過(guò)程相關(guān)圖中，使對(duì)面向?qū)ο蟪绦虻拇a理解、測(cè)試、調(diào)試、逆向工程和度量分析變得相對(duì)容易嘲。

3 面向?qū)ο蟪绦蚯衅夹g(shù)
??? 程序切片技術(shù)分面向過(guò)程和面向?qū)ο蟪绦蚯衅Ｄ壳俺绦蚯衅蠖家韵到y(tǒng)依賴圖為基礎(chǔ)，利用圖的可達(dá)性算法獲得。
3．1 SDG和OOSDG
??? 系統(tǒng)依賴圖SDG(System Dependence Graph)用一組邊和頂點(diǎn)的集合表示一個(gè)程序。頂點(diǎn)表示程序的語(yǔ)句和控制謂詞，邊則表示語(yǔ)句之間的依賴關(guān)系。在SDG中有兩類邊：控制依賴邊和數(shù)據(jù)依賴邊。SDG是在控制流圖、數(shù)據(jù)流圖、控制依賴子圖、數(shù)據(jù)依賴子圖、過(guò)程依賴子圖和程序依賴圖的基礎(chǔ)上建立的一種語(yǔ)法分析樹，如圖1所示。

??? 面向?qū)ο笠蕾噲DOOSDG(Obiect-Orientecl System Depen-dence Graph)是過(guò)程依賴子圖、類依賴子圖、類層次子圖、控制依賴子圖、數(shù)據(jù)依賴子圖和虛函數(shù)調(diào)用子圖幾種表示方法的并集．如圖2所示。

3．2 軟件度量技術(shù)的研究
??? 軟件度量是一個(gè)在近幾十年研究非常活躍的軟件工程領(lǐng)域。抽象來(lái)講，它是一個(gè)函數(shù)，其輸入是軟件，輸出是單一的數(shù)值，能解釋軟件所具有的一個(gè)給定屬性對(duì)軟件質(zhì)量的影響。用于預(yù)測(cè)、評(píng)估和控制軟件開發(fā)的過(guò)程，促進(jìn)項(xiàng)目的成功，開發(fā)出高質(zhì)量的產(chǎn)品。
??? 軟件度量主要包括復(fù)雜性度量、模塊性度量、易修改性度量、易移植性度量、可擴(kuò)充性度量、可靠性度量、易維護(hù)性度量、測(cè)試充分性度量等。有些可以用數(shù)值表示，稱為“定量度量”；不能用單一數(shù)值表達(dá)的稱為“定性度量”。研究集中在定量度量方面的內(nèi)聚度和耦合度的度量，這兩個(gè)方面是衡量軟件質(zhì)量非常重要的標(biāo)準(zhǔn)。二者之間密切相關(guān)，模塊之間的強(qiáng)耦合通常意味著弱內(nèi)聚，而模塊之間的強(qiáng)內(nèi)聚則意味著弱耦合。

4 利用程序切片技術(shù)進(jìn)行軟件度量
??? 軟件開發(fā)的目標(biāo)是開發(fā)出高內(nèi)聚和低耦合的系統(tǒng)。這里研究利用切片技術(shù)度量面向?qū)ο蟪绦虻膬?nèi)聚度和耦合度，尤其是內(nèi)聚度量。
4．1 耦合度量
??? 耦合度(Coupling Degree)用來(lái)測(cè)量由兩個(gè)或多個(gè)模塊連接而引起的聯(lián)結(jié)程度的強(qiáng)弱。強(qiáng)耦合使模塊連接后的系統(tǒng)變得復(fù)雜。因?yàn)槟K之間具有高度的關(guān)聯(lián)，改寫模塊將十分困難。降低模塊間的耦合則可以減少系統(tǒng)的復(fù)雜性。因此，在系統(tǒng)設(shè)計(jì)中應(yīng)追求盡可能松散的耦合關(guān)系。
4．2 內(nèi)聚度量
??? 內(nèi)聚度(Cohesion Degree)是軟件的內(nèi)在屬性，反映軟件設(shè)計(jì)和實(shí)現(xiàn)中模塊組件之間結(jié)合的緊密程度。高內(nèi)聚的軟件模塊有著最基本的功能，很難再切割其規(guī)模。
??? 面向?qū)ο蟪绦虻幕咎卣魇穷悺ｎ愑蓪傩院头椒ńM成，屬性和方法間存在3種關(guān)系，因此類內(nèi)聚度也從3個(gè)方面度量：屬性問(wèn)內(nèi)聚度、方法與屬性問(wèn)內(nèi)聚度、方法問(wèn)內(nèi)聚度。設(shè)類C共有n個(gè)屬性，m個(gè)方法，其中m，n≥0。V＿Union表示所有成員變量。M_Union表示所有成員方法。這里使用數(shù)據(jù)標(biāo)記(data token)而非語(yǔ)句作為基本單元來(lái)修正切片這個(gè)概念。數(shù)據(jù)切片包含和切片變量存在依賴關(guān)系的數(shù)據(jù)集合，簡(jiǎn)寫作DataSlice(L，V)，其中L表示程序中的某個(gè)點(diǎn)，通常情況下特指某條語(yǔ)句：V表示在L定義或使用的變量的集合；#表示勢(shì)操作，表示集合中元素的個(gè)數(shù)。則屬性間內(nèi)聚度、方法與屬性間內(nèi)聚度和方法間內(nèi)聚度的計(jì)算公式分別為式(1)~(3)，如下所示：

??

4．3 實(shí)驗(yàn)操作
??? 采用目前最主流的程序切片技術(shù)，以系統(tǒng)依賴圖為基礎(chǔ)，利用圖的可達(dá)性算法獲得切片結(jié)果。然后利用將切片結(jié)果代入式(1)～(3)進(jìn)行計(jì)算，得到內(nèi)聚度。
??? 以下面的程序?yàn)槔M(jìn)行切片，計(jì)算內(nèi)聚度，并和基于依賴性分析的類內(nèi)聚度度量方法相對(duì)比。

程序切片的概念是在考慮各個(gè)方法、變量之間的依賴關(guān)系并在依賴圖的基礎(chǔ)上構(gòu)造的。舉一個(gè)簡(jiǎn)單的C++程序?qū)ι鲜龉竭M(jìn)行應(yīng)用，程序如下：

??? 所定義的類是Cuboid，它有5個(gè)變量，2種方法，V_Uion={a，b，c，A，V}，M_Uion={Area，Volume }。
??? 構(gòu)造面向?qū)ο笠蕾噲D，利用可達(dá)算法得到數(shù)據(jù)切片如下：

??? 利用式(1)~(3)進(jìn)行度量計(jì)算，具體過(guò)程如下：
??? (1)內(nèi)聚度量值是一個(gè)3元組，分從屬性之間、方法之間、屬性和方法之間3個(gè)層面進(jìn)行內(nèi)聚度量；
??? (2)DataSliee(L，a)∩V_Uion={a}；同樣，DataSliee(L，b)∩V_Uion={b}，DataSlice(L，c)∩V_Uion={c}，進(jìn)行勢(shì)操作后取值均為1：
??? (3)DataSliee(L，V)∩V_Uion={a，b，c}，DataSlice(L，A)∩V_Uion={a，b，c}，進(jìn)行勢(shì)操作后取值均為3；
??? (4)DataSliee(L，A)∩DataSlice(L，V)={a，b，c}，進(jìn)行勢(shì)操作后取值為3；
??? (5)根據(jù)式(4)計(jì)算得到：Cohesion(V_V)=(1+1+3+3)／4×5=2x5；
??? (6)DataSlie(L，Area)∩M_Uion={Area}；同樣，DataSliee(L，Volume)∩M_Uion={Volume}，進(jìn)行勢(shì)操作后取值均為1。
??? 計(jì)算得出Cohesion(M_M)=(1+1)／2x1=1。兩個(gè)方法之間不存在調(diào)用、繼承等關(guān)系，它們是獨(dú)立的，所以內(nèi)聚度為1；DataSlice(L，Area)∩DataSlice(L，Volume)∩M_Uion進(jìn)行勢(shì)操作后取值均為1。
??? 計(jì)算得出Cohesion(M_V)=1／5。所以Cuboid的內(nèi)聚度為一個(gè)3元組Cohesion(Cuboid)={Cohesion(V_V)，Cohesion(M_M)，Cohesion(M_V)}={2／5，1，1／5}。

5 結(jié)束語(yǔ)
??? 利用程序切片技術(shù)，將度量粒度縮小到語(yǔ)句級(jí)別。而這里的度量粒度更是小到變量級(jí)別，在更小的級(jí)別上進(jìn)行度量。基于程序切片的軟件內(nèi)聚度和耦合度度量從軟件的基本粒度一變量出發(fā)，跳躍了面向過(guò)程和面向?qū)ο蟪绦虻膮^(qū)別，就其度量方法和公式考慮是沒有局限性的，是普適的。
??? 一個(gè)優(yōu)良的內(nèi)聚度度量準(zhǔn)則應(yīng)滿足Briand的4個(gè)性質(zhì)，即非負(fù)性及標(biāo)準(zhǔn)化、最小值和最大值、單調(diào)性、模塊合并后內(nèi)聚度不會(huì)增大。后續(xù)工作就是證明基于面向?qū)ο蟪绦蚯衅膬?nèi)聚度度量方法符合Brland的4個(gè)性質(zhì)。

閱讀全文

• 程序切片(5048) 程序切片(5048)

點(diǎn)贊 收藏

掃一掃，分享給好友

復(fù)制鏈接分享

聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題，請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴