基于元胞自動(dòng)機(jī)遺傳算法的時(shí)間Petri網(wǎng)并行測(cè)試研究.pdf

1、并行測(cè)試是順應(yīng)時(shí)代的要求而產(chǎn)生的一種新型的檢測(cè)技術(shù),來(lái)源于自動(dòng)測(cè)試技術(shù)的發(fā)展。并行測(cè)試技術(shù)與傳統(tǒng)的測(cè)試技術(shù)--串行測(cè)試技術(shù)有所不同,串行檢測(cè)的不足在于測(cè)試時(shí)間長(zhǎng)、測(cè)試設(shè)備利用不夠充分、容易處于閑置狀態(tài)等。而并行測(cè)試提高了系統(tǒng)資源利用率,節(jié)約測(cè)試時(shí)間。這些優(yōu)點(diǎn)促使其成為自動(dòng)測(cè)試研究領(lǐng)域的一個(gè)關(guān)鍵性研究并在國(guó)民經(jīng)濟(jì)的建設(shè)中發(fā)揮更大作用。
　　在測(cè)試過(guò)程中各個(gè)待測(cè)點(diǎn)之間對(duì)測(cè)試設(shè)備有競(jìng)爭(zhēng),如何合理的利用系統(tǒng)資源,節(jié)約測(cè)試時(shí)間等與測(cè)試的順序

2、有關(guān)。而怎樣優(yōu)化測(cè)試序列,在任務(wù)調(diào)度領(lǐng)域一直是個(gè)復(fù)雜的NP難題。Petri網(wǎng)建模和分析功能強(qiáng)大,是圖形化建模工具,可以直觀地描述系統(tǒng)的如下現(xiàn)象:并發(fā),沖突,異步。將時(shí)間這一參數(shù)引入到Petri網(wǎng)中,約束變遷實(shí)施時(shí)間的長(zhǎng)短,就是時(shí)間Petri網(wǎng)。時(shí)間Petri網(wǎng)對(duì)系統(tǒng)分析建模,特別是用時(shí)間作為主要評(píng)估指標(biāo)的實(shí)時(shí)系統(tǒng),非常適合。在并行測(cè)試的進(jìn)程中主要測(cè)試是與時(shí)間相關(guān),而時(shí)間Petri網(wǎng)中也有時(shí)間參數(shù),一個(gè)變遷發(fā)生所需要的時(shí)間可以與測(cè)試工作中

3、的某個(gè)測(cè)試所耗費(fèi)的時(shí)間對(duì)應(yīng)起來(lái),整個(gè)的測(cè)試流程就可以匹配時(shí)間Petri網(wǎng)的變遷序列。要做到匹配的一致,對(duì)于構(gòu)建的模型描述就必須準(zhǔn)確,即時(shí)間Petri網(wǎng)的模型要與并行測(cè)試系統(tǒng)的事實(shí)一致且合理,達(dá)到了這個(gè)標(biāo)準(zhǔn),才能進(jìn)行其他的研究,例如如何最好的測(cè)試次序。遺傳算法在任務(wù)調(diào)度領(lǐng)域的應(yīng)用很多,而遺傳算法本身也有不足之處,為了克服其不足,將元胞自動(dòng)機(jī)模型與遺傳算法相結(jié)合,通過(guò)對(duì)給定函數(shù)的測(cè)試驗(yàn)證了元胞自動(dòng)機(jī)遺傳算法的優(yōu)越性。雷達(dá)接收機(jī)的參數(shù)測(cè)試比較

4、復(fù)雜,選用接收機(jī)的部分參數(shù)測(cè)試為指定例子,用時(shí)間Petri網(wǎng)對(duì)該例子的測(cè)試過(guò)程構(gòu)建模型,討論模型是否合理、準(zhǔn)確,以這個(gè)為基礎(chǔ)開始本文的最終目的的探求--在時(shí)間Petri網(wǎng)中找出時(shí)間最短的變遷序列,將其轉(zhuǎn)換成并行測(cè)試的測(cè)試次序就是測(cè)試時(shí)間最短的并行測(cè)試任務(wù)調(diào)度方案。
　　通過(guò)對(duì)模型的訓(xùn)練仿真,從而得到實(shí)驗(yàn)結(jié)果,分析結(jié)果并總結(jié)如下:元胞自動(dòng)機(jī)遺傳算法在該模型中對(duì)最優(yōu)序列的尋找表現(xiàn)出非常不錯(cuò)的效果,再通過(guò)與此領(lǐng)域的其他研究成果進(jìn)行分析比