本文關(guān)鍵詞：基于自動機(jī)理論的軟件項(xiàng)目進(jìn)度監(jiān)控方法研究

  更多相關(guān)文章： 軟件項(xiàng)目進(jìn)度監(jiān)控 自動機(jī)理論 賦值有窮自動機(jī) 過程建模 AOE網(wǎng)

【摘要】：在軟件項(xiàng)目開發(fā)中,軟件項(xiàng)目管理對軟件項(xiàng)目是否能順利完成起到了至關(guān)重要的作用。軟件項(xiàng)目管理對象包括軟件開發(fā)過程中涉及的人力、物力,同時也包括軟件開發(fā)的進(jìn)度情況。其中,軟件開發(fā)進(jìn)度的監(jiān)控制約著軟件項(xiàng)目的交付。因此,對軟件項(xiàng)目進(jìn)度監(jiān)控方法的研究具有重要的理論和現(xiàn)實(shí)意義。自動機(jī)理論自開創(chuàng)以來一直受到眾多學(xué)者的高度關(guān)注,并且有著廣泛的應(yīng)用領(lǐng)域,例如數(shù)字電路的設(shè)計、模式識別與匹配、編譯器的詞法分析器等。在軟件工程領(lǐng)域,自動機(jī)理論也有著廣泛應(yīng)用,其應(yīng)用大致可劃分為三類：第一類,利用自動機(jī)對軟件過程進(jìn)行建模；第二類,采用自動機(jī)模型對軟件產(chǎn)品進(jìn)行設(shè)計,特別是自動控制類軟件的設(shè)計；第三類,把自動機(jī)理論應(yīng)用到軟件測試中。自動機(jī)理論在各領(lǐng)域的成熟應(yīng)用為軟件項(xiàng)目進(jìn)度監(jiān)控方法的研究提供了很強(qiáng)的借鑒作用。本文基于自動機(jī)理論對軟件項(xiàng)目進(jìn)度的監(jiān)控方法進(jìn)行研究。首先簡要介紹了幾種自動機(jī)的概念及其形式化表示,并對軟件開發(fā)的基本流程及常見的過程模型進(jìn)行了分析比較。然后在上述理論基礎(chǔ)上結(jié)合軟件項(xiàng)目進(jìn)度變化過程的特點(diǎn),構(gòu)建了一種擴(kuò)展的有窮自動機(jī)——賦值有窮自動機(jī)。該賦值有窮自動機(jī)的每個狀態(tài)上都有一個描述項(xiàng)目進(jìn)度情況的權(quán)值,且它的每個事件上都有一個描述項(xiàng)目所耗工作量的權(quán)值,因此該自動機(jī)能充分反應(yīng)軟件項(xiàng)目進(jìn)度變化情況。同時,將賦值有窮自動機(jī)應(yīng)用于軟件項(xiàng)目進(jìn)度變化過程的建模,提出了一種由數(shù)據(jù)采集模塊、自動機(jī)模塊、基于自動機(jī)的軟件項(xiàng)目進(jìn)度監(jiān)控模塊和軟件項(xiàng)目計劃表四部分組成的基于賦值有窮自動機(jī)的軟件項(xiàng)目進(jìn)度監(jiān)控體系結(jié)構(gòu),并對軟件項(xiàng)目進(jìn)度的基礎(chǔ)數(shù)據(jù)進(jìn)行處理,得到項(xiàng)目管理人員進(jìn)度監(jiān)控決策所需的包含進(jìn)度偏差率和偏差級別的監(jiān)控結(jié)果信息,從而最終實(shí)現(xiàn)對軟件項(xiàng)目進(jìn)度的監(jiān)控。此外,針對軟件項(xiàng)目各模塊存在并行開發(fā)的情況,本文對基于自動機(jī)理論的軟件項(xiàng)目監(jiān)控方法增加AOE網(wǎng)規(guī)劃模塊,用于規(guī)劃項(xiàng)目模塊開發(fā)及獲取影響軟件項(xiàng)目進(jìn)度的關(guān)鍵模塊開發(fā)路徑,最終完成該監(jiān)控方法的AOE網(wǎng)優(yōu)化。第六章通過一個實(shí)例對基于自動機(jī)理論的軟件項(xiàng)目進(jìn)度監(jiān)控方法進(jìn)行了驗(yàn)證。
【關(guān)鍵詞】：軟件項(xiàng)目進(jìn)度監(jiān)控 自動機(jī)理論 賦值有窮自動機(jī) 過程建模 AOE網(wǎng)
【學(xué)位授予單位】：廣東工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP301.1;TP311.5
【目錄】：

• 摘要4-5
• ABSTRACT5-13
• 第一章 緒論13-17
• 1.1 研究背景及意義13
• 1.2 國內(nèi)外研究現(xiàn)狀13-15
• 1.2.1 軟件項(xiàng)目進(jìn)度監(jiān)控的研究現(xiàn)狀13-14
• 1.2.2 自動機(jī)理論與軟件工程的研究現(xiàn)狀14-15
• 1.3 本文主要工作與章節(jié)安排15-17
• 第二章 自動機(jī)理論及其擴(kuò)展17-22
• 2.1 自動機(jī)的概念及其描述方式17-18
• 2.2 自動機(jī)的分類18-21
• 2.3 有窮自動機(jī)的擴(kuò)展21
• 2.4 結(jié)束語21-22
• 第三章 軟件開發(fā)流程和過程模型22-28
• 3.1 軟件項(xiàng)目開發(fā)的基本流程22-23
• 3.2 開發(fā)過程模型23-27
• 3.2.1 瀑布模型23-24
• 3.2.2 原型模型24-25
• 3.2.3 快速應(yīng)用開發(fā)(RAD)模型25
• 3.2.4 螺旋模型25-26
• 3.2.5 增量模型和迭代模型26-27
• 3.3 結(jié)束語27-28
• 第四章 基于自動機(jī)理論的軟件項(xiàng)目進(jìn)度監(jiān)控方法研究28-37
• 4.1 引言28
• 4.2 軟件項(xiàng)目進(jìn)度變化過程的特點(diǎn)28-29
• 4.3 基于賦值自動機(jī)的軟件項(xiàng)目進(jìn)度變化過程模型的構(gòu)建29-30
• 4.3.1 狀態(tài)集29
• 4.3.2 事件集29-30
• 4.3.3 轉(zhuǎn)移函數(shù)30
• 4.4 基于賦值自動機(jī)的軟件項(xiàng)目進(jìn)度監(jiān)控30-36
• 4.4.1 監(jiān)控體系結(jié)構(gòu)30-31
• 4.4.2 監(jiān)控體系結(jié)構(gòu)分析31-36
• 4.4.3 監(jiān)控算法實(shí)現(xiàn)36
• 4.5 結(jié)束語36-37
• 第五章 基于自動機(jī)理論的軟件項(xiàng)目進(jìn)度監(jiān)控方法優(yōu)化37-43
• 5.1 圖論相關(guān)概念37-39
• 5.1.1 圖的定義37
• 5.1.2 圖的相關(guān)概念37-39
• 5.2 基于AOE網(wǎng)和自動機(jī)理論的軟件項(xiàng)目監(jiān)控39-42
• 5.2.1 監(jiān)控體系結(jié)構(gòu)39-40
• 5.2.2 監(jiān)控體系結(jié)構(gòu)分析40-41
• 5.2.3 AOE網(wǎng)關(guān)鍵路徑算法實(shí)現(xiàn)41-42
• 5.3 監(jiān)控方法優(yōu)化前后對比42
• 5.4 結(jié)束語42-43
• 第六章 實(shí)例分析43-49
• 6.1 數(shù)據(jù)樣本43-44
• 6.2 偏差率級別設(shè)定及自動機(jī)運(yùn)行情況44-45
• 6.3 軟件項(xiàng)目AOE網(wǎng)規(guī)劃結(jié)果45-46
• 6.4 結(jié)果與分析46-49
• 6.4.1 監(jiān)控結(jié)果46-47
• 6.4.2 監(jiān)控結(jié)果分析47-49
• 總結(jié)與展望49-50
• 參考文獻(xiàn)50-53
• 攻讀碩士學(xué)位期間發(fā)表的論文53-55
• 致謝55

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 宋文,嚴(yán)兵,潘世永;對自動機(jī)與形式語言中幾個問題的思考[J];四川工業(yè)學(xué)院學(xué)報;2002年04期

2 劉光武;石曉龍;許進(jìn);;賦權(quán)型自動機(jī)的不同模型研究[J];計算機(jī)工程與應(yīng)用;2006年11期

3 蔡國永;錢俊彥;;關(guān)于形式語言與自動機(jī)理論的教學(xué)方法探討[J];高教論壇;2008年04期

4 郭瑞楓;;半自動機(jī)理論在(漢字)辭庫建造中的應(yīng)用[J];南京大學(xué)學(xué)報(自然科學(xué)版);1984年03期

5 邱道文;量子自動機(jī)的刻畫[J];軟件學(xué)報;2003年01期

6 周清雷;朱維軍;趙東明;;時間ω-樹自動機(jī)識別語言的一個條件[J];信陽師范學(xué)院學(xué)報(自然科學(xué)版);2006年04期

7 謝清;譚建榮;馮毅雄;;基于自動機(jī)的可配置產(chǎn)品功構(gòu)映射過程研究[J];計算機(jī)集成制造系統(tǒng);2007年09期

8 趙嶺忠;王雪松;錢俊彥;;改進(jìn)形式語言與自動機(jī)理論課程教學(xué)芻議[J];高教論壇;2008年03期

9 錢俊彥;趙嶺忠;;基于自動機(jī)理論的符號模型檢驗(yàn)[J];蘭州理工大學(xué)學(xué)報;2008年05期

10 劉建國;袁志斌;;基于左右語言的狀態(tài)遷移系統(tǒng)的優(yōu)化[J];計算機(jī)科學(xué);2009年05期

中國重要會議論文全文數(shù)據(jù)庫 前3條

1 西廣成;;抽象神經(jīng)自動機(jī)演化過程中熵極限性質(zhì)[A];1999年中國神經(jīng)網(wǎng)絡(luò)與信號處理學(xué)術(shù)會議論文集[C];1999年

2 蘇仕云;郭瑞強(qiáng);樂嘉錦;;有窮狀態(tài)自動機(jī)在商業(yè)邏輯建模中的應(yīng)用[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2002年

3 陽斌;秦琳琳;吳剛;;基于混雜自動機(jī)的溫室溫度系統(tǒng)建模與控制[A];中國自動化學(xué)會控制理論專業(yè)委員會D卷[C];2011年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 田徑;關(guān)于自動機(jī)代數(shù)理論的研究[D];西北大學(xué);2012年

2 劉光武;自動機(jī)狀態(tài)復(fù)雜度及模型研究[D];華中科技大學(xué);2007年

3 文艷軍;基于接口自動機(jī)的組合驗(yàn)證方法研究[D];國防科學(xué)技術(shù)大學(xué);2005年

4 張薇;自動機(jī)和鏈編碼的理論研究與應(yīng)用[D];華東師范大學(xué);2006年

5 李丹美;模糊離散事件自動機(jī)組合的控制與切換[D];東華大學(xué);2009年

6 陳文宇;形式語言與自動機(jī)理論若干問題研究[D];電子科技大學(xué);2009年

7 韓召偉;幾類基于量子邏輯的自動機(jī)的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

8 沈潔;基于自動機(jī)的XML數(shù)據(jù)過濾研究[D];哈爾濱工程大學(xué);2010年

9 巨志勇;基于動態(tài)系統(tǒng)計算的數(shù)字圖像處理[D];同濟(jì)大學(xué);2007年

10 袁志斌;基于模擬理論的模型檢測研究[D];華中科技大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 陳晴雷;量子自動機(jī)的乘積研究[D];四川師范大學(xué);2012年

2 朱鏡儒;光伏電源三相混聯(lián)接入系統(tǒng)混成自動機(jī)控制研究[D];長沙理工大學(xué);2014年

3 周戈;基于運(yùn)行時驗(yàn)證的監(jiān)控器生成技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自動機(jī)的轉(zhuǎn)換[D];西安電子科技大學(xué);2014年

5 趙庚兵;基于自動機(jī)理論的軟件項(xiàng)目進(jìn)度監(jiān)控方法研究[D];廣東工業(yè)大學(xué);2016年

6 高璞;基于白血病的生物分子多狀態(tài)自動機(jī)[D];北京工業(yè)大學(xué);2007年

7 張柯柯;回溯自動機(jī)的文法、機(jī)器模型及其在解析器中的應(yīng)用[D];西安電子科技大學(xué);2014年

8 李琳娜;公式時鐘自動機(jī)[D];鄭州大學(xué);2005年

9 秦永彬;等價性在自動機(jī)極小化中的應(yīng)用[D];貴州大學(xué);2007年

10 張瑞民;格值樹自動機(jī)的最小化[D];陜西師范大學(xué);2011年

，

本文編號：626075