面向?qū)崟r(shí)軟件的Markov鏈時(shí)間使用模型測(cè)試用例生成方法研究.pdf

1、計(jì)算機(jī)軟件技術(shù)廣泛應(yīng)用于各個(gè)領(lǐng)域，人們對(duì)于軟件系統(tǒng)的可靠性要求日漸提高，實(shí)時(shí)軟件可靠性是關(guān)注的焦點(diǎn)之一，而軟件可靠性測(cè)試是提高軟件可靠性的一個(gè)重要方法。隨著面向?qū)ο蠹夹g(shù)的發(fā)展，基于模型的軟件可靠性測(cè)試成為軟件可靠性研究的一個(gè)重要分支，國(guó)內(nèi)外學(xué)者對(duì)其開(kāi)展了較為深入和廣泛的研究，也取得了一定的成果，但在基于測(cè)試模型的實(shí)時(shí)軟件可靠性測(cè)試用例生成方面還存在一定問(wèn)題。
　　本文通過(guò)深入分析相關(guān)文獻(xiàn)發(fā)現(xiàn)：現(xiàn)有文獻(xiàn)較好地解決了從UML模型到Ma

2、rkov鏈?zhǔn)褂媚Ｐ偷霓D(zhuǎn)換問(wèn)題，在轉(zhuǎn)換過(guò)程中，通過(guò)對(duì)帶有時(shí)間約束的狀態(tài)擴(kuò)展出時(shí)間駐留狀態(tài)和對(duì)偶的時(shí)間違背狀態(tài)的方式，能夠解決時(shí)間約束對(duì)不同狀態(tài)的影響。但是沒(méi)有考慮被測(cè)軟件激勵(lì)中的時(shí)間約束對(duì)用例生成的影響，而激勵(lì)執(zhí)行時(shí)間約束在實(shí)時(shí)軟件系統(tǒng)中是一個(gè)普遍的現(xiàn)象。針對(duì)現(xiàn)有方法存在的不足，本文通過(guò)擴(kuò)展Markov鏈?zhǔn)褂媚Ｐ?，提出?gòu)建加入時(shí)間約束的Markov鏈時(shí)間使用模型，利用該模型生成測(cè)試序列，該模型既考慮了模型中的狀態(tài)駐留時(shí)間約束，也考慮了激勵(lì)

3、執(zhí)行時(shí)間約束。
　　除此之外，現(xiàn)有可靠性測(cè)試方法在測(cè)試數(shù)據(jù)的選取方法基本采用的是滿足當(dāng)前約束條件下的隨機(jī)策略，該法簡(jiǎn)便易行但是沒(méi)有兼顧同一路徑下多處引用目標(biāo)變量的約束關(guān)系，導(dǎo)致生成較多無(wú)效測(cè)試用例，這使評(píng)估出的可靠性與軟件真實(shí)可靠性有很大偏差，本文使用基于區(qū)間代數(shù)運(yùn)算的區(qū)間削減算法求解線性約束表達(dá)式得到輸入變量的有效取值范圍，以及利用分支函數(shù)的思想構(gòu)造目標(biāo)函數(shù)，使用分段牛頓法求解輸入變量的非線性約束,使生成的測(cè)試用例有效性大幅提高