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

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

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