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

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

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