專利名稱：一種軟件可靠性加速測試與評(píng)估方法及其計(jì)算機(jī)輔助工具的制作方法
技術(shù)領(lǐng)域：
本發(fā)明屬于軟件可靠性工程領(lǐng)域，尤其涉及軟件可靠性測試和評(píng)估領(lǐng)域，具體地說，是指一種基于畸化操作剖面的軟件可靠性加速測試與評(píng)估方法及其計(jì)算機(jī)輔助工具。
背景技術(shù)：
軟件可靠性測試對(duì)于軟件的質(zhì)量保證具有極其重要的意義，一方面需要通過軟件可靠性增長測試不斷排除對(duì)軟件可靠性具有重要影響的軟件缺陷，實(shí)現(xiàn)軟件可靠性水平的不斷增長以滿足用戶對(duì)軟件可靠性的要求；另一方面則需要通過軟件可靠性驗(yàn)證測試來判斷軟件是否已經(jīng)達(dá)到要求的可靠性水平，進(jìn)而決定軟件能否接收或者發(fā)布。但目前，軟件可靠性測試的應(yīng)用并不理想，在傳統(tǒng)可靠性測試?yán)碚摵头椒ㄖ笇?dǎo)下的數(shù)量龐大的測試用例是導(dǎo)致其裹足不前的一個(gè)重要原因，對(duì)于高可靠軟件來說，這樣的問題尤為突出，Butler曾認(rèn)為利用傳統(tǒng)的軟件可靠性驗(yàn)證測試方法不可能完成對(duì)高可靠軟件的評(píng)估要求。如何提高傳統(tǒng)軟件可靠性測試的效率，加速軟件可靠性測試的進(jìn)程，在有限的時(shí)間和資源消耗的條件下實(shí)現(xiàn)相同的可靠性測試目標(biāo)，即實(shí)現(xiàn)軟件可靠性加速測試，成為擺在軟件可靠性領(lǐng)域研究人員面前的一個(gè)熱點(diǎn)和難點(diǎn)問題。當(dāng)前傳統(tǒng)的可靠性測試及評(píng)估方法主要有兩種，一種是基于馬爾可夫使用模型的統(tǒng)計(jì)測試方法，另一種是基于Musa操作剖面的可靠性測試方法。上述兩種方法的基本思想都是基于統(tǒng)計(jì)學(xué)的基本原理，即根據(jù)軟件的實(shí)際使用情況的統(tǒng)計(jì)規(guī)律的描述，對(duì)軟件進(jìn)行隨機(jī)測試，利用失效數(shù)據(jù)進(jìn)行軟件可靠性評(píng)估。上述特點(diǎn)也決定了軟件可靠性測試過程時(shí)間長、費(fèi)用高、資源耗費(fèi)大，導(dǎo)致軟件可靠性測試的效率低下。H. Hecht1993 :^ 《Rare conditions—an important cause of failures》禾口 1994 年在其論文《Rare Conditions and Their Effect on Software failures》中通過收集到的大量的數(shù)據(jù)，總結(jié)出高可靠軟件失效的一個(gè)重大原因，即在高可靠軟件中，小概率事件的失效是導(dǎo)致系統(tǒng)失效的主要原因，這一數(shù)據(jù)的發(fā)布和原因分析為后續(xù)一系列以重要度抽樣為加速機(jī)理的方法的提出提供了依據(jù)。B. Cukic, H. Alam、D. Tang 等人均在H. Hecht數(shù)據(jù)的基礎(chǔ)上，提出了基于重要度抽樣的思想，對(duì)小概率事件的發(fā)生概率進(jìn)行提升，對(duì)重要度抽樣原理進(jìn)行了描述，并在基于Markov鏈構(gòu)建操作剖面的軟件上進(jìn)行了實(shí)驗(yàn)。以上都是基于重要度原理對(duì)軟件可靠性加速方法進(jìn)行了非常好的詮釋，但均以 Markov使用模型作為闡述對(duì)象，且基本上都是在假設(shè)軟件出現(xiàn)失效不剔除軟件缺陷、從而保證軟件失效概率或失效率不變，即以軟件可靠性驗(yàn)證測試為研究對(duì)象，而對(duì)于軟件可靠性增長加速測試沒有進(jìn)行闡述。因此與目前軟件可靠性測試的兩種類型結(jié)合不緊密，并且由于Markov鏈本身構(gòu)建的復(fù)雜性，影響了其在實(shí)踐中的應(yīng)用。因此，如何在以Musa操作剖面為基礎(chǔ)的情況下研究軟件可靠性加速測試，且對(duì)軟件可靠性驗(yàn)證加速測試和軟件可靠性增長加速測試進(jìn)行全面的研究和考慮，具有重要的研究意義和應(yīng)用價(jià)值
發(fā)明內(nèi)容
本發(fā)明為了解決基于傳統(tǒng)Musa操作剖面的軟件可靠性測試效率低的問題，提供了一種基于畸化操作剖面的軟件可靠性加速測試與評(píng)估方法及其計(jì)算機(jī)輔助工具。本發(fā)明提供的畸化操作剖面的構(gòu)建方法，分以下兩種方法1 將普通操作的發(fā)生概率置0，關(guān)鍵操作的發(fā)生概率之和作為加速因子。所述的關(guān)鍵操作是指需要重點(diǎn)測試的操作，所述的普通操作是指不需要重點(diǎn)測試的操作。方法2 利用操作發(fā)生概率值對(duì)所有操作的發(fā)生概率值進(jìn)行大小翻轉(zhuǎn)。本發(fā)明的一種基于畸化操作剖面的軟件可靠性增長加速測試與評(píng)估方法，具體步驟為步驟一、構(gòu)造畸化操作剖面，確定各操作的加速因子和整個(gè)畸化操作剖面的加速因子；步驟二、根據(jù)所構(gòu)造的畸化操作剖面進(jìn)行隨機(jī)抽樣生成測試用例；步驟三、判斷被測軟件為離散型軟件還是連續(xù)型軟件，若是離散型軟件，則執(zhí)行步驟四，若是連續(xù)型軟件，則執(zhí)行步驟五；步驟四、構(gòu)建軟件測試環(huán)境，執(zhí)行步驟二生成的測試用例，收集失效間隔用例數(shù)， 然后確定引起失效的輸入所對(duì)應(yīng)的操作，并利用所確定的操作的加速因子進(jìn)行失效用例數(shù)的轉(zhuǎn)化處理；本步驟執(zhí)行完畢后執(zhí)行步驟六；步驟五、構(gòu)建軟件測試環(huán)境，執(zhí)行步驟二生成的測試用例，收集失效間隔時(shí)間數(shù)據(jù)，然后確定引起失效的輸入所對(duì)應(yīng)的操作，并利用所確定的操作的加速因子進(jìn)行失效間隔時(shí)間的轉(zhuǎn)化處理；本步驟執(zhí)行完畢后執(zhí)行步驟六；步驟六、選擇適當(dāng)?shù)能浖煽啃栽鲩L模型，進(jìn)行可靠性參數(shù)的估計(jì)；步驟七、判斷此時(shí)被測軟件是否滿足規(guī)定的可靠性要求，若是，則停止測試，若否， 轉(zhuǎn)步驟二執(zhí)行。本發(fā)明的一種基于畸化操作剖面的軟件可靠性驗(yàn)證加速測試與評(píng)估方法，具體步驟為步驟1、構(gòu)造畸化操作剖面，并確定整個(gè)剖面的加速因子；步驟2、確定被測軟件的測試量若被測軟件為離散型軟件，對(duì)于定數(shù)結(jié)尾測試方案和無失效驗(yàn)證測試方案可以事先確定加速測試所需的測試用例量，例如對(duì)于無失效驗(yàn)證測試方案可以確定加速測試所需
的測試用例量Λ lnQL、，其中，[.]表示對(duì).取整，F(xiàn)u表示失效概率的上限值，α代
表顯著性水平；若被測軟件是連續(xù)型軟件，對(duì)于定時(shí)結(jié)尾測試方案和無失效驗(yàn)證測試方案可以事先確定加速測試所需的連續(xù)執(zhí)行時(shí)間，例如對(duì)于無失效驗(yàn)證測試方案可以確定加速測試所需的連續(xù)執(zhí)行時(shí)間t' = tA，其中，t代表在傳統(tǒng)操作剖面下需要執(zhí)行的測試時(shí)間，A代表整個(gè)畸化操作剖面的加速因子；步驟3、根據(jù)步驟2確定的測試量，并基于步驟1生成的畸化操作剖面，生成測試用例，執(zhí)行生成的測試用例，收集失效信息；步驟4、結(jié)合驗(yàn)證測試方案和實(shí)驗(yàn)結(jié)果，得到接收或拒收結(jié)論；步驟5、根據(jù)實(shí)際的實(shí)驗(yàn)結(jié)果，給出當(dāng)前的軟件可靠性參數(shù)的評(píng)估結(jié)果。
本發(fā)明的一種實(shí)現(xiàn)上述方法的計(jì)算機(jī)輔助工具，包括傳統(tǒng)操作剖面構(gòu)造模塊、畸化操作剖面構(gòu)造模塊、測試用例自動(dòng)生成模塊、可靠性驗(yàn)證加速測試模塊和可靠性增長加速測試模塊。傳統(tǒng)操作剖面構(gòu)造模塊接收用戶輸入操作模式信息和操作信息，建立傳統(tǒng)操作剖面，并將所建立的操作剖面信息數(shù)據(jù)包括操作概率、變量類型和取值范圍，傳送給畸化操作剖面構(gòu)造模塊；畸化操作剖面構(gòu)造模塊根據(jù)用戶對(duì)畸化操作剖面的構(gòu)造方法的選擇，生成不包含普通操作的第一種畸化操作剖面或者包含所有操作的第二種畸化操作剖面，并保存各操作的加速因子和整個(gè)畸化操作剖面的加速因子。測試用例自動(dòng)生成模塊接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型和取值范圍，結(jié)合接收到的可靠性驗(yàn)證加速測試模塊輸入的測試量和驗(yàn)證測試方案生成測試用例，或者結(jié)合接收到的可靠性增長加速測試模塊輸入的增長測試方案生成測試用例，并將測試用例輸出給待測軟件?？煽啃则?yàn)證加速測試模塊，接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型、取值范圍以及加速因子，實(shí)現(xiàn)如下具體功能首先根據(jù)用戶輸入的驗(yàn)證測試指標(biāo)為被測試的離散型軟件或連續(xù)型軟件生成驗(yàn)證測試方案，并確定測試量，將生成的測試量和驗(yàn)證測試方案輸出給測試用例自動(dòng)生成模塊，然后接收用戶在所構(gòu)建的軟件測試環(huán)境中運(yùn)行測試軟件執(zhí)行測試用例所收集的失效數(shù)據(jù)，結(jié)合驗(yàn)證測試方案，決定接收或拒絕接收該被測軟件， 并根據(jù)實(shí)驗(yàn)結(jié)果得到當(dāng)前的軟件可靠性參數(shù)的評(píng)估結(jié)果?？煽啃栽鲩L加速測試模塊，接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型、取值范圍以及加速因子，實(shí)現(xiàn)如下具體功能首先根據(jù)用戶輸入的增長測試指標(biāo)為被測試的離散型軟件或連續(xù)型軟件生成增長測試方案，將增長測試方案輸出給測試用例自動(dòng)生成模塊，接收用戶在所構(gòu)建的軟件測試環(huán)境中運(yùn)行測試軟件執(zhí)行測試用例所收集的失效數(shù)據(jù)，確定引起失效的輸入所對(duì)應(yīng)的操作，利用該操作的加速因子進(jìn)行失效數(shù)據(jù)的轉(zhuǎn)化處理，并將測試結(jié)果的數(shù)據(jù)轉(zhuǎn)化結(jié)果進(jìn)行輸出。本發(fā)明與現(xiàn)有技術(shù)相比，具有明顯的優(yōu)勢和有益效果(1)本發(fā)明提出的軟件可靠性加速測試方法和評(píng)估方法，是基于傳統(tǒng)操作剖面基礎(chǔ)上生成的畸化操作剖面展開的，解決了以操作剖面生成測試用例方面的可靠性加速測試問題，而且從原理、方案、執(zhí)行過程、結(jié)果評(píng)估全過程對(duì)加速測試方法進(jìn)行了覆蓋，并圍繞可靠性驗(yàn)證和增長兩種可靠性測試類型展開，實(shí)現(xiàn)了對(duì)軟件的可靠性測試，完全覆蓋了軟件可靠性測試過程，具有重要的指導(dǎo)意義。(2)本發(fā)明能夠利用原有的可靠性測試方面的理論和成果，例如軟件可靠性增長測試模型，通過失效數(shù)據(jù)轉(zhuǎn)化，實(shí)現(xiàn)加速測試與傳統(tǒng)模型的對(duì)接以及在傳統(tǒng)驗(yàn)證測試方案基礎(chǔ)上的改進(jìn)，這些都使得本發(fā)明提出的方法與現(xiàn)有的研究成果實(shí)現(xiàn)了很好的延續(xù)，而不是完全拋棄原有的研究成果的重頭研究。(3)通過實(shí)例應(yīng)用，本發(fā)明具有較好的測試效率，相比傳統(tǒng)測試技術(shù)，測試時(shí)間短， 測試結(jié)果也準(zhǔn)確，便于工程人員的理解和實(shí)際操作。


圖1為本發(fā)明的軟件可靠性增長加速測試和評(píng)估方法的流程示意圖2為軟件的操作剖面及缺陷空間的表達(dá)示意圖；圖3為本發(fā)明的軟件可靠性驗(yàn)證加速測試和評(píng)估方法的流程示意圖；圖4為本發(fā)明的計(jì)算機(jī)輔助工具的模塊結(jié)構(gòu)圖。其中，1-傳統(tǒng)操作剖面構(gòu)造模塊，2-畸化操作剖面構(gòu)造模塊，3-測試用例自動(dòng)生成模塊，4-可靠性驗(yàn)證加速測試模塊，5-可靠性增長加速測試模塊。
具體實(shí)施例方式以下結(jié)合附圖和實(shí)施例對(duì)本發(fā)明進(jìn)行詳細(xì)說明。本發(fā)明的畸化操作剖面的構(gòu)建方法有兩種，下面對(duì)兩種方法具體說明。方法1 將普通操作的發(fā)生概率置為0，將關(guān)鍵操作的發(fā)生概率之和作為加速因子。具體為將需要重點(diǎn)測試的操作作為關(guān)鍵操作，不需要重點(diǎn)測試的操作作為普通操作， 設(shè)未發(fā)現(xiàn)的對(duì)可靠性有重大影響的缺陷多存在于關(guān)鍵操作中。對(duì)于關(guān)鍵操作與普通操作的劃分，一種方法是從小概率事件入手，原因如下1)小概率操作在傳統(tǒng)測試階段中由于自身發(fā)生概率較低，予以分配的測試用例較少，因此錯(cuò)誤暴露相對(duì)較晚或者還沒有暴露完全； 2)很多對(duì)軟件持續(xù)運(yùn)行起著重大作用的操作，如失效恢復(fù)、異常處理等操作，都屬于小概率操作；3)雖然關(guān)鍵操作主要存在于小概率操作中，但并非所有的小概率操作都屬于關(guān)鍵操作，某些操作雖然發(fā)生概率不高，但對(duì)整體軟件功能的實(shí)現(xiàn)無直接影響，也不列入關(guān)鍵操作之中。在方法1中，令畸化操作剖面中只包含關(guān)鍵操作，也就是設(shè)未發(fā)現(xiàn)的缺陷主要存在于關(guān)鍵操作中，因此可以忽略普通操作的影響，然后按照等比例提高和歸一化的方法來實(shí)現(xiàn)操作概率的重新分配，則有
權(quán)利要求
1.一種畸化操作剖面的構(gòu)建方法，其特征在于，所述畸化操作剖面有兩種實(shí)現(xiàn)方法(1)方法1首先確定普通操作和關(guān)鍵操作在畸化操作剖面的發(fā)生概率，具體是將普通操作的發(fā)生概率置為0，關(guān)鍵操作的發(fā)生概率依據(jù)下面式子得到
2.基于權(quán)利要求1所述的方法構(gòu)建的畸化操作剖面的軟件可靠性增長加速測試與評(píng)估方法，其特征在于，具體通過以下步驟實(shí)現(xiàn)步驟一、構(gòu)造畸化操作剖面，確定各操作的加速因子和整個(gè)畸化操作剖面的加速因子；步驟二、根據(jù)所構(gòu)造的畸化操作剖面進(jìn)行隨機(jī)抽樣生成測試用例；步驟三、判斷被測軟件為離散型軟件還是連續(xù)型軟件，若是離散型軟件，則執(zhí)行步驟四，若是連續(xù)型軟件，則執(zhí)行步驟五；步驟四、構(gòu)建軟件測試環(huán)境，執(zhí)行步驟二生成的測試用例，收集失效間隔用例數(shù)，然后確定引起失效的輸入所對(duì)應(yīng)的操作，并利用該操作的加速因子進(jìn)行失效用例數(shù)的轉(zhuǎn)化處理，所述的轉(zhuǎn)化處理具體是用收集到的失效間隔用例數(shù)除以對(duì)應(yīng)操作的加速因子，得到的數(shù)據(jù)就是轉(zhuǎn)化處理后的數(shù)據(jù)；本步驟執(zhí)行完畢后執(zhí)行步驟六；步驟五、構(gòu)建軟件測試環(huán)境，執(zhí)行步驟二生成的測試用例，收集失效間隔時(shí)間，然后確定引起失效的輸入所對(duì)應(yīng)的操作，并利用該操作的加速因子進(jìn)行失效間隔時(shí)間的轉(zhuǎn)化處理，所述的轉(zhuǎn)化處理具體是用收集到的失效間隔時(shí)間除以對(duì)應(yīng)操作的加速因子，得到的數(shù)據(jù)就是轉(zhuǎn)化處理后的數(shù)據(jù)；本步驟執(zhí)行完畢后執(zhí)行步驟六；步驟六、選擇適當(dāng)?shù)能浖煽啃栽鲩L模型，進(jìn)行可靠性參數(shù)的估計(jì)； 步驟七、判斷此時(shí)被測軟件是否滿足規(guī)定的可靠性要求，若是，則停止測試和評(píng)估，結(jié)束該方法，若否，轉(zhuǎn)步驟二執(zhí)行。
3.基于權(quán)利要求1所述的方法構(gòu)建的畸化操作剖面的軟件可靠性驗(yàn)證加速測試與評(píng)估方法，其特征在于，具體包括如下步驟步驟1、構(gòu)造畸化操作剖面，并確定整個(gè)剖面的加速因子； 步驟2、確定被測軟件的測試量；步驟3、根據(jù)步驟2確定的測試量，并基于步驟1生成的畸化操作剖面，生成可靠性測試用例，執(zhí)行生成的測試用例，收集失效信息；步驟4、結(jié)合驗(yàn)證測試方案和收集的失效信息，得到接收軟件或拒收軟件的結(jié)論； 步驟5、根據(jù)實(shí)際的實(shí)驗(yàn)結(jié)果，給出當(dāng)前的軟件可靠性參數(shù)的評(píng)估結(jié)果。
4.根據(jù)權(quán)利要求3所述的基于畸化操作剖面的軟件可靠性驗(yàn)證加速測試與評(píng)估方法， 其特征在于，步驟2中所述的測試量，具體是(1)被測軟件為離散型軟件，對(duì)于定數(shù)結(jié)尾測試方案和無失效驗(yàn)證測試方案事先確定驗(yàn)證加速測試所需的測試用例量，對(duì)于無失效驗(yàn)證測試方案，確定所需的測試用例量
5.根據(jù)權(quán)利要求1或3所述的基于畸化操作剖面的軟件可靠性驗(yàn)證加速測試與評(píng)估方法，其特征在于，步驟5中所述的軟件可靠性參數(shù)的評(píng)估結(jié)果，具體是(1)針對(duì)離散型軟件，評(píng)估結(jié)果是指失效概率或成功率，在采用方法1不包含普通操作所構(gòu)建的畸化操作剖面時(shí)，被測軟件的失效概率點(diǎn)估計(jì)值F'為
6.根據(jù)上述任一所述的權(quán)利要求的一種基于畸化操作剖面的軟件可靠性加速測試與評(píng)估的計(jì)算機(jī)輔助工具，其特征在于，包括傳統(tǒng)操作剖面構(gòu)造模塊、畸化操作剖面構(gòu)造模塊、測試用例自動(dòng)生成模塊、可靠性驗(yàn)證加速測試模塊和可靠性增長加速測試模塊；所述的傳統(tǒng)操作剖面構(gòu)造模塊接收用戶輸入操作模式信息和操作信息，建立傳統(tǒng)操作剖面，并將所建立的操作剖面信息數(shù)據(jù)包括操作概率、變量類型和取值范圍，傳送給畸化操作剖面構(gòu)造模塊；所述的畸化操作剖面構(gòu)造模塊根據(jù)用戶對(duì)畸化操作剖面的構(gòu)造方法的選擇，生成不包含普通操作的第一種畸化操作剖面或者包含所有操作的第二種畸化操作剖面，并保存各操作的加速因子和整個(gè)畸化操作剖面的加速因子；所述的測試用例自動(dòng)生成模塊接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型和取值范圍，結(jié)合接收到的可靠性驗(yàn)證加速測試模塊輸入的測試量和驗(yàn)證測試方案生成測試用例，或者結(jié)合接收到的可靠性增長加速測試模塊輸入的增長測試方案生成測試用例，并將測試用例輸出給待測軟件。所述的可靠性驗(yàn)證加速測試模塊，接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型、取值范圍以及加速因子，實(shí)現(xiàn)如下具體功能首先根據(jù)用戶輸入的驗(yàn)證測試指標(biāo)為被測試的離散型軟件或連續(xù)型軟件生成驗(yàn)證測試方案，并確定測試量，將生成的測試量和驗(yàn)證測試方案輸出給測試用例自動(dòng)生成模塊，然后接收用戶在所構(gòu)建的軟件測試環(huán)境中運(yùn)行測試軟件執(zhí)行測試用例所收集的失效數(shù)據(jù)，結(jié)合驗(yàn)證測試方案，決定接收或拒絕接收該被測軟件，并根據(jù)實(shí)驗(yàn)結(jié)果得到當(dāng)前的軟件可靠性參數(shù)的評(píng)估結(jié)果；所述的可靠性增長加速測試模塊，接收畸化操作剖面構(gòu)造模塊發(fā)生過來的畸化操作剖面的信息數(shù)據(jù)包括在畸化操作剖面上的操作概率、變量類型、取值范圍以及加速因子，實(shí)現(xiàn)如下具體功能首先根據(jù)用戶輸入的增長測試指標(biāo)為被測試的離散型軟件或連續(xù)型軟件生成增長測試方案，將增長測試方案輸出給測試用例自動(dòng)生成模塊，接收用戶在所構(gòu)建的軟件測試環(huán)境中運(yùn)行測試軟件執(zhí)行測試用例所收集的失效數(shù)據(jù)，確定引起失效的輸入所對(duì)應(yīng)的操作，利用該操作的加速因子進(jìn)行失效數(shù)據(jù)的轉(zhuǎn)化處理，并將測試結(jié)果的數(shù)據(jù)轉(zhuǎn)化結(jié)果進(jìn)行輸出。
7.根據(jù)權(quán)利要求6所述的一種基于畸化操作剖面的軟件可靠性加速測試與評(píng)估的計(jì)算機(jī)輔助工具，其特征在于，所述的傳統(tǒng)操作剖面構(gòu)造模塊采用Musa操作剖面的構(gòu)造方法來構(gòu)造傳統(tǒng)操作剖面。
全文摘要
本發(fā)明提出一種基于畸化操作剖面的軟件可靠性加速測試與評(píng)估方法及其計(jì)算機(jī)輔助工具，屬于軟件可靠性工程領(lǐng)域。所述方法提出構(gòu)建一種畸化操作剖面，基于該剖面對(duì)被測軟件進(jìn)行軟件可靠性增長與驗(yàn)證加速測試與評(píng)估。所述工具通過傳統(tǒng)操作剖面構(gòu)造模塊構(gòu)造傳統(tǒng)操作剖面，進(jìn)一步通過畸化操作剖面構(gòu)造模塊構(gòu)造畸化操作剖面，根據(jù)用戶選擇執(zhí)行可靠性驗(yàn)證加速測試模塊和可靠性增長加速測試模塊，由測試用例自動(dòng)生成模塊進(jìn)行測試中的用例生成。本發(fā)明實(shí)現(xiàn)了畸化操作剖面與傳統(tǒng)Musa操作剖面之間的可靠性參數(shù)的無偏估計(jì)，具有較好的測試效率，相比傳統(tǒng)測試方法，測試時(shí)間短，測試結(jié)果也準(zhǔn)確，便于工程人員的理解和實(shí)際操作。
文檔編號(hào)G06F11/36GK102360332SQ201110314538
公開日2012年2月22日 申請日期2011年10月17日 優(yōu)先權(quán)日2011年9月28日
發(fā)明者李秋英, 王健, 羅磊, 陸民燕 申請人:北京航空航天大學(xué)