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

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

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

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

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

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

2 劉志宏;;借助自動(dòng)化測(cè)試工具提高單元測(cè)試效率[J];信息技術(shù)與標(biāo)準(zhǔn)化;2007年12期

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

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

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

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

1 邢穎;測(cè)試用例自動(dòng)生成的分支限界算法及實(shí)驗(yàn)研究[D];北京郵電大學(xué);2014年

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

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

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

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

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

本文編號(hào)：2875981