基于CPN和TTCn-3的軟件并發(fā)行為的測試.pdf

1、在軟件生命周期過程中，軟件測試是保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)之一。隨著分布式系統(tǒng)的不斷發(fā)展，網(wǎng)絡(luò)并發(fā)軟件的測試方法受到了廣泛關(guān)注與討論。由于并發(fā)實(shí)體之間存在著復(fù)雜的交互行為，使得并發(fā)軟件具有不確定性和不可重復(fù)性，這給測試工作帶來了很大困難。針對該問題，本文提出了一種方法，可以較好地解決并發(fā)軟件的測試問題。本文主要做了以下幾方面工作:
　　(1)開發(fā)了一個(gè)具有并發(fā)特性的軟件，然后基于CPN對該軟件進(jìn)行了層次化建模。
　　(2)使用一

2、種化簡算法對模型進(jìn)行了化簡，該方法有效地縮減了模型的狀態(tài)空間，有利于測試生成。通過對化簡前后狀態(tài)空間分析報(bào)告的對比，驗(yàn)證了該算法對模型中并發(fā)行為的化簡具有很好的效果。
　　(3)提出了一種測試序列生成算法，該算法首先確定被測并發(fā)行為在狀態(tài)空間中的初始結(jié)點(diǎn)和終端結(jié)點(diǎn)的位置，根據(jù)結(jié)點(diǎn)之間是否具有前驅(qū)和后繼關(guān)系縮減結(jié)點(diǎn)數(shù)目，將初始結(jié)點(diǎn)和終端結(jié)點(diǎn)兩兩配對，生成了兩個(gè)結(jié)點(diǎn)之間的測試序列。
　　(4)根據(jù)生成的測試序列，編寫TTCN-3