基于Petri Net軟件測試系統(tǒng)的研究.pdf

1、計(jì)算機(jī)軟件系統(tǒng)正深刻影響著人類社會(huì)，軟件測試的重要性日漸凸顯。如何降低軟件測試成本，提高軟件測試效率，具有重要的現(xiàn)實(shí)意義和經(jīng)濟(jì)價(jià)值。本文從離散事件動(dòng)態(tài)系統(tǒng)角度研究了軟件測試系統(tǒng)的兩個(gè)方面——軟件測試技術(shù)和軟件測試工作流，通過提高軟件測試自動(dòng)化程度、分析軟件測試工作流性能瓶頸合理配置測試人力、優(yōu)化測試任務(wù)調(diào)度和執(zhí)行優(yōu)先級(jí)來提升軟件測試效率。
　　本文首先提出了基于Petri網(wǎng)模型的測試用例自動(dòng)生成算法，該算法通過搜索軟件系統(tǒng)的所有狀

2、態(tài)空間，能全面地覆蓋對(duì)軟件的各項(xiàng)操作可能產(chǎn)生的預(yù)期狀態(tài)，消除了由于人工編寫的測試用例不全面導(dǎo)致遺漏可能存在的軟件錯(cuò)誤的情況。使用PyQt開發(fā)的軟件原型和網(wǎng)易云課堂課程購買功能的例子證明了算法的可行性。
　　其次本文利用廣義隨機(jī)Petri對(duì)軟件測試工作流系統(tǒng)進(jìn)行建模，使用仿真軟件對(duì)模型進(jìn)行仿真分析，獲取工作流中各環(huán)節(jié)的時(shí)間特征和資源特征，從而發(fā)現(xiàn)影響系統(tǒng)性能的瓶頸。而通過模型的等價(jià)化簡，使各環(huán)節(jié)對(duì)系統(tǒng)整體的時(shí)間性能影響更清晰，該方法