基于缺陷關(guān)聯(lián)度的Markov模型軟件優(yōu)化測(cè)試策略研究.pdf

1、隨著軟件規(guī)模的不斷增長(zhǎng)，結(jié)構(gòu)不斷復(fù)雜，軟件可靠性問題日益突出。軟件測(cè)試，作為軟件質(zhì)量保證的重要手段，正發(fā)揮著越來越重要的作用?；谑芸伛R爾可夫鏈的測(cè)試模型已成為軟件測(cè)試的一個(gè)重要研究方向。它將被測(cè)對(duì)象抽象成測(cè)試模型，通過對(duì)模型的分析來選取相應(yīng)地測(cè)試決策，從而形式化地描述軟件測(cè)試過程。大量研究人員對(duì)其進(jìn)行了深入的研究，并取得了許多優(yōu)秀成果。但是，這些研究大多是基于缺陷獨(dú)立的假設(shè)，即忽略了缺陷之間的關(guān)聯(lián)關(guān)系。在實(shí)際測(cè)試過程中，很多軟件缺陷并

2、不是相互獨(dú)立的，缺陷之間往往相互關(guān)聯(lián)。因此，如何利用缺陷之間的關(guān)聯(lián)信息，改進(jìn)受控馬爾可夫鏈測(cè)試模型，優(yōu)化軟件測(cè)試策略成為本文研究的重點(diǎn)。
　　本文從缺陷自身角度出發(fā)，對(duì)基于受控馬爾可夫鏈（Controlled Markov Chain,簡(jiǎn)稱CMC）模型的軟件測(cè)試策略和關(guān)聯(lián)缺陷進(jìn)行了深入的研究，主要包括以下幾個(gè)方面：
　?。?）以缺陷關(guān)聯(lián)為背景，研究了基于關(guān)聯(lián)缺陷的受控馬爾可夫鏈軟件測(cè)試模型。針對(duì)原有CMC測(cè)試模型中的局限性，

3、引入缺陷關(guān)聯(lián)系數(shù)與缺陷回扣機(jī)制，構(gòu)建了基于缺陷關(guān)聯(lián)度的受控馬爾科夫鏈軟件測(cè)試模型，綜合權(quán)衡缺陷可檢測(cè)率、關(guān)聯(lián)系數(shù)和缺陷回扣，以提高軟件測(cè)試效率。
　?。?）以該模型為基礎(chǔ)，研究了基于關(guān)聯(lián)缺陷的軟件優(yōu)化測(cè)試策略。利用缺陷關(guān)聯(lián)信息，將軟件測(cè)試過程轉(zhuǎn)換成帶權(quán)路徑的優(yōu)化問題，設(shè)計(jì)了一種基于最小生成樹的軟件優(yōu)化測(cè)試策略。同時(shí)考慮了更為復(fù)雜的缺陷關(guān)聯(lián)形式，針對(duì)缺陷關(guān)聯(lián)不滿足交換律時(shí)，提出了一種改進(jìn)的Prim算法，以求解帶權(quán)有向圖的最小生成樹，