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

電子工程師?來源：國外電子元器件?作者：華寧，高敬陽 北京化? 2009-11-02 09:56 ? 次閱讀 ? 個評論

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

1 引言
??? 程序切片是軟件工程領域的一項程序分析技術(shù)，在軟件測試、度量、程序調(diào)試、維護以及逆向工程等方面有著廣泛應用。通過切片技術(shù)，人們在程序分析過程中可以重點關注那些感興趣的代碼或者變量。

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

3 面向?qū)ο蟪绦蚯衅夹g(shù)
??? 程序切片技術(shù)分面向過程和面向?qū)ο蟪绦蚯衅?。目前程序切片大都以系統(tǒng)依賴圖為基礎，利用圖的可達性算法獲得。
3．1 SDG和OOSDG
??? 系統(tǒng)依賴圖SDG(System Dependence Graph)用一組邊和頂點的集合表示一個程序。頂點表示程序的語句和控制謂詞，邊則表示語句之間的依賴關系。在SDG中有兩類邊：控制依賴邊和數(shù)據(jù)依賴邊。SDG是在控制流圖、數(shù)據(jù)流圖、控制依賴子圖、數(shù)據(jù)依賴子圖、過程依賴子圖和程序依賴圖的基礎上建立的一種語法分析樹，如圖1所示。

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

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

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

??

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

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

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

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

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

閱讀全文

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

點贊 收藏

掃一掃，分享給好友

復制鏈接分享

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