CPN模型驅動的云測試生成研究.pdf

1、測試生成在軟件測試過程中起到很重要的作用，現(xiàn)有的生成測試例的方法大多依靠測試人員手工進行，不僅生成效率低下，生成的測試例在可用性方面也不盡如人意。著色Petri網(Colored Petri Nets，CPN)模型驅動的一致性測試生成方法是一種成熟的測試生成理論，能夠有效地提升測試例的可用性。然而這種測試方法受限于單機環(huán)境下的建模工具CPN Tools，無法進行自動測試生成。
　　針對此問題，論文使用云計算對CPN模型驅動的一致性

2、測試生成方法進行支撐，可以有效地提高測試生成效率。主要做了以下三方面工作:
　　(1)針對傳統(tǒng)CPN模型無法直接應用在云測試環(huán)境中的問題，提出了一種模型轉換的解決方案。分別對模型存儲結構以及數(shù)據(jù)結構的轉換過程進行描述，提出一種云支撐的模型轉換方法。并對傳統(tǒng)模型以及轉換后模型的行為一致性進行了證明。
　　(2)提出一種自動化測試生成方案。首先對模型進行預處理，接下來給出一種單機環(huán)境下的一致性測試生成方法和兩種云計算環(huán)境支撐的一