軟件開(kāi)發(fā)中軟件體系結(jié)構(gòu)假設(shè)條件及其管理
發(fā)布時(shí)間:2020-08-28 15:45
在軟件開(kāi)發(fā)中,存在很多不確定性,但為了實(shí)現(xiàn)項(xiàng)目目標(biāo)(如在計(jì)劃內(nèi)完成項(xiàng)目),涉眾往往需要處理這些不確定的事物(如假設(shè)條件制定)。軟件開(kāi)發(fā)中的假設(shè)條件指在沒(méi)有足夠證據(jù)支持的情況下,被接受或認(rèn)可為真的軟件開(kāi)發(fā)知識(shí)。軟件開(kāi)發(fā)中存在多種類型的假設(shè)條件,本文關(guān)注體系結(jié)構(gòu)假設(shè)條件,且解決的核心問(wèn)題是:如何在軟件開(kāi)發(fā)中系統(tǒng)地管理體系結(jié)構(gòu)假設(shè)條件?本文系統(tǒng)分析了軟件體系結(jié)構(gòu)假設(shè)條件及其管理的研究和實(shí)踐問(wèn)題。首先設(shè)計(jì)并執(zhí)行了關(guān)于軟件開(kāi)發(fā)中假設(shè)條件及其管理的系統(tǒng)文獻(xiàn)映射研究。關(guān)鍵結(jié)果如下:(1)盡管識(shí)別出十二類假設(shè)條件管理活動(dòng),但并未發(fā)現(xiàn)任何系統(tǒng)的假設(shè)條件管理過(guò)程。(2)在軟件開(kāi)發(fā)實(shí)踐中管理假設(shè)條件仍然是一個(gè)巨大的挑戰(zhàn)。(3)應(yīng)特別重視無(wú)效的或隱式的假設(shè)條件。此外,針對(duì)工業(yè)界中體系結(jié)構(gòu)假設(shè)條件及其管理的現(xiàn)狀,本文設(shè)計(jì)并執(zhí)行了案例研究。該案例研究的結(jié)果與上述系統(tǒng)文獻(xiàn)映射研究的結(jié)果一致。例如在該案例研究中識(shí)別出十二類體系結(jié)構(gòu)假設(shè)條件管理活動(dòng)(如制定和描述),且未發(fā)現(xiàn)任何系統(tǒng)的體系結(jié)構(gòu)假設(shè)條件管理過(guò)程。過(guò)程對(duì)體系結(jié)構(gòu)假設(shè)條件管理尤為重要,因此本文提出了軟件體系結(jié)構(gòu)假設(shè)條件的通用管理過(guò)程。該過(guò)程由四個(gè)軟件體系結(jié)構(gòu)假設(shè)條件管理活動(dòng)(即制定、描述、評(píng)價(jià)、維護(hù))組成。此外,使用了案例研究方法來(lái)評(píng)價(jià)該管理過(guò)程。主要結(jié)果為:(1)理解和執(zhí)行該管理過(guò)程所需的成本適中。(2)該管理過(guò)程可以明確體系結(jié)構(gòu)假設(shè)條件,識(shí)別和減少無(wú)效的體系結(jié)構(gòu)假設(shè)條件。(3)以上的結(jié)果受多種因素影響。在對(duì)體系結(jié)構(gòu)假設(shè)條件管理過(guò)程的評(píng)價(jià)中,發(fā)現(xiàn)系統(tǒng)地描述體系結(jié)構(gòu)假設(shè)條件在假設(shè)條件管理中具有重要意義。由于現(xiàn)有的體系結(jié)構(gòu)假設(shè)條件描述方法均存在不同的問(wèn)題,因此,本文設(shè)計(jì)了用于描述體系結(jié)構(gòu)假設(shè)條件的框架。該框架包括四個(gè)視角(即細(xì)節(jié)視角、關(guān)系視角、追溯視角、演化視角)以涵蓋體系結(jié)構(gòu)假設(shè)條件及其管理的涉眾關(guān)注點(diǎn)。此外,本文通過(guò)案例研究方法評(píng)價(jià)了該框架。該案例研究的主要結(jié)果為:(1)該框架容易理解(如半天的研討會(huì));(2)創(chuàng)建體系結(jié)構(gòu)假設(shè)條件演化視圖所需成本最小,其次為細(xì)節(jié)視圖和關(guān)系視圖;(3)該框架可以幫助涉眾識(shí)別項(xiàng)目中的風(fēng)險(xiǎn)以及理解項(xiàng)目中的體系結(jié)構(gòu)假設(shè)條件。
【學(xué)位單位】:武漢大學(xué)
【學(xué)位級(jí)別】:博士
【學(xué)位年份】:2018
【中圖分類】:TP311.52
【部分圖文】:
逑1.5邐論文結(jié)構(gòu)逡逑如圖1-1所示,本文結(jié)構(gòu)如下:第2章通過(guò)系統(tǒng)文獻(xiàn)映射研究方法以理解軟件開(kāi)發(fā)逡逑中假設(shè)條件及其管理的研宄現(xiàn)狀。第3章通過(guò)探索性案例研宄以理解軟件體系結(jié)構(gòu)假設(shè)逡逑條件及其管理在工業(yè)界的實(shí)踐。第4章首先介紹體系結(jié)構(gòu)假設(shè)條件管理過(guò)程,其次給出逡逑對(duì)該過(guò)程的驗(yàn)證。第5章首先介紹體系結(jié)構(gòu)假設(shè)條件歸檔框架,其次給出對(duì)該框架的驗(yàn)逡逑證。第6章總結(jié)全文工作并給出對(duì)未來(lái)工作的展望。逡逑12逡逑
圖2-1文獻(xiàn)的試驗(yàn)性檢索和篩選過(guò)程逡逑2.2.2.2文獻(xiàn)的正式檢索和篩選過(guò)程逡逑如圖2-2所示,文獻(xiàn)的正式檢索和篩選過(guò)程包括7個(gè)步驟:逡逑步驟h在七個(gè)數(shù)據(jù)庫(kù)中檢索文獻(xiàn)。逡逑步驟2:基于數(shù)據(jù)庫(kù)的檢索結(jié)果進(jìn)行第一輪篩選(標(biāo)題和摘要)。逡逑步驟3:基于步驟2的結(jié)果進(jìn)行第二輪篩選(全文)。逡逑步驟4:基于步驟3的結(jié)果采用滾雪球技術(shù)[31]對(duì)其參考文獻(xiàn)進(jìn)行人工篩選。滾雪球逡逑包括對(duì)一篇文獻(xiàn)的參考文獻(xiàn)進(jìn)行篩選(逆向滾雪球)或者對(duì)引用該文獻(xiàn)的其他文獻(xiàn)進(jìn)行逡逑篩選(正向滾雪球)以識(shí)別額外的相關(guān)文獻(xiàn)[31]。此系統(tǒng)文獻(xiàn)映射研宄首先采用逆向滾逡逑雪球技術(shù)識(shí)別額外的相關(guān)文獻(xiàn)(即步驟4-1),然后通過(guò)標(biāo)題和摘要篩選識(shí)別的文獻(xiàn)(即逡逑步驟4-2),最后基于步驟4-2的結(jié)果通過(guò)全文篩選文獻(xiàn)(即步驟4-3)。逡逑步驟5:在七個(gè)數(shù)據(jù)庫(kù)中檢索和篩選關(guān)于rely-guarantee和assumption-commitment逡逑的方法。執(zhí)行該步驟的原因是在執(zhí)行步驟3和步驟4的同時(shí),本研宄發(fā)現(xiàn)一些入選文獻(xiàn)逡逑使用邋assume-guarantee邋方法(又名邋rely-guarantee邋或者邋assumption-commitment)在軟件開(kāi)逡逑發(fā)中管理假設(shè)條件。逡逑步驟6:數(shù)據(jù)抽取(包含試驗(yàn)性的數(shù)據(jù)抽。e义希保稿义
2.2.2.3邋檢索范圍逡逑如表2-1所示,基于我們?cè)O(shè)計(jì)類似研究的經(jīng)驗(yàn)以及軟件工程中相關(guān)的工作[29][33],逡逑本研宄選擇以下七個(gè)數(shù)據(jù)庫(kù)作為檢索的來(lái)源。因這七個(gè)數(shù)據(jù)庫(kù)采用不同的檢索引擎和策逡逑略,因此在各數(shù)據(jù)庫(kù)中的檢索范圍也不同。例如在Springer邋Link數(shù)據(jù)庫(kù)中,其檢索引擎逡逑支持用戶檢索邋“with邋all邋of邋the邋words”、“with邋the邋exact邋phase’’、“with邋at邋least邋one邋of邋the逡逑words”、“without邋the邋words’’、“where邋the邋title邋contains’,、“where邋the邋authors邋/editor邋is,’、逡逑“Mow辦但是該引擎并不支持基于關(guān)鍵字或摘要的檢索。所以針對(duì)逡逑Springer邋Link數(shù)據(jù)庫(kù),本研究設(shè)定其檢索范圍為標(biāo)題。逡逑表2-1數(shù)據(jù)庫(kù)檢索逡逑數(shù)據(jù)庫(kù)邐|鏈接邐|檢索范圍逡逑ACM邋Digital邋Library邐http://dl.acm.org/邐標(biāo)題、摘要逡逑IEEE邋Explore邐http://ieeexplore.ieee.org/Xplore/home.jsp邐標(biāo)題、關(guān)鍵字、摘要逡逑
本文編號(hào):2807780
【學(xué)位單位】:武漢大學(xué)
【學(xué)位級(jí)別】:博士
【學(xué)位年份】:2018
【中圖分類】:TP311.52
【部分圖文】:
逑1.5邐論文結(jié)構(gòu)逡逑如圖1-1所示,本文結(jié)構(gòu)如下:第2章通過(guò)系統(tǒng)文獻(xiàn)映射研究方法以理解軟件開(kāi)發(fā)逡逑中假設(shè)條件及其管理的研宄現(xiàn)狀。第3章通過(guò)探索性案例研宄以理解軟件體系結(jié)構(gòu)假設(shè)逡逑條件及其管理在工業(yè)界的實(shí)踐。第4章首先介紹體系結(jié)構(gòu)假設(shè)條件管理過(guò)程,其次給出逡逑對(duì)該過(guò)程的驗(yàn)證。第5章首先介紹體系結(jié)構(gòu)假設(shè)條件歸檔框架,其次給出對(duì)該框架的驗(yàn)逡逑證。第6章總結(jié)全文工作并給出對(duì)未來(lái)工作的展望。逡逑12逡逑
圖2-1文獻(xiàn)的試驗(yàn)性檢索和篩選過(guò)程逡逑2.2.2.2文獻(xiàn)的正式檢索和篩選過(guò)程逡逑如圖2-2所示,文獻(xiàn)的正式檢索和篩選過(guò)程包括7個(gè)步驟:逡逑步驟h在七個(gè)數(shù)據(jù)庫(kù)中檢索文獻(xiàn)。逡逑步驟2:基于數(shù)據(jù)庫(kù)的檢索結(jié)果進(jìn)行第一輪篩選(標(biāo)題和摘要)。逡逑步驟3:基于步驟2的結(jié)果進(jìn)行第二輪篩選(全文)。逡逑步驟4:基于步驟3的結(jié)果采用滾雪球技術(shù)[31]對(duì)其參考文獻(xiàn)進(jìn)行人工篩選。滾雪球逡逑包括對(duì)一篇文獻(xiàn)的參考文獻(xiàn)進(jìn)行篩選(逆向滾雪球)或者對(duì)引用該文獻(xiàn)的其他文獻(xiàn)進(jìn)行逡逑篩選(正向滾雪球)以識(shí)別額外的相關(guān)文獻(xiàn)[31]。此系統(tǒng)文獻(xiàn)映射研宄首先采用逆向滾逡逑雪球技術(shù)識(shí)別額外的相關(guān)文獻(xiàn)(即步驟4-1),然后通過(guò)標(biāo)題和摘要篩選識(shí)別的文獻(xiàn)(即逡逑步驟4-2),最后基于步驟4-2的結(jié)果通過(guò)全文篩選文獻(xiàn)(即步驟4-3)。逡逑步驟5:在七個(gè)數(shù)據(jù)庫(kù)中檢索和篩選關(guān)于rely-guarantee和assumption-commitment逡逑的方法。執(zhí)行該步驟的原因是在執(zhí)行步驟3和步驟4的同時(shí),本研宄發(fā)現(xiàn)一些入選文獻(xiàn)逡逑使用邋assume-guarantee邋方法(又名邋rely-guarantee邋或者邋assumption-commitment)在軟件開(kāi)逡逑發(fā)中管理假設(shè)條件。逡逑步驟6:數(shù)據(jù)抽取(包含試驗(yàn)性的數(shù)據(jù)抽。e义希保稿义
2.2.2.3邋檢索范圍逡逑如表2-1所示,基于我們?cè)O(shè)計(jì)類似研究的經(jīng)驗(yàn)以及軟件工程中相關(guān)的工作[29][33],逡逑本研宄選擇以下七個(gè)數(shù)據(jù)庫(kù)作為檢索的來(lái)源。因這七個(gè)數(shù)據(jù)庫(kù)采用不同的檢索引擎和策逡逑略,因此在各數(shù)據(jù)庫(kù)中的檢索范圍也不同。例如在Springer邋Link數(shù)據(jù)庫(kù)中,其檢索引擎逡逑支持用戶檢索邋“with邋all邋of邋the邋words”、“with邋the邋exact邋phase’’、“with邋at邋least邋one邋of邋the逡逑words”、“without邋the邋words’’、“where邋the邋title邋contains’,、“where邋the邋authors邋/editor邋is,’、逡逑“Mow辦但是該引擎并不支持基于關(guān)鍵字或摘要的檢索。所以針對(duì)逡逑Springer邋Link數(shù)據(jù)庫(kù),本研究設(shè)定其檢索范圍為標(biāo)題。逡逑表2-1數(shù)據(jù)庫(kù)檢索逡逑數(shù)據(jù)庫(kù)邐|鏈接邐|檢索范圍逡逑ACM邋Digital邋Library邐http://dl.acm.org/邐標(biāo)題、摘要逡逑IEEE邋Explore邐http://ieeexplore.ieee.org/Xplore/home.jsp邐標(biāo)題、關(guān)鍵字、摘要逡逑
【參考文獻(xiàn)】
相關(guān)期刊論文 前3條
1 崔曉峰;孫艷春;梅宏;;以決策為中心的軟件體系結(jié)構(gòu)設(shè)計(jì)方法[J];軟件學(xué)報(bào);2010年06期
2 梅宏;申峻嶸;;軟件體系結(jié)構(gòu)研究進(jìn)展[J];軟件學(xué)報(bào);2006年06期
3 孫昌愛(ài),金茂忠,劉超;軟件體系結(jié)構(gòu)研究綜述[J];軟件學(xué)報(bào);2002年07期
本文編號(hào):2807780
本文鏈接:http://sikaile.net/guanlilunwen/yunyingzuzhiguanlilunwen/2807780.html
最近更新
教材專著