按照MDA的思想,軟件開發(fā)是從不同的抽象層次、不同的視角,采用不同工具定義眾多的軟件模型,最終得到所需的軟件產(chǎn)品。目前,在軟件建模、軟件過程和軟件測試方面都分別有大量研究成果,并已得到良好應(yīng)用,但在實(shí)際開發(fā)過程中,由于所使用的建模工具和選擇的開發(fā)過程模型不同,導(dǎo)致開發(fā)人員理解困難和交流不暢,影響軟件開發(fā)的效率與軟件質(zhì)量。本文按照MDA中元模型描述模型的思想,使用關(guān)系、函數(shù)等數(shù)學(xué)方法,為軟件開發(fā)活動(dòng)中軟件建模、過程管理和軟件模型驗(yàn)證三個(gè)關(guān)鍵環(huán)節(jié)分別建立三個(gè)抽象模型,提供了一個(gè)在不同抽象層次上劃分開發(fā)任務(wù)、建立并驗(yàn)證不同類型軟件模型的統(tǒng)一方法。本文的主要內(nèi)容如下:1.建立抽象軟件模型。將軟件模型中的數(shù)據(jù)、功能和流程三個(gè)基本要素,抽象為關(guān)系、函數(shù)及函數(shù)序列,將函數(shù)序列在關(guān)系上的映射過程抽象為計(jì)算,提出了函數(shù)模型及抽象計(jì)算模型。函數(shù)模型可作為元元模型描述軟件開發(fā)中所建立的多種軟件模型,抽象計(jì)算模型可作為元模型在不同抽象層次上描述軟件模型中的“邏輯計(jì)算機(jī)”。2.建立抽象過程模型。將過程模型中的任務(wù)和成果物抽象為執(zhí)行函數(shù)分解和對函數(shù)分解描述,按照函數(shù)分解之間的依賴關(guān)系,提出了一個(gè)抽象過程模型,該模型可作為元模型描述軟件開發(fā)中所使用的過程模型。3.建立抽象錯(cuò)誤傳播模型。分析錯(cuò)誤在函數(shù)分解中的產(chǎn)生和成果物中傳播的過程,提出了一個(gè)抽象錯(cuò)誤傳播模型,該模型可作為元模型描述錯(cuò)誤在軟件開發(fā)中產(chǎn)生和傳播的過程。以數(shù)據(jù)流圖建模、程序和錯(cuò)誤不可消除證明為例,將所提出的三個(gè)抽象模型分別應(yīng)用到分析設(shè)計(jì)、編碼和測試階段,驗(yàn)證了所提出的模型的有效性。
【學(xué)位單位】：重慶郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2018
【中圖分類】：TP311.52
【部分圖文】：

MDA概覽

圖 2.5 軟件過程模型的基本內(nèi)容軟件過程建模的主要目的是建立軟件過程的抽象模型，通過對該抽象模型的增加對過程本身的理解和認(rèn)識，從而可以更好地實(shí)施軟件開發(fā)活動(dòng)。對于同一

圖 2.6 SRGM 建模流程與基本功用圖 2.6 源于文獻(xiàn)[47]，給出了基于測試過程，SRGM 建模的基本流程以及 SRGM測試工作的基本功能和用法。步驟 1 描述了測試過程，在測試過程中獲得的相關(guān)
【參考文獻(xiàn)】

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

1 韓德帥;楊啟亮;邢建春;;一種軟件自適應(yīng)UML建模及其形式化驗(yàn)證方法[J];軟件學(xué)報(bào);2015年04期

2 張宇;;計(jì)算機(jī)軟件與軟件工程[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2014年09期

3 李永明;李平;;基于量子邏輯的圖靈機(jī)及其通用性[J];計(jì)算機(jī)學(xué)報(bào);2012年07期

4 徐高潮;劉新忠;胡亮;付曉東;董玉雙;;引入關(guān)聯(lián)缺陷的軟件可靠性評估模型[J];軟件學(xué)報(bào);2011年03期

5 翟健;楊秋松;肖俊超;李明樹;;一種形式化的組件化軟件過程建模方法[J];軟件學(xué)報(bào);2011年01期

6 陳濤;叢國棟;于本海;張金隆;;基于風(fēng)險(xiǎn)管理的軟件開發(fā)過程模型及其復(fù)合實(shí)物期權(quán)分析[J];管理工程學(xué)報(bào);2010年02期

7 李明樹;楊秋松;翟健;;軟件過程建模方法研究[J];軟件學(xué)報(bào);2009年03期

8 楊學(xué)軍;高瓏;;錯(cuò)誤流模型:硬件故障的軟件傳播建模與分析[J];軟件學(xué)報(bào);2007年04期

9 梁成才;章代雨;林海靜;;軟件缺陷的綜合研究[J];計(jì)算機(jī)工程;2006年19期

10 熊偉;;顧客滿意導(dǎo)向軟件質(zhì)量保證模型及其應(yīng)用[J];中國質(zhì)量;2006年03期

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

1 張懷向;基于數(shù)據(jù)流圖的C~4ISR系統(tǒng)功能設(shè)計(jì)方法研究[D];國防科學(xué)技術(shù)大學(xué);2010年

本文編號：2855678