基于時(shí)間Petri網(wǎng)的并行測(cè)試研究.pdf

1、并行測(cè)試技術(shù)是ATS(Auto Test System)在進(jìn)一步降低測(cè)試的時(shí)間、削減測(cè)試的成本的趨勢(shì)下新興的一項(xiàng)技術(shù)，它正以不可比擬的優(yōu)勢(shì)成為下一代ATS發(fā)展的熱點(diǎn)。在運(yùn)用并行測(cè)試技術(shù)時(shí)，要求分析系統(tǒng)執(zhí)行過(guò)程中可能產(chǎn)生的沖突和競(jìng)爭(zhēng)情況，特別是如何生成并行測(cè)試序列一直是一個(gè)復(fù)雜的、難于優(yōu)化的NP難題。Petri網(wǎng)作為一種圖形化建模工具，可以很直觀(guān)的表示系統(tǒng)并發(fā)、異步等系統(tǒng)常見(jiàn)現(xiàn)象，而引入時(shí)間Petri網(wǎng)，可以更便捷地描述實(shí)時(shí)系統(tǒng)。因此，進(jìn)

2、一步發(fā)展并行測(cè)試技術(shù)理論和拓寬并行測(cè)試應(yīng)用領(lǐng)域的關(guān)鍵在于：如何建立準(zhǔn)確、可靠的并行測(cè)試時(shí)間Petri網(wǎng)模型，并在所建模型的基礎(chǔ)上，探討并行測(cè)試的任務(wù)調(diào)度算法。
　　 本文在探討時(shí)間Petri網(wǎng)構(gòu)建過(guò)程中的約簡(jiǎn)步驟，并深入分析現(xiàn)今并行測(cè)試任務(wù)模型不足的基礎(chǔ)上，提出了一種基于時(shí)間Petri網(wǎng)的并行測(cè)試建模方法。為說(shuō)明該方法的應(yīng)用步驟，選用一雷達(dá)接收機(jī)的實(shí)例建立相應(yīng)的時(shí)間Petri網(wǎng)，并對(duì)其進(jìn)行了動(dòng)態(tài)性質(zhì)分析。在此基礎(chǔ)上，詳細(xì)研究了群