基于Petri網(wǎng)的嵌入式軟件測(cè)試用例自動(dòng)生成方法研究.pdf

1、軟件測(cè)試技術(shù)保證了軟件質(zhì)量、提高了軟件可靠性、降低了軟件生產(chǎn)成本,而其中的一個(gè)關(guān)鍵環(huán)節(jié)是測(cè)試用例的生成。軟件測(cè)試用例的生成目前主要采用的人工、半人工的方法,而測(cè)試用例的自動(dòng)生成能在一定程度上彌補(bǔ)人工操作中工作量大、測(cè)試周期長(zhǎng)、容易遺漏的缺點(diǎn)。軟件測(cè)試用例的自動(dòng)生成一直是軟件測(cè)試流程實(shí)現(xiàn)自動(dòng)化的重點(diǎn)和難點(diǎn)。
　　 Petri網(wǎng)是一種圖形化的形式化語(yǔ)言表示法,該方法采用具有形式語(yǔ)義的圖形語(yǔ)言,圖形化表示法易于理解,而且非專業(yè)人員能夠

2、使用,因此是一種通用的系統(tǒng)確定表示法。鑒于Petri網(wǎng)具有很好的解決異步、并發(fā)模型的特點(diǎn),而場(chǎng)景級(jí)測(cè)試中測(cè)試用例生成同樣面對(duì)異步、并發(fā)的問(wèn)題,因此選擇Petri網(wǎng)作為測(cè)試用例自動(dòng)生成方法的建模方式。
　　 本文以場(chǎng)景類測(cè)試為例提出了基于Petri網(wǎng)的嵌入式測(cè)試用例自動(dòng)生成方法,通過(guò)Petri網(wǎng)理論對(duì)測(cè)試模型建模,再對(duì)模型分析驗(yàn)證,最后生成測(cè)試用例集。該方法支持回歸生成測(cè)試用例集,彌補(bǔ)了對(duì)測(cè)試用例集需求變化的情況。同時(shí),該方法支持

3、測(cè)試用例的自動(dòng)生成。該方法可以有效的描述系統(tǒng)中的狀態(tài)及行為,并且保證了較高的覆蓋率指標(biāo),有助于提高測(cè)試的效率和質(zhì)量。
　　 本課題在研究Petri網(wǎng)模型分析時(shí)提出了標(biāo)識(shí)展開(kāi)樹(shù)的方法。本方法通過(guò)定義循環(huán)節(jié)點(diǎn)和跳出節(jié)點(diǎn)來(lái)極大的簡(jiǎn)化可達(dá)標(biāo)識(shí)樹(shù)的規(guī)模,并用標(biāo)識(shí)展開(kāi)樹(shù)分析了有界性、可達(dá)性和活性。同時(shí),對(duì)于Petri網(wǎng)應(yīng)用中經(jīng)常出現(xiàn)的狀態(tài)爆炸問(wèn)題,用標(biāo)識(shí)展開(kāi)樹(shù)的分析方法做了驗(yàn)證。
　　 最后,本文提供了基于Petri網(wǎng)嵌入式測(cè)試用例