發(fā)布時(shí)間：2020-12-04 19:48

　　軟件工程的第一步是需求分析,準(zhǔn)確的分析需求對(duì)軟件開(kāi)發(fā)具有重要的意義�，F(xiàn)實(shí)中,由于在需求的采集和細(xì)化階段對(duì)系統(tǒng)的理解不全面,或者是相關(guān)領(lǐng)域環(huán)境的不確定,再者是語(yǔ)言表達(dá)的模糊性等都會(huì)使需求存在不確定性。因此針對(duì)不確定的需求構(gòu)建的模型會(huì)出現(xiàn)不確定的因素,且根據(jù)該模型生成的測(cè)試用例同樣會(huì)存在不確定的可能。目前,不確定需求的研究受到大家廣泛的關(guān)注。然而,對(duì)不確定需求的研究多集中在檢測(cè)、管理不確定性和基于需求變更建立需求模型上,卻很少有人研究如何基于不確定需求直接生成測(cè)試用例。本文主要研究如何基于軟件的不確定需求為軟件測(cè)試生成測(cè)試用例。研究一種典型的不確定需求,其蘊(yùn)含“多種可能性”。本文的測(cè)試用例生成方法利用基于標(biāo)記遷移系統(tǒng)的部分模型來(lái)描述不確定需求。然后,基于標(biāo)記遷移系統(tǒng)和部分模型的特點(diǎn),本文提出了一個(gè)測(cè)試用例自動(dòng)生成算法。最后,根據(jù)與對(duì)應(yīng)測(cè)試用例的不確定性相關(guān)的權(quán)值對(duì)測(cè)試用例進(jìn)行優(yōu)先級(jí)排序,以便為執(zhí)行這些測(cè)試用例提供一個(gè)推薦建議。本文的貢獻(xiàn)點(diǎn)如下:(1)提出一種針對(duì)不確定需求建模的方法。該方法是基于標(biāo)記遷移系統(tǒng)的一種形式化建模方法,能夠描述軟件系統(tǒng)的狀態(tài)變化和遷移路徑,以便基于路徑的測(cè)試用例生... 

【文章來(lái)源】：浙江理工大學(xué)浙江省

【文章頁(yè)數(shù)】：56 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景及意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
        1.2.1 不確定需求的國(guó)內(nèi)外研究現(xiàn)狀
        1.2.2 測(cè)試用例生成的國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文研究?jī)?nèi)容和方法
    1.4 文章結(jié)構(gòu)
2 軟件的不確定性分析及及建模
    2.1 軟件的不確定需求分析
        2.1.1 不確定需求的含義
        2.1.2 軟件需求不確定性的原因
        2.1.3 不確定需求的特點(diǎn)及帶來(lái)的影響
    2.2 軟件測(cè)試中不確定性建模方法
        2.2.1 貝葉斯網(wǎng)絡(luò)
        2.2.2 隱馬爾可夫模型
        2.2.3 粗糙集理論
    2.3 本章小結(jié)
3 測(cè)試用例及其生成與排序方法
    3.1 測(cè)試用例
    3.2 測(cè)試用例生成方法
        3.2.1 基于模型的測(cè)試用例生成方法
            3.2.1.1 基于有限狀態(tài)機(jī)生成測(cè)試用例方法
            3.2.1.2 標(biāo)記遷移系統(tǒng)生成測(cè)試用例方法
        3.2.2 基于符號(hào)執(zhí)行的測(cè)試用例生成方法
    3.3 測(cè)試用例優(yōu)先級(jí)排序
    3.4 本章小結(jié)
4 PPMPF模型及自動(dòng)生成測(cè)試用例算法
    4.1 相關(guān)理論方法
        4.1.1 標(biāo)記遷移系統(tǒng)
        4.1.2 部分模型
        4.1.3 概率部分模型
    4.2 PPMPF模型
        4.2.1 模型定義
        4.2.2 模型語(yǔ)義
    4.3 測(cè)試用例生成算法及排序
        4.3.1 測(cè)試用例自動(dòng)生成算法
        4.3.2 生成測(cè)試用例
        4.3.3 測(cè)試用例排序
    4.4 對(duì)循環(huán)情況的處理
    4.5 本章小結(jié)
5 實(shí)例分析
    5.1 實(shí)例需求
    5.2 實(shí)例需求分析及建模
    5.3 生成測(cè)試用例并排序
    5.4 本章小結(jié)
6 總結(jié)與展望
    6.1 內(nèi)容總結(jié)
    6.2 展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間收錄及發(fā)表的學(xué)術(shù)論文


【參考文獻(xiàn)】：
期刊論文
[1]一種基于擴(kuò)展有限狀態(tài)機(jī)的自動(dòng)化測(cè)試用例生成方法[J]. 楊瑞,陳振宇,張智軼,劉子聰,徐寶文.  中國(guó)科學(xué):信息科學(xué). 2014(05)
[2]面向不確定性的自適應(yīng)需求規(guī)劃算法研究[J]. 劉瑋,何成萬(wàn),馮在文.  小型微型計(jì)算機(jī)系統(tǒng). 2014(02)
[3]回歸測(cè)試中的測(cè)試用例優(yōu)先排序技術(shù)述評(píng)[J]. 陳翔,陳繼紅,鞠小林,顧慶.  軟件學(xué)報(bào). 2013(08)
[4]軟件測(cè)試用例自動(dòng)生成算法綜述[J]. 聶鵬,耿技,秦志光.  計(jì)算機(jī)應(yīng)用研究. 2012(02)
[5]面向不確定需求的適應(yīng)性軟件體系結(jié)構(gòu)設(shè)計(jì)[J]. 付赟,李敏強(qiáng),陳富贊.  計(jì)算機(jī)科學(xué). 2010(12)
[6]一個(gè)基于FSM測(cè)試自動(dòng)化方案與實(shí)現(xiàn)[J]. 黃曉玲,袁兆山,黃超男.  合肥工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版). 2008(01)
[7]基于Bayes網(wǎng)的軟件需求預(yù)測(cè)技術(shù)探討[J]. 鄭翠芳,吳志杰.  現(xiàn)代電子技術(shù). 2007(06)

博士論文
[1]基于FSM的測(cè)試用例生成和測(cè)試優(yōu)化[D]. 劉攀.上海大學(xué) 2011

碩士論文
[1]基于動(dòng)態(tài)符號(hào)執(zhí)行的測(cè)試用例生成技術(shù)研究[D]. 董齊興.中國(guó)科學(xué)技術(shù)大學(xué) 2014
[2]組合測(cè)試用例生成方法的研究與應(yīng)用[D]. 李玉.江南大學(xué) 2012



本文編號(hào)：2898149