發(fā)布時(shí)間：2020-08-08 05:53

【摘要】：計(jì)算機(jī)技術(shù)的高速發(fā)展的今天,軟件系統(tǒng)成為了生活中不可或缺的工具,軟件失效帶來的影響也日益增大�？煽啃运阶鳛樽钪匾拿嫦蛴脩舻馁|(zhì)量特征,是軟件發(fā)布時(shí)用戶關(guān)注程度最高的驗(yàn)證指標(biāo)之一�？煽啃詼y(cè)試正是保障和提高軟件可靠性水平的重要方式�？煽啃詼y(cè)試的模型種類繁多,Markov使用模型是極具代表性、應(yīng)用最為廣泛的一種。基于Markov使用模型的可靠性測(cè)試一般首先通過模型描述軟件的使用方式,之后的測(cè)試執(zhí)行、測(cè)試結(jié)果分析等步驟都基于模型展開,可以說恰當(dāng)有效的模型是測(cè)試成功的關(guān)鍵因素。通過研讀可靠性測(cè)試領(lǐng)域相關(guān)文獻(xiàn)發(fā)現(xiàn),現(xiàn)有的研究基本解決了從軟件UML模型轉(zhuǎn)換為Markov使用模型的過程,即可以從被測(cè)軟件的源碼分析出對(duì)應(yīng)的Markov使用模型。對(duì)于實(shí)時(shí)軟件系統(tǒng)中存在的時(shí)間約束,也有了一定的轉(zhuǎn)換和表示方式。然而鮮有研究提及如何定量計(jì)算遷移上存在的時(shí)間約束在測(cè)試用例生成時(shí)產(chǎn)生的影響程度。傳統(tǒng)基于Markov使用模型的可靠性測(cè)試一般只根據(jù)用戶的使用情況生成測(cè)試用例,但對(duì)于實(shí)時(shí)軟件來說,時(shí)間約束也是影響軟件可靠性的重要屬性。本文在Markov時(shí)間使用模型的基礎(chǔ)上提出利用時(shí)間約束優(yōu)化模型的可行框架�；诳蚣芴接懥艘宰畲蠡Ｐ蜖顟B(tài)熵為優(yōu)化目標(biāo)的遷移概率自動(dòng)優(yōu)化算法,優(yōu)化后的模型可以在一定程度上反映被測(cè)系統(tǒng)的時(shí)間屬性。此外,雖然模型中存在的冗余狀態(tài)、等價(jià)狀態(tài)等缺陷已有文獻(xiàn)給出了相應(yīng)的優(yōu)化策略,但是對(duì)于循環(huán)序列的處理并未得到重視。實(shí)際上,Markov使用模型在依據(jù)使用規(guī)范創(chuàng)建或者從UML模型自動(dòng)生成時(shí)經(jīng)常存在循環(huán)片段,如果不加以處理和限制,可能會(huì)造成生成測(cè)試用例過長(zhǎng)、測(cè)試資源浪費(fèi)甚至陷入死循環(huán)等問題。針對(duì)模型中存在的各類缺陷提出了優(yōu)化的測(cè)試用例生成算法,在原模型中將循環(huán)片段進(jìn)行縮點(diǎn),并定義了特殊的樹形數(shù)據(jù)結(jié)構(gòu)SCC-Tree用于存儲(chǔ)標(biāo)記循環(huán)片段的內(nèi)部特征。針對(duì)縮點(diǎn)后的無環(huán)模型通過一定的策略組合可以生成完備的測(cè)試用例集。實(shí)驗(yàn)證明,算法在滿足測(cè)試充分性準(zhǔn)則的基礎(chǔ)上可以更高效、更穩(wěn)定地生成測(cè)試用例。最后,結(jié)合提出的算法設(shè)計(jì)并實(shí)現(xiàn)了基于Markov使用模型的可靠性測(cè)試原型系統(tǒng),通過無人機(jī)子模塊的實(shí)例驗(yàn)證了系統(tǒng)簡(jiǎn)單易用,方法切實(shí)有效。
【學(xué)位授予單位】：杭州電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2018
【分類號(hào)】：TP311.53
【圖文】：

杭州電子科技大學(xué)碩士學(xué)位論文通過可靠性建模的基本思想，分析可靠性模型與可靠性測(cè)試之間的關(guān)圖 2.1 所示是軟件可靠性建模的基本思想�？梢钥闯�，隨著測(cè)試時(shí)間加，被測(cè)軟件的缺陷不斷被發(fā)現(xiàn)并排除，軟件失效率也隨之降低，直至目標(biāo)，可以認(rèn)為被測(cè)軟件達(dá)到了一定的可靠度水平。而且在特定的時(shí)現(xiàn)時(shí)間”），存在記錄了相應(yīng)的軟件失效概率。軟件可靠性測(cè)試和軟件型之間的關(guān)系是相輔相成的。一方面，可靠性模型需要通過可靠性測(cè)試故障數(shù)據(jù)，以此建立預(yù)測(cè)失效的模型，實(shí)現(xiàn)把控開發(fā)、協(xié)助管理的功為，精準(zhǔn)有效的可靠性評(píng)估離不開完整的可靠性測(cè)試，可靠性評(píng)估是在試基礎(chǔ)上完成的。一方面，可靠性測(cè)試需要在可靠性模型的指導(dǎo)下才能有序進(jìn)行�？煽砍浞中耘卸ㄐ枰揽靠煽啃阅Ｐ陀�(jì)算得到的定量指標(biāo)，在模型滿足一定準(zhǔn)則時(shí)可以認(rèn)識(shí)測(cè)試滿足要求，可以終止，否則還要繼續(xù)進(jìn)行[47]。

杭州電子科技大學(xué)碩士學(xué)位論文2、測(cè)試用例的生成與執(zhí)行基于一定的策略，通過已經(jīng)構(gòu)建的可靠性模型手動(dòng)或自動(dòng)生成測(cè)試用例，之后再真實(shí)環(huán)境中運(yùn)行生成的測(cè)試用例或者在虛擬仿真環(huán)境中由外部程序驅(qū)動(dòng)運(yùn)行。當(dāng)然對(duì)于測(cè)試活動(dòng)中產(chǎn)生的數(shù)據(jù)要進(jìn)行記錄，以便后續(xù)分析被測(cè)系統(tǒng)性能參數(shù)。3、可靠性評(píng)估根據(jù)記錄的測(cè)試用例運(yùn)行結(jié)果數(shù)據(jù)，按照測(cè)試需求選取合適的評(píng)估模型，統(tǒng)計(jì)分析得出最終量化的被測(cè)軟系統(tǒng)可靠性度量指標(biāo)。

執(zhí)行常量時(shí)間、狀態(tài)駐留無界變量時(shí)間。圖 3.4 Markov 鏈時(shí)間使用模型時(shí)間約束類型三生在 時(shí)刻后的任意時(shí)刻，即狀態(tài)駐留時(shí)間為無上界的變量發(fā)生時(shí)間以及狀態(tài)的駐留時(shí)間是在 時(shí)刻及其之后的 個(gè)時(shí)的變量值。 可以用來描述等待系統(tǒng)響應(yīng)的期望值，這種模統(tǒng)響應(yīng)無確定截止時(shí)間的情況。執(zhí)行有界變量時(shí)間、狀態(tài)駐留常量時(shí)間。

【參考文獻(xiàn)】

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

1 吳亮;方建勇;;基于優(yōu)化Markov鏈?zhǔn)褂媚Ｐ偷目煽啃詼y(cè)試技術(shù)[J];指揮控制與仿真;2015年05期

2 尹園威;尚朝軒;馬彥恒;李剛;;層次測(cè)試性模型的評(píng)估方法[J];北京航空航天大學(xué)學(xué)報(bào);2015年01期

3 吳彩華;朱小冬;劉俊濤;王毅剛;;基于可靠性增長(zhǎng)模型的軟件可靠性增長(zhǎng)測(cè)試充分性準(zhǔn)則[J];計(jì)算機(jī)科學(xué);2008年11期

4 徐士麟;喻莉;朱光喜;;基于概率更新機(jī)制的自適應(yīng)混合熵編碼[J];通信學(xué)報(bào);2008年05期

5 顏炯;王戟;陳火旺;;基于模型的軟件測(cè)試綜述[J];計(jì)算機(jī)科學(xué);2004年02期

6 李秋英,阮鐮,劉斌;軟件可靠性測(cè)試充分性研究[J];測(cè)控技術(shù);2003年11期

7 李秋英,陸民燕,阮鐮;軟件可靠性測(cè)試充分性問題的理論研究[J];北京航空航天大學(xué)學(xué)報(bào);2003年04期

8 鄒豐忠,劉海青,王林;軟件可靠性綜合模型[J];武漢大學(xué)學(xué)報(bào)(工學(xué)版);2003年01期

9 劉云,趙瑋;軟件可靠性研究與進(jìn)展[J];微機(jī)發(fā)展;2003年02期

10 應(yīng)杏娟,徐寧,楊希明,秦永烈;軟件可靠性評(píng)估理論與實(shí)例研究[J];自動(dòng)化儀表;2002年11期

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

1 顏炯;基于UML的軟件統(tǒng)計(jì)測(cè)試研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

2 單錦輝;面向路徑的測(cè)試數(shù)據(jù)自動(dòng)生成方法研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2002年

3 胡仁勝;軟件可靠性和軟件最優(yōu)發(fā)布問題的研究[D];合肥工業(yè)大學(xué);2001年

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

1 劉磊;面向最優(yōu)庫存控制的DRP分銷系統(tǒng)實(shí)現(xiàn)及可靠性分析[D];重慶大學(xué);2010年

2 馬成功;基于馬爾可夫鏈模型的軟件可靠性測(cè)試方法的研究[D];電子科技大學(xué);2009年

3 楊雪;非齊次泊松過程類軟件可靠性增長(zhǎng)模型的研究與應(yīng)用[D];電子科技大學(xué);2008年

4 唐樂;面向軟件可靠性的測(cè)試用例生成技術(shù)的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2007年

5 朱虹虹;軟件可靠性測(cè)試與評(píng)價(jià)技術(shù)的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2005年

6 陳愛國(guó);軟件測(cè)試與軟件可靠性[D];西安電子科技大學(xué);2001年

本文編號(hào)：2785151