隨著信息技術(shù)的迅速發(fā)展,軟件的迭代式升級開發(fā)使軟件的規(guī)模和復(fù)雜性不斷增加,模塊化的設(shè)計思想導(dǎo)致了軟件系統(tǒng)中的函數(shù)調(diào)用越來越多,軟件的質(zhì)量和可靠性變得難以把控。軟件度量采用定量化的分析方法來控制軟件開發(fā)過程的質(zhì)量,提升軟件可靠性�，F(xiàn)有的軟件度量方法主要有面向結(jié)構(gòu)的軟件度量和面向?qū)ο蟮能浖攘績煞N,大多是基于軟件設(shè)計方式和項目驅(qū)動管理的,無法針對大型項目中復(fù)雜的函數(shù)調(diào)用進行有效的分析和度量,同時也缺乏可視化等高效的度量手段,不能滿足大型軟件系統(tǒng)的軟件度量需求。本文基于現(xiàn)有軟件度量技術(shù),提出了一套面向函數(shù)調(diào)用的軟件度量機制,并提供了可視化的度量展示與分析平臺。主要包括以下工作:1.提出了函數(shù)調(diào)用關(guān)系集構(gòu)建機制。以抽象語法樹、模塊劃分等技術(shù)為基礎(chǔ),可以構(gòu)造軟件系統(tǒng)的完整函數(shù)調(diào)用關(guān)系。2.在第一個工作的基礎(chǔ)上提出了函數(shù)閉包的概念用于描述函數(shù)可達性,并提出了相應(yīng)的閉包發(fā)現(xiàn)機制。通過找到從某個函數(shù)入口的一個函數(shù)調(diào)用子圖,從而發(fā)現(xiàn)不可達函數(shù)集,為不可達代碼的度量提供了前提。3.提出了面向函數(shù)調(diào)用關(guān)系的軟件度量體系,定義了文本度量指標和可視化度量指標,包括:函數(shù)屬性、遞歸調(diào)用存在性、扇入/扇出、調(diào)用層數(shù)、函數(shù)可達性及函數(shù)覆蓋率等,以及相應(yīng)的評估標準,進而可以圍繞這些度量指標構(gòu)建相應(yīng)的軟件度量機制。4.最后設(shè)計了層次化函數(shù)調(diào)用關(guān)系可視化度量平臺。在提出的度量機制基礎(chǔ)上設(shè)計了一種層次化布局算法,利用可視化技術(shù)分析和度量軟件的函數(shù)調(diào)用關(guān)系,這一可視化度量方法對軟件領(lǐng)域中的很多場景都具有意義。上述方法在CTS代碼測試系統(tǒng)中得到了應(yīng)用,在實際工程中得到了驗證。結(jié)果表明,本文所提度量機制可以通過可視化的方式高效度量大型軟件系統(tǒng)中的函數(shù)調(diào)用關(guān)系。
【學(xué)位單位】：北京郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2018
【中圖分類】：TP311.5
【部分圖文】：

樹上的每個節(jié)點對應(yīng)源代碼中的語句，通過語法分析過程可以得到抽象語法樹。??在實際應(yīng)用中，經(jīng)常會根據(jù)需要對抽象語法樹做適當?shù)暮喕托薷摹??表達式ｂ＊ｂ－４＊ａ＊ｃ的分析樹如圖２－１所示，所用的文法與Ｃ語言相似。??ｅｘｐｒｅｓｓｉｏｎ??Ｉ??ｅｘｐｒｅｓｓｉｏｎ?ｔｅｒｍ??｜?／?Ｉ?＼??丨?Ｚ?Ｉ??ｔｅｒｉＴ！?ｔｅｒｍ?‘?＊，?ｆａｃｔｏｒ??／?Ｉ?＼?／?Ｉ?＼?Ｉ??ｔｅｒｍ?＊?ｆａｃｔｏｒ?ｔｅｍｉ?＊?ｆａｃｔｏｒ?ｉｄｅｎｔｉｆｉｅｒ??ｆａｃｔｏｒ?ｉｄｅｎｔｉｆｉｅｒ?ｆａｃｔｏｒ?ｉｄｅｎｔｉｆｉｅｒ?‘，??Ｉ?ｃ??Ｉ?ｉ?｜??ｉｄｅｎｔｉｆｉｅｒ?‘ｂ，?ｉｄｅｎｔｉｆｉｅｒ?‘ａ，??‘ｂ’?‘４，??圖２－１表達式ｂ＊ｂ－４＊ａ＊ｃ的分析樹??將上述表達式以抽象語法樹形式表示，如圖２－２所示。??６??

節(jié)點的有向圖。??在控制流圖中，每個結(jié)點所對應(yīng)的是一條程序語句，每條有向邊表示的是從??一條語句到另一條語句的控制流。簡化的控制流圖如圖２－３所示。??圖２－３簡化的控制流圖??２．１．４模塊劃分??測試單元是一個可以最后驅(qū)動運行的測試模塊，對它進行測試用例生成，最??終要求這些測試用例能夠滿足這個單元的覆蓋率要求。模塊劃分有自動劃分和人??７??

??‘４，?＇ａ’??圖２－２?表達式ｂ＊ｂ－４＊ａ＊ｃ的抽象分析樹??２．１．３控制流??自２０世界７０年代以來，結(jié)構(gòu)化程序的概念逐漸被人們普遍接受。用于刻畫??程序結(jié)構(gòu)的控制流圖已經(jīng)有很長的歷史，對于用結(jié)構(gòu)化程序語言書寫的程序，則??可以通過使用一系列規(guī)則從程序或抽象語法樹推導(dǎo)出其對應(yīng)的控制流圖。因此，??控制流圖和程序是一一對應(yīng)的。??定義２．１有向圖Ｇ＝（Ｖ，Ｅ），Ｖ是頂點的集合，Ｅ是有向邊的集合。ｅ＝（Ｔ（ｅ），Ｈ（ｅ））??ＧＥ是一對有序的鄰接節(jié)點，Ｔ（ｅ）是尾，Ｈ（ｅ）是頭。如果Ｈ（ｅ）＝Ｔ（ｅ’），則ｅ和ｅ’是??臨界邊。Ｈ（ｅ）是Ｔ（ｅ）的后繼節(jié)點，Ｔ（ｅ）是Ｈ（ｅ）的前驅(qū)節(jié)點，ｉｎｄｅｇｒｅｅ（ｎ）和ｏｕｔｄｅｇｒｅｅ（ｎ）??分別是節(jié)點ｎ的入度和出度�？刂屏鲌D即是具有單一的、固定的入口節(jié)點和出口??節(jié)點的有向圖。??在控制流圖中，每個結(jié)點所對應(yīng)的是一條程序語句，每條有向邊表示的是從??一條語句到另一條語句的控制流。簡化的控制流圖如圖２－３所示。??圖２－３簡化的控制流圖??２．１．４模塊劃分??測試單元是一個可以最后驅(qū)動運行的測試模塊
【參考文獻】

相關(guān)期刊論文 前5條

1 龔丹丹;王甜甜;蘇小紅;馬培軍;;冗余代碼缺陷檢測方法[J];哈爾濱工業(yè)大學(xué)學(xué)報;2012年07期

2 劉志宏;;借助自動化測試工具提高單元測試效率[J];信息技術(shù)與標準化;2007年12期

3 趙國慶,楊南應(yīng),賈振洋,范典,黃榮懷;概念圖的布局算法研究[J];開放教育研究;2005年05期

4 李心科,劉宗田,潘飚,邢大紅;一個面向?qū)ο筌浖攘抗ぞ叩膶崿F(xiàn)和度量實驗研究[J];計算機學(xué)報;2000年11期

5 弓惠生;;面向?qū)ο笤O(shè)計中軟件度量學(xué)的進展[J];計算機科學(xué);1996年03期

相關(guān)博士學(xué)位論文 前1條

1 邢穎;測試用例自動生成的分支限界算法及實驗研究[D];北京郵電大學(xué);2014年

相關(guān)碩士學(xué)位論文 前4條

1 王中義;軟件系統(tǒng)函數(shù)調(diào)用關(guān)系的復(fù)雜性研究[D];石家莊鐵道大學(xué);2013年

2 李青翠;單元自動化測試系統(tǒng)中路徑選擇方法的研究與設(shè)計[D];北京郵電大學(xué);2011年

3 陳瑜;基于復(fù)雜性度量改善軟件設(shè)計質(zhì)量的研究[D];西北工業(yè)大學(xué);2007年

4 李興南;軟件測試度量的研究及其工具STMT開發(fā)[D];西北大學(xué);2005年

本文編號：2875981