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

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

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

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

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


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

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

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



本文編號：2898149