基于時(shí)間Petri網(wǎng)模型的實(shí)時(shí)軟件在線測(cè)試方法研究.pdf

1、隨著互聯(lián)網(wǎng)科技的突飛猛進(jìn)，計(jì)算機(jī)軟件已被應(yīng)用到現(xiàn)實(shí)生活中的許多領(lǐng)域，軟件的功能更加多樣也更加復(fù)雜。在這種背景下，提出了基于模型的軟件測(cè)試技術(shù)，該技術(shù)利用模型自動(dòng)地生成全部或者部分測(cè)試用例，在充分測(cè)試軟件功能的同時(shí)縮短測(cè)試時(shí)間，保證測(cè)試質(zhì)量。而在測(cè)試實(shí)時(shí)系統(tǒng)的方面，由于加入了時(shí)間域的約束，使得系統(tǒng)選擇形式化建模工具時(shí)需要考慮時(shí)間域的表示，同時(shí)當(dāng)實(shí)時(shí)系統(tǒng)規(guī)模大時(shí)容易造成狀態(tài)空間爆炸的問題。
　　在這種背景下，提出了一種基于時(shí)間Petr

2、i網(wǎng)模型的實(shí)時(shí)軟件在線測(cè)試方法。首先設(shè)計(jì)了能夠處理模型中與時(shí)間約束相關(guān)的變化的基于狀態(tài)類的可達(dá)圖生成算法。然后利用生成的可達(dá)圖來評(píng)估模型，進(jìn)而完善，以便保證其在描述實(shí)際系統(tǒng)時(shí)的質(zhì)量和可靠性。在驗(yàn)證了模型的可靠性之后，設(shè)計(jì)了結(jié)合時(shí)間Petri網(wǎng)模型的同步乘積算法，通過依據(jù)測(cè)試人員需要測(cè)試的系統(tǒng)功能來削減時(shí)間Petri網(wǎng)模型的可達(dá)圖中無關(guān)的路徑和狀態(tài)，從而達(dá)到縮減需要遍歷的狀態(tài)空間的目的。在此基礎(chǔ)上設(shè)計(jì)了結(jié)合實(shí)際響應(yīng)的交互過程以及測(cè)試用例獲