CPN模型驅(qū)動的云測試生成研究.pdf

1、測試生成在軟件測試過程中起到很重要的作用，現(xiàn)有的生成測試?yán)姆椒ù蠖嘁揽繙y試人員手工進(jìn)行，不僅生成效率低下，生成的測試?yán)诳捎眯苑矫嬉膊槐M如人意。著色Petri網(wǎng)(Colored Petri Nets，CPN)模型驅(qū)動的一致性測試生成方法是一種成熟的測試生成理論，能夠有效地提升測試?yán)目捎眯?。然而這種測試方法受限于單機(jī)環(huán)境下的建模工具CPN Tools，無法進(jìn)行自動測試生成。
　　針對此問題，論文使用云計算對CPN模型驅(qū)動的一致性

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